Abstract
As in human world many of our goals could not be achieved without interacting with other people, in case many agents are part of the same environment one agent should be aware that he is not alone and he cannot assume other agents sharing his own goals. Moreover, he may be required to interact with other agents and to reason about their mental state in order to find out potential friends to join with (or opponents to fight against). In this paper we focus on a language derived from logic programming which both supports the representation of mental states of agent communities and provides each agent with the capability of reasoning about other agents’ mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.
This work was partially supported by WASP (Working Group on Answer Set Programming) IST-2001-37004, 5th framework programme, Information Society Technologies, Action Line FET (Future and emerging technologies).
This is a preview of subscription content, log in via an institution to check access.
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
Baral, C., Gelfond, M.: Logic Programming and Knowledge Representation. Journal of Logic Programming 19/20, 73–148 (1994)
Bratman, M.: Intention, Plans, and Practical Reason. Harvard Univ. Press, Cambridge (1987)
Bratman, M., Israel, D.J., Pollack, M.E.: Plans and Resource-Bounded Practical Reason. AI center technical note SRI-AI 425R, SRI International (1988)
Buccafurri, F., Caminiti, G.: A Social-Oriented Semantics for Multi-Agent Systems. Technical Report - TR Lab. Ing. Inf. 05/01, DIMET - University of Reggio Calabria (2005), Available from the authors
Buccafurri, F., Gottlob, G.: Multiagent Compromises, Joint Fixpoints, and Stable Models. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, p. 561. Springer, Heidelberg (2002)
Cohen, P.R., Levesque, H.: Rational interaction as the basis for communication. In: Intentions in Communication. MIT Press, Cambridge (1990)
Cost, R.S., Finin, T., Labrou, Y.: Coordinating Agents Using ACL Conversations. In: Coordination of Internet Agents: Models, Technologies, and Applications, pp. 183–196 (2001)
Dell’Armi, T., Faber, W., Ielpa, G., Leone, N., Pfeifer, G.: Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. In: IJCAI 2003, Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, pp. 847–852 (2003)
Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving in DLV. In: Logic-Based Artificial Intelligence, pp. 79–103. Kluwer, Dordrecht (2000)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: 5th Conf. on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)
Mascardi, V., Martelli, M., Sterling, L.: Logic-based specification languages for intelligent software agents. TPLP 4(4), 429–494 (2004)
Minker, J., Seipel, D.: Disjunctive Logic Programming: A Survey and Assessment. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, p. 472. Springer, Heidelberg (2002)
Patil, R.S., Fikes, R.E., Patel-Schneider, P.F., McKay, D., Finin, T., Gruber, T., Neches, R.: The DARPA knowledge sharing effort: progress report. In: Principles of KR and Reasoning: Proc. of the 3rd Int. Conf. Kaufmann, San Francisco (1992)
van der Hoek, W., Wooldrige, W.: Towards a logic of rational agency. Logic Journal of the IGPL 11(2), 135–159 (2003)
Wooldridge, M.: Reasoning about Rational Agents. Intelligent Robots and Autonomous Agents. MIT Press, Cambridge (2000)
Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review 2(10), 115–152 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Buccafurri, F., Caminiti, G. (2005). A Social Semantics for Multi-agent Systems. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2005. Lecture Notes in Computer Science(), vol 3662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11546207_25
Download citation
DOI: https://doi.org/10.1007/11546207_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28538-0
Online ISBN: 978-3-540-31827-9
eBook Packages: Computer ScienceComputer Science (R0)