Abstract
Agent technology is rapidly gaining favor among computer scientists. In typical applications, agents are not viewed as isolated systems, but rather as individuals living in a complex society of other agents and interacting with them, in order to cooperate to the achievement of tasks and negotiate solutions to conflictual situations. Social agents of this kind must be able to entertain mental states not only about their application domain, but also about other agent's mental states; information sharing and communication thus become issues of primary importance. In this paper I define formally a number of mechanisms through which social mental states can be established, and then I analyze such definitions in search of criteria for designing artificial agents.
This research has been funded by the CNR (Italian National Research Council), through grant No. 95.04063.CT11 to Marco Colombetti for the years 1995–96.
Preview
Unable to display preview. Download preview PDF.
References
Aumann, R.J. (1976). Agreeing to disagree. The Annals of Statistics, 4, 1236–1239.
Barwise, J. (1989). On the model theory of common knowledge. In J. Barwise, The situation in logic, CSLI, Stanford, CA, 201–220.
Chellas, B.F. (1980). Modal logic, Cambridge University Press, Cambridge, UK.
Clark, H.H., and C.R. Marshall (1981). Definite reference and mutual knowledge. In A.K. Joshi, B.L. Webber, and I.A. Sag, eds., Elements of discourse understanding, Cambridge University Press, Cambridge, UK, 10–63.
Colombetti, M. (in press). A modal logic of intentional communication. Mathematical Social Sciences.
Dorigo, M., and M. Colombetti (1998). Robot shaping: An experiment in behavior engineering, MIT Press, Cambridge, MA.
Grice, P. (1957). Meaning. Philosophical Review, 67, 377–388.
Halpern, J.Y., and Y. Moses (1992). A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, 54, 319–379.
Harman, G. (1977). Review of “Linguistic behaviour” by Jonathan Bennett, Language, 53, 417–424.
Hughes, G.E., and M.J. Cresswell (1996). A new introduction to modal logic, Routledge, London, UK.
Lewis, D.K. (1969). Convention: A philosophical study, Harvard University Press, Cambridge, MA.
Lismont, L., and P. Mongin (1995). Belief closure: A semantics of common knowledge for modal propositional logic. Mathematical Social Sciences, 30, 127–153.
Lomuscio, A., and M. Colombetti (1997). QLB: A quantified logic for belief. In J.P. Müller, M.J. Wooldridge and N.R. Jennings, eds., Intelligent Agents III, Springer, Berlin, 71–85.
Meyer, J.-J. Ch., and W. van der Hoek (1995). Epistemic logic for AI and computer science, Cambridge University Press, Cambridge, UK.
Perrault, C.R. (1990). An application of default logic to speech act theory. In P.R. Cohen, J. Morgan and M.E. Pollack, eds., Intentions in communication, MIT Press, Cambridge, MA, 161–193.
Sadek, D, P. Bretier and F. Panaget (1997). ARTIMIS: Natural dialogue meets rational agency. Proceedings of IJCAI '97, Nagoya, Japan, 1030–1035.
Schiffer, S. (1972). Meaning, Oxford University Press, Oxford, UK.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Colombetti, M. (1998). Different ways to have something in common. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds) Flexible Query Answering Systems. FQAS 1998. Lecture Notes in Computer Science, vol 1495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055994
Download citation
DOI: https://doi.org/10.1007/BFb0055994
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65082-9
Online ISBN: 978-3-540-49655-7
eBook Packages: Springer Book Archive