Skip to main content

Advertisement

Springer Nature Link
Log in

Where logic and agents meet

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

In this paper we provide a short, and very subjective, description of how mathematical techniques, primarily those from logical foundations, have been used in multi-agent systems. This is certainly not a comprehensive survey, but gives some indication of where the fields of “Logic” and “Agents” have met in recent years. The Annals of Math and AI contain a surprising number of articles in this area, among them several special issues focusing on computational logic and its use in agent systems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Log. 9(4) 440–454 (2008)

    MathSciNet  Google Scholar 

  2. Alechina, N., Dastani, M., Logan, B., Meyer, J.: A logic of agent programs. In: Proc. 22nd American National Conference on Artificial Intelligence (AAAI), pp. 795–800. AAAI Press, Menlo Park (2007)

    Google Scholar 

  3. Alferes, J.-J., Brogi, A., Leite, J.A., Pereira, L.M.: Logic programming for evolving agents. In: Proc. 7th International Workshop on Cooperative Information Agents (CIA). LNCS, vol. 2782, pp. 281–297. Springer, New York (2003)

    Google Scholar 

  4. Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: Proc. REX Workshop on Real-Time: Theory in Practice. LNCS, vol. 600, pp. 74–106. Springer, New York (1991)

    Chapter  Google Scholar 

  5. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)

    Article  MathSciNet  Google Scholar 

  6. Amgoud, L., Cayrol, C.: A reasoning model based on the production of acceptable arguments. Ann. Math. Artif. Intell. 34(1–3), 197–215 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  7. Astefanoaei, L., Dastani, M., Meyer, J.-J., de Boer, F.S.: On the semantics and verification of normative multi-agent systems. J. Univers. Comput. Sci. 15(13), 2629–2652 (2009)

    Google Scholar 

  8. Ayala, A.P.: Ontology agents and their applications in the web-based education systems: towards an adaptive and intelligent service. In: Intelligent Agents in the Evolution of Web and Applications. Studies in Computational Intelligence, vol. 167, pp. 249–278. Springer, New York (2009)

    Chapter  Google Scholar 

  9. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  10. Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., Torroni, P.: Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? In: Dovier, A., Pontelli, E. (eds.) 25 Years GULP. Lecture Notes in Computer Science, vol. 6125, pp. 204–230. Springer, New York (2010)

    Google Scholar 

  11. Baldoni, M., Martelli, A., Patti, V., Giordano, L.: Programming rational agents in a modal action logic. Ann. Math. Artif. Intell. 41(2–4), 207–257 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  12. Bassiliades, N., Governatori, G., Paschke, A., Dix, J.: Guest editors’ introduction: rule representation, interchange, and reasoning in distributed, heterogeneous environments. IEEE Trans. Knowl. Data Eng. 22(11), 1489–1491 (2010)

    Article  Google Scholar 

  13. Behrens, T.M., Dastani, M., Dix, J., Novák, P.: Agent contest competition, 4th edn. In: Proc. 6th International Workshop on Programming Multi-Agent Systems, (ProMAS). LNCS, vol. 5442, pp. 211–222. Springer, New York (2009)

    Chapter  Google Scholar 

  14. Behrens, T.M., Dix, J.: Model checking multi-agent systems with logic based petri nets. Ann. Math. Artif. Intell. 51(2–4), 81–121 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. J. Log. Comput. 8(3), 401–423 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  16. Birna van Riemsdijk, M., Dastani, M., Meyer, J.-J.: Goals in conflict: semantic foundations of goals in agent programming. Autonomous Agents and Multi-Agent Systems 18(3), 471–500 (2009)

    Article  Google Scholar 

  17. Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Elsevier, Amsterdam (2006)

    Google Scholar 

  18. Bonatti, P.A., Kraus, S., Subrahmanian, V.S.: Secure agents. Ann. Math. Artif. Intell. 37(1–2), 169–235 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  19. Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, New York (2005)

    Google Scholar 

  20. Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, New York (2009)

    Google Scholar 

  21. Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verification of multi-agent programs. In: Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 69–78. IEEE Computer Society Press, Los Alamitos (2008)

    Google Scholar 

  22. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intell. Syst. 19(5), 46–52 (2004)

    Article  Google Scholar 

  23. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems 12(2), 239–256 (2006)

    Article  Google Scholar 

  24. Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for agent verification. J. Log. Comput. 19(6), 1385–1425 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  25. Bordini, R.H., Hübner, J.F., Vieira, J.F.: Jason and the golden fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, Chapter 1, pp. 3–37. Springer, New York (2005)

    Chapter  Google Scholar 

  26. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, New York (2007)

    Book  MATH  Google Scholar 

  27. Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages. Ann. Math. Artif. Intell. 42(1–3), 197–226 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  28. Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  29. Brewka, G.: Nonmonotonic tools for argumentation. In: Janhunen, T., Niemelä, I. (eds.) JELIA. Lecture Notes in Computer Science, vol. 6341, pp. 1–6. Springer, New York (2010)

    Google Scholar 

  30. Bulling, N., Dix, J.: Modelling and verifying coalitions using argumentation and ATL. Artif. Intell. 14(46), 45–73 (2010)

    Google Scholar 

  31. Bulling, N., Dix, J., Chesñevar, C.: An argumentative approach for modelling coalitions using ATL. In: Proc. of the 5rd International Workshop on Argumentation and Multiagent Systems (ArgMAS). LNCS, vol. 5384, pp. 190–211. Springer (2009)

  32. Bulling, N., Dix, J., Jamroga, W.: Model checking logics of strategic ability: complexity. In: Dastani, M., Hindriks, K.V., Meyer, J.-J. (eds.) Specification and Verification of Multi-Agent Systems. Springer (2010)

  33. Bulling, N., Farwer, B.: Expressing properties of resource-bounded systems: the logics RBTL and RBTL*. In: Dix, J., Fisher, M., Novak, P. (eds.) Proc. 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X). LNAI, vol. 6214. Springer, Berlin (2010)

    Google Scholar 

  34. Bulling, N., Farwer, B.: On the (un-)decidability of model-checking resource-bounded agents. In: Proc. 19th European Conference on Artificial Intelligence (ECAI). Frontiers in Artificial Intelligence and Applications, vol. 215, pp. 567–572. IOS Press (2010)

  35. Bulling, N., Jamroga, W.: What agents can probably enforce. Fundam. Inform. 93, 81–96 (2009)

    MathSciNet  MATH  Google Scholar 

  36. Bulling, N., Jamroga, W., Dix, J.: Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1–4), 51–114 (2009)

    MathSciNet  Google Scholar 

  37. Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Cooperation and competition in ALIAS: a logic framework for agents that negotiate. Ann. Math. Artif. Intell. 37(1–2), 65–91 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  38. Clancey, W., Sierhuis, M., Kaskiris, C., van Hoof, R.: Advantages of Brahms for specifying and implementing a multiagent human-robotic exploration system. In: Proc. 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 7–11. AAAI Press (2003)

  39. Clancey, W.J.: Simulating activities: relating motives, deliberation, and attentive coordination. Cogn. Syst. Res. 3(3), 471–499 (2002)

    Article  Google Scholar 

  40. Clark, K.L., McCabe, F.G.: Go!—a multi-paradigm programming language for implementing multi-threaded agents. Ann. Math. Artif. Intell. 41(2–4), 171–206 (2004)

    Article  MATH  Google Scholar 

  41. Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)

    Article  MATH  Google Scholar 

  42. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)

  43. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proc. Workshop on Logics of Programs. LNCS, vol. 131, pp. 52–71 (1981)

  44. Cliffe, O.: Specifying and analyzing institutions in multi-agent systems using answer set programming. Knowl. Eng. Rev. 24(4), 411 (2009)

    Article  Google Scholar 

  45. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42, 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  46. Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, pp. 221–256. MIT Press (1990)

  47. Cohn, A.G., Renz, J.: Qualitative spatial representation and reasoning. In: van Harmelen, F., Porter, B., Lifschitz, V. (eds.) Handbook of Knowledge Representation, chapter 13, pp. 551–596. Elsevier Press (2007)

  48. Costantini, S.: Integrating answer set modules into agent programs. In: Proc. 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). LNCS, vol. 5753, pp. 613–615. Springer (2009)

  49. Dastani, M., Dignum, F., Meyer, J.-J.C.: Autonomy and agent deliberation. In: Agents and Computational Autonomy—Potential, Risks, and Solutions. LNCS, vol. 2969, pp. 114–127. Springer (2004)

  50. Dastani, M., Dix, J., Novák, P.: The first contest on multi-agent systems based on computational logic. In: Proc. 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol. 3900, pp. 373–384. Springer (2006)

  51. Dastani, M., Dix, J., Novák, P.: The second contest on multi-agent systems based on computational logic. In: Proc. 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol. 4371, pp. 266–283 (2006)

  52. Dastani, M., Dix, J., Novák, P.: Agent contest competition: 3rd edition. In: Proc. 5th International Workshop on Programming Multi-Agent Systems (ProMAS). LNCS, vol. 4908, pp. 221–240. Springer (2008)

  53. Dastani, M., Hindriks, K.V., Meyer, J.-J. (eds.): Specification and Verification of Multi-Agent Systems. Springer (2010)

  54. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter 2, pp. 39–67. Springer, New York (2005)

    Chapter  Google Scholar 

  55. de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A verification framework for agent programming with declarative goals. J. Appl. Logic 5(2), 277–302 (2007)

    Article  MATH  Google Scholar 

  56. Dix, J.: A computational logic approach to heterogenous agent systems. In: Proc. 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). LNCS, vol. 2173, pp. 1–20. Springer (2001)

  57. Dix, J., Fisher, M., Levesque, H.J., Sterling, L.: Introduction: special issue on logic-based agent implementation. Ann. Math. Artif. Intell. 41(2–4), 131–133 (2004)

    Article  Google Scholar 

  58. Dix, J., Fisher, M., Novak, P. (eds.): Proc. 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X). LNAI, vol. 6214. Springer, Berlin (2010)

    Google Scholar 

  59. Dix, J., Kraus, S., Subrahmanian, V.S.: Agents dealing with time and uncertainty. In: AAMAS, pp. 912–919. ACM (2002)

  60. Dix, J., Kraus, S., Subrahmanian, V.S.: Heterogeneous temporal probabilistic agents. ACM Trans. Comput. Log. 7(1), 151–198 (2006)

    Article  MathSciNet  Google Scholar 

  61. Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.): Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol. 6245. Springer (2010)

  62. Dix, J., Leite, J.A., Satoh, K.: Introduction. Ann. Math. Artif. Intell. 42(1–3), 1–3 (2004)

    Article  MathSciNet  Google Scholar 

  63. Dix, J., Muñoz-Avila, H., Nau, D.S., Zhang, L.: IMPACTing SHOP: putting an AI planner into a multi-agent environment. Ann. Math. Artif. Intell. 37(4), 381–407 (2003)

    Article  MATH  Google Scholar 

  64. Dix, J., Parsons, S., Prakken, H., Simari, G.R.: Research challenges for argumentation. Comput. Sci.—R&D 23(1), 27–34 (2009)

    Google Scholar 

  65. Dix, J., Sadri, F., Satoh, K.: Introduction. Ann. Math. Artif. Intell. 37(1–2), 1–3 (2003)

    MathSciNet  Google Scholar 

  66. Dix, J., Zhang, Y.: IMPACT: a multi-agent framework with declarative semantics. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter 3, pp. 69–94. Springer, New York (2005)

    Chapter  Google Scholar 

  67. Dragoni, A.F.: Mental states as multi-context systems. Ann. Math. Artif. Intell. 54(4), 265–292 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  68. Emerson, E., Halpern, J.: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. J. ACM 33(1), 151–178 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  69. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996–1072. Elsevier (1990)

  70. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press (1996)

  71. Fisher, M.: Agent deliberation in an executable temporal framework. Journal of Applied Logic (2011, to appear)

  72. Fisher, M., Ghidini, C.: Executable specifications of resource-bounded agents. JAAMAS 21(3), 368–396 (2010)

    Google Scholar 

  73. Fisher, M., Hepple, A.: Executing logical agent specifications. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications, pp. 1–27. Springer, New York (2009)

    Chapter  Google Scholar 

  74. Fisher, M., Singh, M., Spears, D., Wooldridge, M.: Guest Editorial: logic-based agent verification. J. Appl. Logic 5(2), 193–195 (2007)

    Article  MathSciNet  Google Scholar 

  75. Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. JCIS 6(1), 37–65 (1997)

    Google Scholar 

  76. Franklin, S., Graesser, A.: Is it an agent, or just a program?: a taxonomy for autonomous agents. In: Intelligent Agents III (Proc. 3rd International Workshop on Agent Theories, Architectures, and Languages). LNCS, vol. 1193, pp. 21–35. Springer (1996)

  77. Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proc. 6th National Conference on Artificial Intelligence (AAAI), pp. 677–682 (1987)

  78. Giordano, L., Martelli, A.: Verifying agents’ conformance with multiparty protocols. In: Proc. 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol. 5405, pp. 17–36. Springer (2008)

  79. Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Logic 5(2), 214–234 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  80. Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics (or: how we can do without modal logics). Artif. Intell. 65, 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  81. Gordon, T.F.: Constructing legal arguments with rules in the Legal Knowledge Interchange Format (LKIF). In: Computable Models of the Law, Languages, Dialogues, Games, Ontologies. LNCS, vol. 4884, pp. 162–184. Springer (2008)

  82. Gouveia, P., Ramos, J.: Multi-agent systems specification and certification: a situation and state calculus approach. Ann. Math. Artif. Intell. 41(2–4), 301–338 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  83. Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artif. Intell. Law 16(1), 25–52 (2008)

    Article  Google Scholar 

  84. Governatori, G., Rotolo, A.: How do agents comply with norms? In: Web Intelligence/IAT Workshops, pp. 488–491. IEEE (2009)

  85. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. Comput. 6, 102–111 (1994)

    Google Scholar 

  86. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)

  87. Harland, J., Winikoff, M.: Agents via mixed-mode computation in linear logic. Ann. Math. Artif. Intell. 42(1–3), 167–196 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  88. He, M., Jennings, N.R.: Southampton TAC: an adaptive autonomous trading agent. ACM Trans. Int. Techn. 3(3), 218–235 (2003)

    Article  Google Scholar 

  89. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.: Agent programming with declarative goals. In: Intelligent Agents VII (Proc. 6th Workshop on Agent Theories, Architectures, and Languages—ATAL). LNAI, vol. 1986, pp. 228–243. Springer (2001)

  90. Huang, J., Gutierrez, R.L.Z., García, B.M., Huhns, M.N.: Reconciling agent ontologies for web service applications. In: Proc. 3rd German Conference on Multiagent System Technologies (MATES). LNCS, vol. 3550, pp. 106–117. Springer (2005)

  91. Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer, J.-J., van der Hoek, W.: Verification within the KARO agent theory. In: Agent Technology from a Formal Perspective, NASA Monographs in Systems and Software Engineering. Springer (2006)

  92. Inoue, K., Iwanuma, K.: Speculative computation through consequence-finding in multi-agent environments. Ann. Math. Artif. Intell. 42(1–3), 255–291 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  93. Jamroga, W., Dix, J.: Model Checking Abilities of Agents: A Closer Look. Theory Comp. Syst. 42(3), 366–410 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  94. Jennings, N.R., Wooldridge, M.: Applications of agent technology. In: Agent Technology: Foundations, Applications, and Markets. Springer (1998)

  95. Jongmans, S.-S.T.Q., Hindriks, K.V., van Riemsdijk, M.B.: Model checking agent programs by using the program interpreter. In: Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol. 6245, pp. 219–237. Springer (2010)

  96. Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational logic foundations of KGP agents. J. Artif. Intell. Res. 33, 285–348 (2008)

    MathSciNet  MATH  Google Scholar 

  97. Konolige, K.: A first-order formalization of knowledge and action for a multi-agent planning system. In: Hayes, J.E., Michie, D., Pao, Y. (eds.) Machine Intelligence, vol. 10, pp. 41–72. Ellis Horwood (1982)

  98. Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Ann. Math. Artif. Intell. 25(3–4), 391–419 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  99. Kraus, S.: Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents. Ann. Math. Artif. Intell. 20(1–4), 111–159 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  100. Kurucz, A.: Combining modal logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic, pp. 869–924. Elsevier, Amsterdam (2006)

    Google Scholar 

  101. Laroussinie, F., Markey, N., Oreiby, G.: On the expressiveness and complexity of ATL. Logical Methods in Computer Science 4(2) (2008)

  102. Lesser, V., Ortiz, C.L., Tambe, M. (eds.): Distributed Sensor Networks: A Multiagent Perspective. Kluwer Academic Publishers (2003)

  103. Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: a logic programming language for dynamic domains. J. Log. Program. 31(1–3), 59–83 (1997)

    Article  MATH  Google Scholar 

  104. Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: a model checker for the verification of multi-agent systems. In: Proc. 21st International Conference on Computer Aided Verification (CAV). LNCS, vol. 5643, pp. 682–688. Springer (2009)

  105. MCMAS: a Model Checker for Multi-Agents Systems. http://www-lai.doc.ic.ac.uk/mcmas

  106. Monteiro, A.M., Wainer, J.: Preferential multi-agent nonmonotonic logics: preliminary report. In: KR, pp. 446–452 (1996)

  107. Moore, R.C.: Logic and representation (CSLI Lecture Notes Number 39). Center for the Study of Logic and Information (CSLI), Stanford University, USA (1995) (Distributed by Chicago University Press)

  108. Moore, S.A.: KQML & FLBC: contrasting agent communication languages. In: HICSS (1999)

  109. Muldoon, C., O’Hare, G.M.P., Collier, R.W., O’Grady, M.J.: Agent factory micro edition: a framework for ambient applications. In: Proc. 6th International Conference on Computational Science (ICCS); Part III. LNCS, vol. 3993, pp. 727–734. Springer (2006)

  110. Muscettola, N., Nayak, P.P., Pell, B., Williams, B.: Remote agent: to boldly go where no AI system has gone before. Artif. Intell. 103(1–2), 5–48 (1998)

    Article  MATH  Google Scholar 

  111. Nguyen-Duc, M., Guessoum, Z., Marin, O., Perrot, J.-F., Briot, J.-P., Duong, V.: Towards a reliable air traffic control. In: Proc. 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Industry and Applications Track, pp. 101–104 (2008)

  112. Nitschke, G.: Cooperating air traffic control agents. Appl. Artif. Intell. 15(2), 209–235 (2001)

    Article  Google Scholar 

  113. Novák, P.: Cognitive agents with non-monotonic reasoning. In: AAMAS (PhD), pp. 1746–1747. IFAAMAS (2008)

  114. Odelstad, J., Boman, M.: Algebras for agent norm-regulation. Ann. Math. Artif. Intell. 42(1–3), 141–166 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  115. Padget, J.A., Artikis, A., Vasconcelos, W.W., Stathis, K., da Silva, V.T., Matson, E.T., Polleres, A. (eds.) Proc. 5th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN). LNCS, vol. 6069. Springer (2010)

  116. Pnueli, A.: The temporal logic of programs. In: Proc. 18th Symposium on the Foundations of Computer Science (FOCS), pp. 46–57. IEEE Computer Society (1977)

  117. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter 6, pp. 149–174. Springer, New York (2005)

    Chapter  Google Scholar 

  118. Rahwan, I., Moraitis, P. (eds.): Argumentation in multi-agent systems. In: Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science, vol. 5384. Springer (2009)

  119. Rahwan, I., Pasquier, P., Sonenberg, L., Dignum, F.: A formal analysis of interest-based negotiation. Ann. Math. Artif. Intell. 55(3–4), 253–276 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  120. Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Logic 5(2), 235–251 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  121. Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away: Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW). LNCS, vol. 1038, pp. 42–55. Springer (1996)

  122. Rao, A.S.: Decision procedures for propositional linear-time belief-desire-intention logics. J. Log. Comput. 8(3), 293–342 (1998)

    Article  MATH  Google Scholar 

  123. Rao, A.S., Georgeff, M.: BDI agents: from theory to practice. In: Proc. 1st International Conference on Multi-Agent Systems (ICMAS), pp. 312–319 (1995)

  124. Rao, A.S., Georgeff, M.P.: Modeling agents within a BDI-architecture. In: Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 473–484. Morgan Kaufmann (1991)

  125. Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proc. International Conference on Knowledge Representation and Reasoning (KR&R), pp. 439–449 (1992)

  126. Rao, A.S., Georgeff, M.P.: A model-theoretic approach to the verification of situated reasoning systems. In: Proc. 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 318–324 (1993)

  127. Rogers, A., Corkill, D.D., Jennings, N.R.: Agent technologies for sensor networks. IEEE Intell. Syst. 24(2), 13–17 (2009)

    Article  Google Scholar 

  128. Sandewall, E.: Nonmonotonic temporal logics and autonomous agents: each contributes to the rigorous basis for the other. In: Herzog, O., Christaller, T., Schütt, D. (eds.) KI, Informatik Aktuell, pp. 107–124. Springer (1993)

  129. Sardiña, S., Giacomo, G.D., Lespérance, Y., Levesque, H.J.: On the semantics of deliberation in Indigolog—from theory to implementation. Ann. Math. Artif. Intell. 41(2–4), 259–299 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  130. Sayda, A., Taylor, J.H.: Toward A practical multi-agent system for integrated control and asset management of petroleum production facilities. In: Proc. IEEE International Symposium on Intelligent Control (2007)

  131. Schild, K.: On the relationship between BDI logics and standard logics of concurrency. In: Intelligent Agents V (Proc. 5th International Workshop on Agent Theories, Architectures, and Languages—ATAL). LNAI, vol. 1555, pp. 47–61. Springer (1999)

  132. Schmidt, R.A., Tishkovsky, D.: Multi-agent dynamic logics with informational test. Ann. Math. Artif. Intell. 42(1–3), 5–36 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  133. Schulte, O., Delgrande, J.P.: Representing von Neumann–Morgenstern games in the situation calculus. Ann. Math. Artif. Intell. 42(1–3), 73–101 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  134. Searle, J.R.: Speech Acts: an Essay in the Philosophy of Language. Cambridge University Press (1969)

  135. Sherstov, A.A., Stone, P.: Three automated stock-trading agents: a comparative study. In: Proc. 6th Workshop on Agent-Mediated Electronic Commerce (AMEC). LNCS, vol. 3435, pp. 173–187. Springer (2005)

  136. Sichman, J.S., Padget, J.A., Ossowski, S., Noriega, P. (eds.): Proc. 3rd International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN). LNCS, vol. 4870. Springer (2008)

  137. Singh, M.P.: A semantics for speech acts. Ann. Math. Artif. Intell. 8(1–2), 47–71 (1993)

    Article  MATH  Google Scholar 

  138. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press (2000)

  139. van der Hoek, W., Lomuscio, A., Wooldridge, M.: On the complexity of practical ATL model checking. In: Proc. 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 201–208. ACM Press, New York (2006)

    Chapter  Google Scholar 

  140. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer (2007)

  141. van Linder, B., van der Hoek, W., Meyer, J.J.C.: Formalising motivational attitudes of agents. In: Intelligent Agents II (Proc. 2nd Workshop on Agent Theories, Architectures, and Languages—ATAL). LNCS, vol. 1037, pp. 17–32. Springer (1996)

  142. Van Nieuwenborgh, D., De Vos, M., Heymans, S., Vermeir, D.: Hierarchical decision making in multi-agent systems using answer set programming. In: Proc. 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA). LNCS, vol. 4371, pp. 20–40. Springer (2007)

  143. Vasconcelos, W.W., Robertson, D.S., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M.: Rapid prototyping of large multi-agent systems through logic programming. Ann. Math. Artif. Intell. 41(2–4), 135–169 (2004)

    Article  MATH  Google Scholar 

  144. Vieira, R., Moreira, Á.F., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. J. Artif. Intell. Res. 29, 221–267 (2007)

    MATH  Google Scholar 

  145. Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proc. 15th IEEE International Conference on Automated Software Engineering (ASE), pp. 3–12. IEEE Computer Society (2000)

  146. Winikoff, M.: JACK™ intelligent agents: an industrial strength platform. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, chapter 7, pp. 175–193. Springer, New York (2005)

    Chapter  Google Scholar 

  147. Wooldridge, M.: Reasoning About Rational Agents. MIT Press (2000)

  148. Wooldridge, M., Fisher, M., Huget, M.-P., Parsons, S.: Model checking for multiagent systems: the MABLE language and its applications. Int. J. Artif. Intell. Tools 15(2), 195–225 (2006)

    Article  Google Scholar 

  149. Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995)

    Article  Google Scholar 

  150. Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers (1999)

  151. Xiao, L., Lewis, P.H., Dasmahapatra, S.: Secure interaction models for the HealthAgents system. In: Proc. 27th International Conference on Computer Safety, Reliability, and Security (SAFECOMP), LNCS, vol. 5219, pp. 167–180. Springer (2008)

  152. Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: an approach for specifying and executing protocols. Ann. Math. Artif. Intell. 42(1–3), 227–253 (2004)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  2. University of Liverpool, Liverpool, UK

    Michael Fisher

Authors
  1. Jürgen Dix
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Michael Fisher
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Jürgen Dix.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dix, J., Fisher, M. Where logic and agents meet. Ann Math Artif Intell 61, 15–28 (2011). https://doi.org/10.1007/s10472-010-9223-9

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-010-9223-9

Keywords

Mathematics Subject Classifications (2010)