Agent logics as program logics: Grounding KARO

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4314 LNAI, Issue , 2007, Pages 404-418

  Hindriks, Koen V ^a   Meyer, John Jules Ch ^b  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DYNAMIC PROGRAMMING; KNOWLEDGE ACQUISITION; MODAL ANALYSIS; SEMANTICS;

AGENT PROGRAMMING LANGUAGE; COMPUTATIONAL AGENT SYSTEMS; COMPUTATIONALLY GROUNDED SEMANTICS; KARO AGENT LOGIC;

FORMAL LOGIC;

EID: 35448949041     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-69912-5_30     Document Type: Conference Paper

References (15)

1. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42 (1990) 213-261
2. Rao, A., Georgeff, M.: Decision Procedures for BDI Logics. Journal of Logic and Computation 8(3) (1998) 293-343
3. van der Hoek, W., van Linder, B., Meyer, J.-J.Ch.: An Integrated Modal Approach to Rational Agents. In Wooldridge, M., ed.: Foundations of Rational Agency. Kluwer, Dordrecht (1999) 133-168
4. van der Hoek, W., Wooldridge, M.: Towards a Logic of Rational Agency. Logic Journal of the IGPL 11(2) (2003) 133-157
5. Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In van der Velde, W., Perram, J., eds.: Agents Breaking Away. Number 1038 in LNAI, Springer (1996) 42-55
6. de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.-J.Ch.: A Verification Framework for Agent Programming with Declarative Goals. Accepted for the Journal of Applied Logic (2006)
7. Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J.Ch.: A Programming Logic for part of the Agent Language 3APL. In Rash, J., ed.: Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems. Number 1871 in LNCS, Springer (2001) 78-89
8. Fisher, M.: A Survey of Concurrent MetateM. In: Proceedings of the First International Conference on Temporal Logic (ICTL). Number 827 in LNCS, Springer (1994) 480-505
9. Hustadt, U., Dixon, C., Schmidt, R., Fisher, M., Meyer, J.-J.Ch., van der Hoek, W.: Reasoning about Agents in the KARO Framework. In Bettini, C., Montanari, A., eds.: Proc. of the Eighth Int. Symposium on Temporal Representation and Reasoning. (2001) 206-213
10. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)
11. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Knowledge-based programs. Distributed Computing 10(4) (1997) 199-225
12. Bordini, R., Dastani, M., Dix, J., Seghrouchni, A.E.F., eds.: Multi-Agent Programming: Languages, Platforms and Applications. Springer (2005)
13. de Giacomo, G., Lespérance, Y., Levesque, H.J.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121(1-2) (2000) 109-169
14. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)
15. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.Ch.: A Formal Embedding of AgentSpeak(L) in 3APL. In Antoniou, G., Slaney, J., eds.: Advanced Topics in Artificial Intelligence. Number 1502 in LNAI. Springer (1998) 155-166