Abductive logic programming agents with destructive databases

Annals of Mathematics and Artificial Intelligence

Volumn 62, Issue 1-2, 2011, Pages 129-158

  Kowalski, Robert ^a   Sadri, Fariba ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Abductive logic programming; Agent languages; Model theoretic semantics

Indexed keywords

EID: 83555174305     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10472-011-9253-y     Document Type: Article

References (26)

1. Alferes, J., Leite, J., Pereira, L. M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3), 43-70 (2000).
2. Bonner, Kifer, M.: Transaction logic programming. In: Warren, D. S. (ed.) Logic Programming: Proc. of the 10th International Conf., pp. 257-279 (1993).
3. Costantini, S., Tocchio, A.: In: Baldoni, M., et al. (eds.) About Declarative Semantics of Logic-Based Agent Languages, Dalt 2005, LNAI 3904, pp. 106-123 (2006).
4. Dennis, L. A., Farwer, B., Bordini, R. H., Fisher, M., Wooldridge, M.: In: Dastani, M., et al. (eds.) A Common Semantics Basis for BDI Languages, ProMAS, LNAI 4908, pp. 124-139. Springer, Berlin (2008).
5. van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. JACM 23(4), 733-742 (1976).
6. Fisher, M.: A Survey of Concurrent METATEM-The Language and its Applications. Lecture Notes in Computer Science, p. 827. Springer, Berlin (1994).
7. Flesca, S., Greco, S.: Declarative semantics for active rules. Theor. Pract. Logic. Program. 1(1), 43-69 (2001).
8. Fung, T. H., Kowalski, R.: The IFF proof procedure for abductive logic programming. J. Log. Program. 33(2), 151-165 (1997).
9. Kakas, T., Kowalski, R., Toni, F.: The role of logic programming in abduction. Handbook of Logic in Artificial Intelligence and Programming 5, pp. 235-324. Oxford University Press (1998).
10. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational logic foundations of KGP agents. J. Artif. Intell. Res. 33, 285-348 (2008).
11. Kowalski, R.: Predicate logic as programming language. In: Proceedings IFIP Congress, pp. 569-574. North Holland, Stockholm (1974).
12. Kowalski, R., Sadri, F.: From logic programming towards multi-agent systems. Ann. Math. Artif. Intell. 25, 391-419 (1999).
13. Kowalski, R., Sadri, F.: Integrating logic programming and production systems in abductive logic programming agents. In: Proceedings of the Third International Conference on Web Reasoning and Rule Systems. Chantilly, Virginia, USA (2009).
14. Reiter, R.: Knowledge in Action. MIT Press (2001).
15. Thielscher, M.: FLUX: a logic programming method for reasoning agents. Theor. Pract. Logic. Program. 5(4-5), 533-565 (2005).
16. Zaniolo, C.: A unified semantics for active and deductive databases. In: Procs. 1993 Workshop on Rules in Database Systems. RIDS'93, pp. 271-287. Springer (1993).
17. Thielscher, M.: Integrating action calculi and agent speak. In: Lin, F., Sattler, U. (eds.) Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Toronto (2010)
18. Hayashi, H., Tokura, S., Ozaki, F., Doi, M.: Background sensing control for planning agents working in the real world. In: International Journal of Intelligent Information and Database Systems, vol. 3(4), pp. 483-501. Inderscience Publishers (2009).
19. Rao, Anand S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Proceedings of Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-96) (1996).
20. Kowalski, R., Sergot, M.: A logic-based calculus of events. In new generation computing, vol. 4, no. 1, pp. 67-95 (1986). Also in the language of time: a reader. In: Inderjeet Mani, Pustejovsky J., Gaizauskas R. (eds.) Oxford University Press (2005).
21. Kowalski, R., Sadri, F.: An agent language with destructive assignment and model-theoretic semantics. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) Proc. of the 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), pp. 200-218 (2010).
22. Kowalski, R.: Computational logic and human thinking: how to be artificially intelligent. To be published by Cambridge University Press.
23. Wooldridge, M.: An Introduction to Multiagent Systems. Wiley (2009).
24. Nau, D., Cao, Y., Lotem, A., Munoz-Avila, H.: SHOP: simple hierarchical ordered planner. In: Proc. of the 16th International Joint Conference on Artificial Intelligence (IJCAI), pp. 968-973 (1999).
25. Kowalski, R., Sadri, F.: The situation calculus and event calculus compared. In: Proc. of International Logic Programming Symposium (ILPS) 94, MIT Press, pp. 539-553 (1994).
26. Rao, A. S., Georgeff, M. P.: Modeling rational agents within a BDI-architecture. In: Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 473-484 (1991).