Learn More
This paper describes a general framework for the formalization of monotonic reasoning about belief in a multiagent environment. The agents* beliefs are modeled as logical theories. The reasoning about their beliefs is formalized in still another theory, which we call the theory of the computer. The framework is used to model non-omniscient belief and shown(More)
The paper shows the link that anchors a conceptual representation of dynamic scenarios to one of the most influential symbolic formalisms used in cognitive robotics, namely the situation calculus. A cognitive architecture for robot vision is taken into account as the reference framework. The discussion is based on an experimental setup aimed at obtaining an(More)
In the study of cognitive processes, limitations on computational resources (computing time and memory space) are usually considered to be beyond the scope of a theory of competence, and to be exclusively relevant to the study of performance. Starting from considerations derived from the theory of computational complexity, in this paper I argue that there(More)
A new cognitive architecture for artificial vision is proposed. The architecture, aimed at an autonomous intelligent system, is cognitive in the sense that several cognitive hypotheses have been postulated as guidelines for its design. The first one is the existence of a conceptual representation level between the subsymbolic level, that processes sensory(More)
An architecture for autonomous agents is proposed, that integrates the functional and the behavioral approaches to robotics. The integration is based on the introduction of a conceptual level, linking together a subconceptual, behavioral, level, and a linguistic level, encompassing symbolic representation and data processing. The proposed architecture is(More)
Perceptual anchoring is the problem of creating and maintaining in time the connection between symbols and sensor data that refer to the same physical objects. This is one of the facets of the general problem of integrating symbolic and non-symbolic processes in an intelligent system. Gärdenfors' conceptual spaces provide a geometric treatment of knowledge(More)
In (Chella, Frixione, & Gaglio 1997; 2000) we proposed a framework for the representation of visual knowledge, with particular attention to the analysis and the representation of scenes with moving objects and people. One of our aims is a principled integration of the models developed within the artificial vision community with the propositional knowledge(More)
OBJECTIVE One of the major topics towards robot consciousness is to give a robot the capabilities of self-consciousness. We propose that robot self-consciousness is based on higher order perception of the robot, in the sense that first-order robot perception is the immediate perception of the outer world, while higher order perception is the perception of(More)