ROBOT-DISCOVERER: A ROLE MODEL FOR ANY INTELLIGENT AGENT. and Institute of Computer Science, Polish Academy of Sciences.

Transcription

1 ROBOT-DISCOVERER: A ROLE MODEL FOR ANY INTELLIGENT AGENT JAN M. _ ZYTKOW Department of Computer Science, UNC Charlotte, Charlotte, NC 28223, USA and Institute of Computer Science, Polish Academy of Sciences zytkow@uncc.edu We argue that autonomous robots who discover knowledge about their environment are paradigmatic intelligent agents. According to a demanding deænition, intelligence is agent's ability to be successful in new situations. Successful operation in a new situation requires new knowledge and eæective application of that knowledge. Since an ability to generate new knowledge is characteristic to discoverers, it is clear that intelligent agents must be discoverers. We compare human and robotic discovery and we clarify the notion of robotic agent and the meaning of autonomous pursuit of knowledge. Then we show on several examples how robotic discoverers examine new situations and discover new knowledge. Our examples include exploration of oæce environment by a mobile robot, experiments made by robot arms, and a robot-scientist who makes chemistry experiments. In these examples we demonstrate the use of the same methods and striking similarity of knowledge discovered in each case. Walking through examples we describe the basic components of machine discoverers, distinguishing è1è a general purpose discovery mechanism, applicable in many domains, and è2è various ways of linking that algorithm with the physical world through robot's sensors and manipulators. An extended abstract follows: 1 Discovery A person who is the ærst to propose and justify a new piece of knowledge K is considered the discoverer of K. Being the ærst means acting autonomously, without reliance on external authority. This often starts from exploring new situations and recognizing what is new about them. Throughout the history, human were considered discoverers when they did not follow on external authority. Either there was none at the time when the discovery has been made, or the discovery contradicted the accepted beliefs. Intelligence involves not only discovery of new knowledge but also eæective knowledge application. A discoverer must be able to apply knowledge in many ways. As discovery is rarely a one-time event, this process continues through many steps and knowledge available at a given time guides the future steps. camera: submitted to World Scientiæc on September 5,

2 2 Cognitive autonomy of a machine discoverer Machine discoverers can be viewed as computer systems who autonomously pursue knowledge. Let us clarify the notion of cognitive autonomy to make it useful in machine discovery. Suppose that agent A discovers piece of knowledge K which has been known to others. We can still consider that A discovered K, ifa did not know K before making the discovery and was not guided towards K by any external authority. It is relatively easy to trace the external guidance received by a machine discoverer as all details of software are available for inspection. In particular, the initial knowledge and method are available for inspection. The existing systems would not reach success in making discoveries if we humans did not provide help. However, they are autonomous to some degree, and future research in machine discovery will increase their cognitive autonomy. The agent is more autonomous if it has more means and methods, for instance more sensors and manipulators, more goals and capabilities to achieve them. It is also more autonomous if it can modify its operation so that rather than executing pre-programmed steps, new results can drive further exploration. One way to satisfy an expanded range of goals is to implement new components of the discovery process. The mere accumulation of new components, however, would not suæce. The components must be strongly integrated and the integration must be supported by the autonomous evaluation of results, so that the next step is selected automatically. As a result, more discovery steps in succession can be performed without external intervention, leading to greater autonomy. A single step rarely permits a sound judgement about the results. A combination of steps provides a more informed feedback on the reasons for acceptance. 3 Applications of a robot-discoverer We show that the same discovery mechanism can be applied in seemingly diæerent domains. We consider several case studies that result in similar knowledge structures: è1è a discovery in the domain of chemistry, è2è robot arm that discovers physical properties of objects, and è3è exploration of oæce space by a mobile robot. camera: submitted to World Scientiæc on September 5,

3 3.1 Discovery in a science laboratory We consider FAHRENHEIT è _Zytkow, 1996è application in the domain of diæerential pulse voltammetry è _ Zytkow, Zhu, & Hussam 1990è and in exploration of state transition between ice and water. These applications help us to illustrate the repertoire of discovery methods. Experiments involved collection of many thousands data points, detection of maxima in data and the discovery of many regularities on the heights and locations of those maxima. Theory formation tasks involved piecemeal generalization of empirical equations, detection of phase boundaries and understanding of phase space properties. 3.2 Robot arm repeats Galileo's experiment We set-up a robot arm experiment similar to Galileo's experiments with the inclined plane. The robotic system placed diæerent cylindrical objects, diæering by the diameter of an inner cylindrical hole, on the top of an inclined plane and measured the time in which they rolled and reached the bottom. The system collected data, determined empirical error, found empirical equations acceptable within error and generalized them to diæerent angles and diæerent radius of the inner hole èhuang & _Zytkow, 1997è. By confronting empirical equations developed by FAHRENHEIT with theoretical models based on classical mechanics, two systematic deviations between data and a theoretical model hint at extra processes not captured by the model but accounted for in empirical equations. Possible phase transitions should be conærmed by the continued discovery process. 3.3 Robot arm discovers how to manipulate a box When a box is lifted at one end by a robot gripper, diæerent outcomes are possible depending on the grasping force. For instance, the box may slip from the gripper. It may tilt so that it is lifted only partially. As the force increases, it can be fully lifted, but then it can be also squashed. By changing location of the gripper and repeating the attempts to lift the box with a various grasping force, a theory is developed that includes several areas and boundaries between them: è1è box falls from the gripper; è2è box is lifted partially, at one end; è3è box is fully lifted; è4è box is lifted but it is also squashed. Each area is limited by awell deæned boundary, beyond which the properties of lifting change. Altogether experiments discover a phase space of several diæerent behaviors. camera: submitted to World Scientiæc on September 5,

4 3.4 Exploration of oæce environment with a mobile robot Map generation by a mobile robot who explores an unknown oæce environment, has been yet another application of FAHRENHEIT's discovery methodology. Consider an intersection, traversed by Nomad, and explored with the use of its sonar sensors. Individual readings are generalized to lines that indicate walls. Boundaries on those lines, such as corners and doorways are detected according to the same methodology. A local map, diæerent for a T-intersection, X-intersection, a hallway and other typical details in an oæce environment, consists of a combination of line segments. It resembles a phase space and is discovered from individual readings by the same methodology as in the previous examples. Exploration goals combine knowledge discovery and application. We show on examples that goals such as è1è ænd where I am; è2è match my current situation against the known map; è3è build a map; è4è if I know where I am, use the map as a theory that helps to interpret observations; are common with discoveries made in other domains. 4 Anatomy of a robot-discoverer We present a robotic discoverer whose architecture has been inæuenced by various existing systems, primarily small FAHRENHEIT, but also LIVE èshen, 1993è, DIDO èscott and Markovitch, 1993è and KEKADA èkulkarni and Simon, 1987è. We summarize the basic components of a robotic agentdiscoverer, and their interaction with the physical world. The agent consists of ëmind" and ëbody". The mind is a software system, while the body is hardware, which belongs to the physical world. The agent interacts, at any given time, with a small, selected part of the world. We can call it robot's surrounding, immediate environment or an empirical system. Hardware of the discoverer includes the ëbrain" part and the ëbody" part. The brain includes a computer with its processor, memory, input and output, plus processors which drive sensors and manipulators, linked to the computer inputèoutput èzytkow, Zhu i Hussam 1990è. The body includes sensors and manipulators and the platform on which they operate. The part of the software necessary for contact with the external world includes device drivers which control the available sensors and manipulators, and operational deænitions of meaningful laboratory activities and measurements, expressed in terms of elementary actions of sensors and manipulators èzytkow, Zhu and Zembowicz, 1992è. This part of software is application speciæc. While many operational deænitions share common generic structure, camera: submitted to World Scientiæc on September 5,

5 each concrete conæguration of sensors and manipulators as well as codes understood by their processors are speciæc, and can be viewed as a physical interpretation of the formalism of machine discoverer. The discovery method consists of a static, pre-programmed network of discovery goals and plans. Each goal speciæes a generic task of discovery. Plans specify how those goals may be accomplished. Because discovery goals require search in diæerent spaces of hypotheses, terms, procedures, and the like, most of the plans are algorithms that can eæectively search the corresponding spaces. The same goal can be carried by various plans. For instance, many systems include a module which æts data with empirical equations: BA- CON, COPER èkokar, 1986è, small FAHRENHEIT, IDS ènordhausen and Langley, 1989è, KEPLER èwu and Wang, 1989è. Goals and plans can be called recursively, until plans are reached which can be carried out directly, without reference to other goals and plans. Knowledge representation schema contains the tools for constructing, maintaining, and analyzing the network of knowledge emerging in the discovery process. It deænes basic types of knowledge and the ways in which they can be connected. Systems such as DIDO èscott and Markovitch, 1993è, FAHRENHEIT, IDS and LIVE èshen, 1993è use graphs to represent relationships between pieces of knowledge and they use frame-like structures to represent knowledge contained in individual nodes in the graphs. Static network of goals and plans as well as the knowledge representation schema can be treated as an abstract discoverer. It can be applied in many domains. A concrete discoverer can be formed by augmenting the abstract discoverer with sensors, manipulators and procedures which control their functioning. This way the abstract mechanism reaches a concrete interpretation. In a concrete application, when a machine discoverer investigates a concrete physical system, the elements of the discovery method are instantiated in concrete ways, forming a run-time agent. Concrete goals and concrete plans of actions change dynamically, following the patterns provided in the static network of goals and plans. Similarly, concrete knowledge is represented in a dynamically changing network èzytkow 1991; Zytkow and Zhu 1993è which is constructed and maintained based on the patterns taken from the static network. As new discoveries are made, this network grows to include new knowledge. Goals and plans can be selected dynamically, at the runtime, by analysis of the current state of the knowledge network. When a limitation of knowledge is detected, static network of goals and plans can provide a response in the form of a goal and a plan which should overcome that limitation. FAHRENHEIT's knowledge representation in the form of a knowledge graph è _Zytkow, 1996è allows the system to examine any given state of knowlcamera: submitted to World Scientiæc on September 5,

6 edge and seek new goals that transcend that state. Each goal corresponds to a limitation of knowledge. Each state of knowledge can be transcended in diæerent directions, so that goal generator typically creates many goals and is thus supported by goal selector. References Huang, M-K. & Zytkow, J.M Discovering empirical equations from robotícollected data, Ras Z. ed. Methodologies for Intelligent Systems, Springer-Verlag, Kokar, M.M Determining Arguments of Invariant Functional Descriptions, Machine Learning, 1, Kulkarni, D., & Simon, H.A The Process of Scientiæc Discovery: The Strategy of Experimentation, Cognitive Science, 12, Langley, P.W., Simon, H.A., Bradshaw, G., & Zytkow J.M Scientiæc Discovery; An Account of the Creative Processes. Boston, MA: MIT Press. Nordhausen, B., & Langley, P An Integrated Approach to Empirical Discovery. in: J.Shrager & P. Langley èeds.è Computational Models of Scientiæc Discovery and Theory Formation, Morgan Kaufmann Publishers, San Mateo, CA, Scott, P.D., Markovitch, S Experience Selection and Problem Choice In An Exploratory Learning System. Machine Learning, 12, p Shen, W.M Discovery as Autonomous Learning from Environment. Machine Learning, 12, p Wu, Y. and Wang, S Discovering Knowledge from Observational Data, In: Piatetsky-Shapiro, G. èed.è Knowledge Discovery in Databases, IJCAI-89 Workshop Proceedings, Detroit, MI, Zembowicz, R. & Zytkow, _ J.M Automated Discovery of Empirical Equations from Data. In Ras. Z. & Zemankova M. eds. Methodologies for Intelligent Systems, Springer-Verlag, 1991, _Zytkow, J.M., Zhu, J. & Hussam, A Automated Discovery in a Chemistry Laboratory, Proceedings of the AAAI-90, AAAI Press, _Zytkow, J.M., Zhu, & Zembowicz, Operational Deænition Reænement: a Discovery Process, Proceedings of the Tenth National Conference onartiæcial Intelligence, AAAI Press, _Zytkow, J.M Automated Discovery of Empirical Laws, Fundamenta Informaticae, 27, p camera: submitted to World Scientiæc on September 5,