Abstract
Although Belief-Desire-Intention (BDI) agents have been deeply investigated from both a theoretical and a pragmatic perspective, less attention has been paid to the inherent recursive structure of mental states, which plays an essential role when modelling high level interaction between intelligent agents. This paper tries to capture this property by introducing a multi-context approach to the representation of mental states. A semantics for multi-context formalisms is provided based on the definition of “mental structure”, which is a hierarchical lattice of triangular modules <x,B,D>, where the component x represents the agent x’s mental state as a whole, while B and D represent specifically x’s beliefs and x’s desires. If other mental attitudes, as intention and commitment, are to be considers as primitives, then they can be embodied in the basic module, otherwise they can be represented in terms of beliefs and desires. The old notion of clause is rediscovered in order to facilitate the heavy automated theorem-proving necessary to exploit the potentiality of the formalism for the intelligent interaction with the external environment. The main advantages of this approach are the support for “unconsciousness” and the fact that inferences themselves can be modelled as mental attitudes. Some advanced dynamics of mental states, as the abductive revision of mental states after the reception of a communication, will easily be applied over this formalism.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Dragoni, A.F., Giorgini, P., Serafini, L.: Mental states recognition from communication. J. Logic Comput. 12(n° 1), 119–136 (2002)
Dragoni, A.F., Puliti, P.: Mental states recognition from speech acts through abduction. In: Proceedings of the 11th European Conference on Artificial Intelligence (ECAI 94). Wiley, Amsterdam, August 8–12 (1994)
Dragoni, A.F., Puliti, P.: Perception of mental states from communication. In: Roberto, V. (ed.) Intelligent Perceptual Systems, New Directions in Computational Perception, vol. 745, pp. 263–272. Springer, Berlin (1993)
Dragoni, A.F.: Belief revision: from theory to practice. In: The Knowledge Engineering Review, vol. 12, n°2. Cambridge University Press, June (1997)
Fodor, J.A.: Psychosemantics. MIT Press, Cambridge (1987)
Dretske, F.: Minds, machines, and money: what really explains behavior. In: Bransen, J., Cuypers, S. (eds.) Human Action, Deliberation and Causation. Philosophical Studies Series, vol. 77. Kluwer, Dordrecht (1998) (Reprinted in Dretske 2000)
Churchland, P.M.: Eliminative materialism and the propositional attitudes. J. Philos. 78, 67–90 (1981)
Dennett, D.: The Intentional Stance. MIT Press, Cambridge (1987)
Davidson, D.: Radical interpretation. Dialectica 27, 313–328 (1973)
Lewis, D.: Radical interpretation. Synthese 27, 331–344 (1974)
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proceedings f the First International Conference on Multi-Agent Systems (ICMAS-95), pp. 312–319. S. Francisco, CA, June (1995)
Gmytrasiewicz, P.J., Durfee, E.H., Wehe, D.K.: The utility of communication in coordinating intelligent agents, formalisms for coordination. In: Proc. of the Ninth National Conference on Artificial Intelligence (1991)
Gmytrasiewicz, P.J., Durfee, E.H.: A rigorous, operational formalization of recursive modeling. In: Proc. of the First International Conference on Multi-Agent Systems (ICMAS), pp. 125–132 (1995)
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics (or: How we can do without modal logic). Artificial Intelligence 65, 29–70 (1994)
Cimatti, A., Serafini, L.: Multi-Agent reasoning with belief contexts II: Elaboration tolerance. In: Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS-95), pp. 57–64 (1996)
Giunchiglia, F., Ghidini, C.: Local models semantics, or contextual reasoning = locality + compatibility. In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR ��98), pp. 282–289. Morgan Kaufmann (1998)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dragoni, A.F. Mental states as multi-context systems. Ann Math Artif Intell 54, 265–292 (2008). https://doi.org/10.1007/s10472-008-9100-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10472-008-9100-y