Where logic and agents meet. (English) Zbl 1230.68188
Summary: 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. This journal contains a surprising number of articles in this area, among them several special issues focusing on computational logic and its use in agent systems.
MSC:
| 68T27 | Logic in artificial intelligence |
| 68T30 | Knowledge representation |
| 68T42 | Agent technology and artificial intelligence |
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) · Zbl 1185.68419 |
| [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) |
| [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) |
| [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) |
| [5] | Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002) · Zbl 1326.68181 · doi:10.1145/585265.585270 |
| [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) · Zbl 1002.68172 · doi:10.1023/A:1014490210693 |
| [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) |
| [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) |
| [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) · Zbl 1058.68107 |
| [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) · Zbl 1285.68188 |
| [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) · Zbl 1077.68088 · doi:10.1023/B:AMAI.0000031196.24935.b5 |
| [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) · doi:10.1109/TKDE.2010.179 |
| [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) |
| [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) · Zbl 1137.68054 · doi:10.1007/s10472-008-9092-7 |
| [15] | Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. J. Log. Comput. 8(3), 401–423 (1998) · Zbl 0904.68159 · doi:10.1093/logcom/8.3.401 |
| [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) · doi:10.1007/s10458-008-9067-4 |
| [17] | Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Elsevier, Amsterdam (2006) · Zbl 1114.03001 |
| [18] | Bonatti, P.A., Kraus, S., Subrahmanian, V.S.: Secure agents. Ann. Math. Artif. Intell. 37(1–2), 169–235 (2003) · Zbl 1010.68105 · doi:10.1023/A:1020233522878 |
| [19] | Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, New York (2005) · Zbl 1101.68456 |
| [20] | Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, New York (2009) · Zbl 1169.68001 |
| [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) |
| [22] | Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intell. Syst. 19(5), 46–52 (2004) · doi:10.1109/MIS.2004.47 |
| [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) · doi:10.1007/s10458-006-5955-7 |
| [24] | Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for agent verification. J. Log. Comput. 19(6), 1385–1425 (2009) · Zbl 1185.68751 · doi:10.1093/logcom/exp029 |
| [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) |
| [26] | Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, New York (2007) · Zbl 1132.68021 |
| [27] | Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages. Ann. Math. Artif. Intell. 42(1–3), 197–226 (2004) · Zbl 1059.68126 · doi:10.1023/B:AMAI.0000034527.45635.e5 |
| [28] | Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987) |
| [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) · Zbl 1306.68185 |
| [30] | Bulling, N., Dix, J.: Modelling and verifying coalitions using argumentation and ATL. Artif. Intell. 14(46), 45–73 (2010) |
| [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) · Zbl 1201.68070 |
| [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) · Zbl 1309.68066 |
| [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) · Zbl 1211.68246 |
| [35] | Bulling, N., Jamroga, W.: What agents can probably enforce. Fundam. Inform. 93, 81–96 (2009) · Zbl 1191.68648 |
| [36] | Bulling, N., Jamroga, W., Dix, J.: Reasoning about temporal properties of rational play. Ann. Math. Artif. Intell. 53(1–4), 51–114 (2009) · Zbl 1187.03016 · doi:10.1007/s10472-009-9110-4 |
| [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) · Zbl 1023.68095 · doi:10.1023/A:1020259411066 |
| [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) · doi:10.1016/S1389-0417(02)00053-0 |
| [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) · Zbl 1048.68027 · doi:10.1023/B:AMAI.0000031195.87297.d9 |
| [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) · Zbl 0591.68027 · doi:10.1145/5397.5399 |
| [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) · doi:10.1017/S0269888909990270 |
| [45] | Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42, 213–261 (1990) · Zbl 0721.03017 · doi:10.1016/0004-3702(90)90055-5 |
| [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) · Zbl 1098.68911 |
| [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) · Zbl 1176.68217 |
| [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) · Zbl 1177.68222 |
| [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) · Zbl 1201.68005 |
| [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) |
| [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) · Zbl 1122.68078 · doi:10.1016/j.jal.2005.12.014 |
| [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) · Zbl 1007.68584 |
| [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) · doi:10.1023/B:AMAI.0000031230.18901.7b |
| [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) |
| [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) · Zbl 1367.68316 · doi:10.1145/1119439.1119444 |
| [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) · Zbl 1194.68025 |
| [62] | Dix, J., Leite, J.A., Satoh, K.: Introduction. Ann. Math. Artif. Intell. 42(1–3), 1–3 (2004) · doi:10.1023/B:AMAI.0000034534.36300.73 |
| [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) · Zbl 1010.68171 · doi:10.1023/A:1021560510377 |
| [64] | Dix, J., Parsons, S., Prakken, H., Simari, G.R.: Research challenges for argumentation. Comput. Sci.–R&D 23(1), 27–34 (2009) · doi:10.1007/s00450-009-0051-2 |
| [65] | Dix, J., Sadri, F., Satoh, K.: Introduction. Ann. Math. Artif. Intell. 37(1–2), 1–3 (2003) · doi:10.1023/A:1020215020635 |
| [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) |
| [67] | Dragoni, A.F.: Mental states as multi-context systems. Ann. Math. Artif. Intell. 54(4), 265–292 (2008) · Zbl 1180.68208 · doi:10.1007/s10472-008-9100-y |
| [68] | Emerson, E., Halpern, J.: ”Sometimes” and ”not never” revisited: on branching versus linear time temporal logic. J. ACM 33(1), 151–178 (1986) · Zbl 0629.68020 · doi:10.1145/4904.4999 |
| [69] | Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996–1072. Elsevier (1990) · Zbl 0900.03030 |
| [70] | Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press (1996) · Zbl 0839.68095 |
| [71] | Fisher, M.: Agent deliberation in an executable temporal framework. Journal of Applied Logic (2011, to appear) · Zbl 1248.68502 |
| [72] | Fisher, M., Ghidini, C.: Executable specifications of resource-bounded agents. JAAMAS 21(3), 368–396 (2010) |
| [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) · Zbl 1185.68205 |
| [74] | Fisher, M., Singh, M., Spears, D., Wooldridge, M.: Guest Editorial: logic-based agent verification. J. Appl. Logic 5(2), 193–195 (2007) · doi:10.1016/j.jal.2005.12.012 |
| [75] | Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. JCIS 6(1), 37–65 (1997) |
| [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) · Zbl 1250.68267 |
| [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) · Zbl 1122.68122 · doi:10.1016/j.jal.2005.12.011 |
| [80] | Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics (or: how we can do without modal logics). Artif. Intell. 65, 29–70 (1994) · Zbl 0787.68093 · doi:10.1016/0004-3702(94)90037-X |
| [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) · Zbl 1081.68053 · doi:10.1023/B:AMAI.0000031198.84824.45 |
| [83] | Governatori, G., Rotolo, A.: A computational framework for institutional agency. Artif. Intell. Law 16(1), 25–52 (2008) · doi:10.1007/s10506-007-9056-y |
| [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) · Zbl 0820.68113 |
| [86] | Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000) · Zbl 0976.68108 |
| [87] | Harland, J., Winikoff, M.: Agents via mixed-mode computation in linear logic. Ann. Math. Artif. Intell. 42(1–3), 167–196 (2004) · Zbl 1059.68128 · doi:10.1023/B:AMAI.0000034526.31830.45 |
| [88] | He, M., Jennings, N.R.: Southampton TAC: an adaptive autonomous trading agent. ACM Trans. Int. Techn. 3(3), 218–235 (2003) · doi:10.1145/857166.857168 |
| [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) · Zbl 1056.68562 |
| [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) · Zbl 0988.68180 |
| [92] | Inoue, K., Iwanuma, K.: Speculative computation through consequence-finding in multi-agent environments. Ann. Math. Artif. Intell. 42(1–3), 255–291 (2004) · Zbl 1059.68129 · doi:10.1023/B:AMAI.0000034529.83643.ce |
| [93] | Jamroga, W., Dix, J.: Model Checking Abilities of Agents: A Closer Look. Theory Comp. Syst. 42(3), 366–410 (2008) · Zbl 1136.68036 · doi:10.1007/s00224-007-9080-z |
| [94] | Jennings, N.R., Wooldridge, M.: Applications of agent technology. In: Agent Technology: Foundations, Applications, and Markets. Springer (1998) · Zbl 0894.68039 |
| [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) · Zbl 1182.68279 |
| [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) · Zbl 0940.68017 · doi:10.1023/A:1018934223383 |
| [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) · Zbl 0880.68129 · doi:10.1023/A:1018928310720 |
| [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) |
| [101] | Laroussinie, F., Markey, N., Oreiby, G.: On the expressiveness and complexity of ATL. Logical Methods in Computer Science 4(2) (2008) · Zbl 1143.68044 |
| [102] | Lesser, V., Ortiz, C.L., Tambe, M. (eds.): Distributed Sensor Networks: A Multiagent Perspective. Kluwer Academic Publishers (2003) · Zbl 1033.68009 |
| [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) · Zbl 0880.68008 · doi:10.1016/S0743-1066(96)00121-5 |
| [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) · Zbl 0909.68167 · doi:10.1016/S0004-3702(98)00068-X |
| [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) · doi:10.1080/088395101750065778 |
| [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) · Zbl 1059.68130 · doi:10.1023/B:AMAI.0000034525.49481.4a |
| [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) |
| [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) · Zbl 1155.68306 |
| [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) · Zbl 1186.68477 · doi:10.1007/s10472-009-9145-6 |
| [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) · Zbl 1122.68076 · doi:10.1016/j.jal.2005.12.010 |
| [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) · Zbl 0904.68158 · doi:10.1093/logcom/8.3.293 |
| [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) · Zbl 0765.68194 |
| [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) · doi:10.1109/MIS.2009.22 |
| [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) · Zbl 1048.68100 · doi:10.1023/B:AMAI.0000031197.13122.aa |
| [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) · Zbl 0927.03056 |
| [132] | Schmidt, R.A., Tishkovsky, D.: Multi-agent dynamic logics with informational test. Ann. Math. Artif. Intell. 42(1–3), 5–36 (2004) · Zbl 1059.68131 · doi:10.1023/B:AMAI.0000034521.22009.8d |
| [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) · Zbl 1061.68150 · doi:10.1023/B:AMAI.0000034523.18162.6b |
| [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) · Zbl 0998.68551 · doi:10.1007/BF02451549 |
| [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) |
| [140] | van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer (2007) · Zbl 1156.03320 |
| [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) · Zbl 1177.68229 |
| [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) · Zbl 1077.68014 · doi:10.1023/B:AMAI.0000031194.57352.e7 |
| [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) · Zbl 1182.68110 |
| [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) |
| [147] | Wooldridge, M.: Reasoning About Rational Agents. MIT Press (2000) · Zbl 0998.68094 |
| [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) · doi:10.1142/S0218213006002631 |
| [149] | Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995) · doi:10.1017/S0269888900008122 |
| [150] | Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers (1999) · Zbl 0912.00011 |
| [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) · Zbl 1059.68133 · doi:10.1023/B:AMAI.0000034528.55456.d9 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
