6533b86cfe1ef96bd12c8b71

RESEARCH PRODUCT

A hybrid scheme for action representation

subject

description

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.