A hybrid scheme for action representation
- 1 January 1993
- journal article
- research article
- Published by Hindawi Limited in International Journal of Intelligent Systems
- Vol. 8 (3) , 371-403
- https://doi.org/10.1002/int.4550080304
Abstract
Strong deficiencies are present in symbolic models for action representation and planning, regarding mainly the difficulty of coping with real, complex environments. These deficiencies can be attributed to several problems, such as the inadequacy in coping with incompletely structured situations, the difficulty of interacting with visual and motorial aspects, the difficulty in representing low-level knowledge, the need to specify the problem at a high level of detail, and so on. Besides the purely symbolic approaches, several nonsymbolic models have been developed, such as the recent class of subsym-bolic techniques. A promising paradigm for the modeling of reasoning, which combines features of both symbolic and analogical approaches, is based on the construction of analogical models of the reference for the internal representations, as introduced by Johnson-Laird. In this work, we propose a similar approach to the problem of knowledge representation and reasoning about actions and plans. We propose a hybrid approach, symbolic and analogical, in which the inferences are partially devolved to measurements on analogical models generated starting from the symbolic representation. the interaction between the symbolic and the analogical level is due to the fact that procedures are connected to some symbols, allowing generating, updating, and verifying the mental model. the hybrid model utilizes, for the symbolic component, a representation system based on the distinction between terminological and assertional knowledge. the terminological component adopts a SI-Net formalism, extended by temporal primitives. the assertional component is a subset of first-order logics. the analogical representation is a set of concurrent procedures modeling parts of the world, action processes, simulations, and metaphors based on force fields concepts. A particular case study, regarding the problem of the assembly of a complex object from parts, is taken as an experimental paradigm. © 1993 John Wiley Sons, Inc.Keywords
This publication has 23 references indexed in Scilit:
- Chronological ignorance: Experiments in nonmonotonic temporal reasoningArtificial Intelligence, 1988
- Problems in formal temporal reasoningArtificial Intelligence, 1988
- The bread and butter of planningArtificial Intelligence Review, 1987
- A robust layered control system for a mobile robotIEEE Journal on Robotics and Automation, 1986
- Real-Time Obstacle Avoidance for Manipulators and Mobile RobotsThe International Journal of Robotics Research, 1986
- Towards a general theory of action and timeArtificial Intelligence, 1984
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980