A combined logic of expectation and observation: a generalization of BDI logics

Tran, V, Harland, J and Hamilton, M 2003, 'A combined logic of expectation and observation: a generalization of BDI logics', in J. A. Leite et al. (ed.) Declarative Agent Languages and Technologies. First International Workshop, DALT 2003, Melbourne, 22 July 2004.


Document type: Conference Paper
Collection: Conference Papers

Title A combined logic of expectation and observation: a generalization of BDI logics
Author(s) Tran, V
Harland, J
Hamilton, M
Year 2003
Conference name International Joint Conference on Autonomous Agents and Multiagent Systems
Conference location Melbourne
Conference dates 22 July 2004
Proceedings title Declarative Agent Languages and Technologies. First International Workshop, DALT 2003
Editor(s) J. A. Leite et al.
Publisher Springer-Verlag
Place of publication Melbourne
Abstract Although BDI logics have shown many advantages in modelling agent systems, the crucial problem of having computationally ungrounded semantics poses big challenges when extending the theories to multi-agent systems in an interactive, dynamic environment. The root cause lies at the inability of modal languages to refer to the world states which hampers agent reasoning about the connection of its mental attitudes and its world. In this paper, following ideas in hybrid logics, we attempt to readdress the computational grounding problem. Then, we provide a formalism for observations - the only connection between mind and worlds - and expectations - the mental states associated with observations. Finally, we compare our framework with BDI logics.
Subjects Artificial Intelligence and Image Processing not elsewhere classified
DOI - identifier 10.1007/b97923
Copyright notice © Springer-Verlag Berlin Heidelberg 2004
Versions
Version Filter Type
Altmetric details:
Access Statistics: 240 Abstract Views  -  Detailed Statistics
Created: Fri, 10 Jun 2011, 07:45:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us