×

zbMATH — the first resource for mathematics

A verification framework for agent programming with declarative goals. (English) Zbl 1122.68078
Summary: A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have hardly incorporated the concept of a declarative goal. Instead, such frameworks have focused mainly on plans or goals-to-do instead of the end goals to be realised which are also called goals-to-be. In this paper, the programming language GOAL is introduced which incorporates such declarative goals. The notion of a commitment strategy-one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals-is used to construct a computational semantics for GOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. Thus, the main contribution of this paper, rather than the language GOAL itself, is that we offer a complete theory of agent programming in the sense that our theory provides both for a programming framework and a programming logic for such agents. An example program is proven correct by using this programming logic.

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68T01 General topics in artificial intelligence
03B70 Logic in computer science
68T05 Learning and adaptive systems in artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Gärdenfors, P.; Alchourrón, C.E,; Makinson, D., On the logic of theory change: partial meet contraction and revision functions, J. symbolic logic, 50, 510-530, (1985) · Zbl 0578.03011
[2] Andrews, G.R., Concurrent programming: principles and practice, (1991), The Benjamin/Cummings Publishing Company
[3] Apt, K.R.; Olderog, E.-R., Verification of sequential and concurrent programs, (1991), Springer New York · Zbl 0733.68053
[4] Mani Chandy, K.; Misra, J., Parallel program design, (1988), Addison-Wesley Reading, MA · Zbl 0717.68034
[5] Cohen, P.R.; Levesque, H.J., Intention is choice with commitment, Artificial intelligence, 42, 213-261, (1990) · Zbl 0721.03017
[6] Cohen, P.R.; Levesque, H.J., Communicative actions for artificial agents, ()
[7] Dastani, M.; van Riemsdijk, M.B.; Dignum, F.; Meyer, J.-J.Ch., A programming language for cognitive agents: goal-directed 3APL, (), 111-130
[8] Dijkstra, E.W., Guarded commands, nondeterminacy and formal derivation of programs, Comm. ACM, 18, 453-457, (1975) · Zbl 0308.68017
[9] Fagin, R.; Halpern, J., Belief, awareness, and limited reasoning, Artificial intelligence, 34, 39-76, (1988) · Zbl 0634.03013
[10] Fagin, R.; Halpern, J.Y.; Moses, Y.; Vardi, M.Y., Reasoning about knowledge, (1994), MIT Press Cambridge MA · Zbl 0806.68098
[11] de Giacomo, G.; Lespérance, Y.; Levesque, H., Congolog, a concurrent programming language based on the situation calculus, Artificial intelligence, 121, 1-2, 109-169, (2000) · Zbl 0948.68175
[12] Girard, J.Y., Linear logic, Theoret. comput. sci., 50, 1-101, (1987)
[13] K.V. Hindriks, F.S. de Boer, W. van der Hoek, J.-J. Meyer, An operational semantics for the single agent core of AGENT-0, Technical Report UU-CS-1999-30, Department of Computer Science, University Utrecht, 1999
[14] Hindriks, K.V.; de Boer, F.S.; van der Hoek, W.; Meyer, J.-J.Ch., A formal embedding of agentspeak(L) in 3APL, (), 155-166
[15] Hindriks, K.V.; de Boer, F.S.; van der Hoek, W.; Meyer, J.-J.Ch., Formal semantics for an abstract agent programming language, (), 215-229
[16] Hindriks, K.V.; de Boer, F.S.; van der Hoek, W.; Meyer, J.-J.Ch., Agent programming in 3APL, Autonomous agents multi-agent syst., 2, 4, 357-401, (1999)
[17] K.V. Hindriks, Y. Lespérance, H.J. Levesque, An embedding of ConGolog in 3APL, Technical Report UU-CS-2000-13, Department of Computer Science, University Utrecht, 2000
[18] van Linder, B.; van der Hoek, W.; Meyer, J.-J.Ch., Formalising motivational attitudes of agents: on preferences, goals, and commitments, (), 17-32
[19] Manna, Z.; Pnueli, A., The temporal logic of reactive and concurrent systems, (1992), Springer Berlin
[20] Meyer, J.-J.Ch.; van der Hoek, W., Epistemic logic for AI and computer science, Cambridge tracks in theoretical computer science, vol. 41, (1995), Cambridge University Press Cambridge · Zbl 0868.03001
[21] Meyer, J.-J.Ch.; van der Hoek, W.; van Linder, B., A logical approach to the dynamics of commitments, Artificial intelligence, 113, 1-40, (1999) · Zbl 0939.68831
[22] Priest, G.; Routley, R.; Norman, J., Paraconsistent logic: essays on the inconsistent, (1989), Philosophia Verlag München · Zbl 0678.00003
[23] Rao, A.S., Agentspeak(L): BDI agents speak out in a logical computable language, (), 42-55
[24] Rao, A.S., Decision procedures for propositional linear-time belief-desire-intention logics, (), 33-48
[25] A.S. Rao, M.P. Georgeff, Intentions and rational commitment, Technical Report 8, Australian Artificial Intelligence Institute, Melbourne, Australia, 1990
[26] van Riemsdijk, M.B.; van der Hoek, W.; Meyer, J.-J.Ch., Agent programming in dribble: from beliefs to goals using plans, (), 393-400
[27] Russell, S.; Norvig, P., Artificial intelligence, A modern approach, (1995), Prentice-Hall Englewood Cliffs, NJ · Zbl 0835.68093
[28] V. Saraswat, M. Ringard, P. Panangaden, Semantic foundations of concurrent constraint programming, in: Proceedings of the 18th ACM Symposium on Principles of Programming Languages (POPL’91), 1991, pp. 333-352
[29] Shoham, Y., Agent-oriented programming, Artificial intelligence, 60, 51-92, (1993)
[30] Thijsse, E., On total awareness logics (with special attention to monotonicity constraints and flexibility), () · Zbl 0823.03009
[31] S.R. Thomas, PLACA, an agent oriented programming language, PhD thesis, Department of Computer Science, Stanford University, 1993
[32] T. Vos, UNITY in diversity, PhD thesis, Department of Computer Science, Utrecht University, 2000
[33] Wobcke, W., On the correctness of PRS agent programs, () · Zbl 0971.68032
[34] Wooldridge, M.; Jennings, N.R., Intelligent agents: theory and practice, Knowledge engrg. rev., 10, 2, 115-152, (1995)
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.