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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of The Two Notions. Cornell University Press, Ithaca (1962)
Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Rao, A., Georgeff, M.: Modelling rational agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge (USA), pp. 473–484 (1991)
Woolridge, M.: Computationally Grounded Theories of Agency. In: Durfee, E.H. (ed.) Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000), vol. 9, IEEE Press, Los Alamitos (2000)
Rao, A.: AgentSpeak(L): BDI Agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Blackburn, P.: Internalizing labelled deduction. Journal of Logic and Computation 10, 137–168 (2000)
Blackburn, P., Tzakova, M.: Hybrid languages and temporal logic. Logic Journal of the IGPL 7, 27–54 (1999)
Wooldridge, M.: The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, University of Manchester (1992)
Fagin, R., Halpern, J.Y., Vardi, M.Y.: What can machines know? on the properties of knowledge in distributed systems. Journal of the ACM 39, 328–376 (1992)
Areces, C., Blackburn, P., Marx, M.: Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic 66, 977–1010 (2001)
Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge University Press, Cambridge (2001)
van Benthem, J.: Modal Logic and Classical Logic. Bibliopolis, Naples (1983)
Woolridge, M.: An introduction to MultiAgent System. John Wiley & Sons, Chichester (2002)
Benerecetti, M., Giunchglia, F., Serafini, L.: A model checking algorithm for multiagent systems. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 163–176. Springer, Heidelberg (1999)
Rao, A., Georgeff, M.: A model-theoretic approach to the verification of situated reasoning systems. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), Chambéry, France, pp. 318–324 (1993)
Blackburn, P.: Nominal tense logic. Notre Dame Journal of Formal Logic 34, 56–83 (1993)
Gove, P.B. (ed.): Webster’s Revised Unabridged Dictionary, 3rd edn. Merriam Webster Inc. (2002)
Rao, A., Georgeff, M.: Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In: Myopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), Sydney, Australia, pp. 498–505. Morgan Kaufmann publishers Inc., San Mateo (1991)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
Emerson, E.A., Halpern, J.Y.: “sometimes” and “not never” revisited: on branching time versus linear time temporal logic. Journal of the ACM 33, 151–178 (1986)
Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Eighth International Conference on Principles of Knowledge Representation and Reasoning, pp. 470–481 (2002)
Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL 8, 339–625 (2000)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)
Woolridge, M., Lomuscio, A.: Multi-agent \(\mathcal{VSK}\) logic. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, p. 300. Springer, Heidelberg (2000)
Woolridge, M., Lomuscio, A.: Reasoning about visibility, perception, and knowledge. In: Jennings, N., Lespérance, Y. (eds.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)
Kaelbling, L.P., Littman, M.L., Cassandra, A.R.: Planning and acting in partially observable stochastic domains. Artificial Intelligence 101, 99–134 (1998)
van der Meyden, R.: Common knowledge and update in finite environments. Information and Computation 140, 115–157 (1998)
Gabbay, D.: Fibring Logics. Oxford Logic Guides, vol. 38. Oxford University Press, Oxford (1999)
D’Agostino, M., Gabbay, D.: A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics. Journal of Automated Reasoning 13, 243–281 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Trân, B.V., Harland, J., Hamilton, M. (2004). A Combined Logic of Expectation and Observation. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-25932-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22124-1
Online ISBN: 978-3-540-25932-9
eBook Packages: Springer Book Archive