We are interested in agents which have to “work” in the real world. An agent which works in the real world must be able to act and to handle failures in acting. Indeed, most often an agent can not avoid failures, since the external environment is unpredictable and uncompletely known. Moreover, since the environment is not known a priori, most often the only way for an agent to work is to acquire information from the external environment. In agents embedded in the real world, information can be acquired through sensory devices. We propose a basic theory of agents which describes the fact that an agent acts, fails in acting, handles failures in acting and needs to sense the external environment as well as to handle failures in sensing. This work is built on a logical theory for acting, sensing and planning and extends it by providing a way to reason about agents acting, sensing and failure handling. This is achieved by introducing into the theory the so called “laws of motion”, which describe uniformly reasoning about effects of agent's actions, perceptions and failure handling.
CITATION STYLE
Traverso, P., Spalazzi, L., & Giunchiglia, F. (1996). Reasoning about acting, sensing and failure handling: A logic for agents embedded in the real world. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1037, pp. 65–78). Springer Verlag. https://doi.org/10.1007/3540608052_59
Mendeley helps you to discover research relevant for your work.