AGENT PROGRAMMING LANGUAGE WITH INCOMPLETE KNOWLEDGE - AGENTSPEAK(I)

Duc Vo, Aditya Ghose

2004

Abstract

This paper proposes an agent programming language called AgentSpeak(I). This new language allows agent programs (1) to effectively perform while having incomplete knowledge of the environment, (2) to detect no-longer possible goals and re-plan these goals correspondingly, and (3) to behave reactively to changes of environment. Specifically, AgentSpeak(I) uses default theory as agent belief theory, agent always act with preferred default extension at current time point (i.e. preference may changes over time). A belief change operator for default theory is also provided to assist agent program to update its belief theory. Like other BDI agent programming languages, AgentSpeak(I) uses semantics of transitional system. It appears that the language is well suited for intelligent applications and high level control robots, which are required to perform in highly dynamic environment.

References

  1. Alchourrón, C. E., Gärdenfors, P., and Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510-530.
  2. Alferes, J. J., Pereira, L. M., and Przymusinski, T. C. (1996). Belief revision in non-monotonic reasoning and logic programming. Fundamenta Informaticae, 28(1-2):1-22.
  3. Bratman, M. E. (1987). Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA.
  4. Brewka, G. and Eiter, T. (2000). Prioritizing default logic. Intellectics and Computational Logic, Papers in Honor of Wolfgang Bibel, Kluwer Academic Publishers, Applied Logic Series, 19:27-45.
  5. Darwiche, A. and Pearl, J. (1997). On the logic of iterated belief revision. Arti cial Intelligence, 97(1-2):45-82.
  6. Dastani, M., Boer, F., Dignum, F., and Meyer, J. (2003). Programming agent deliberation. In Proceedings of the Autonomous Agents and Multi Agent Systems Conference 2003, pages 97-104.
  7. de Giacomo, G., , Y. L., and Levesque, H. (2000). Congolog, a concurrent programming language based on the situation calculus. Arti cial Intelligence, 121:109-169.
  8. Delgrande, J., Schaub, T., and Jackson, W. (1994). Alternative approaches to default logic. Arti cial Intelligence, 70:167-237.
  9. D'Inverno, M. and Luck, M. (1998). Engineering agentspeak(l): A formal computational model. Journal of Logic and Computation, 8(3):233-260.
  10. Ghose, A. K. and Goebel, R. G. (1998). Belief states as default theories: Studies in non-prioritized belief change. In proceedings of the 13th European Conference on Arti cial Intelligence (ECAI98), Brighton, UK.
  11. Ghose, A. K., Hadjinian, P. O., Sattar, A., You, J., and Goebel, R. G. (1998). Iterated belief change. Computational Intelligence. Conditionally accepted for publication.
  12. Giordano, L. and Martelli, A. (1994). On cumulative default reasoning. Arti cial Intelligence Journal, 66:161- 180.
  13. Hindriks, K., de Boer, F., van der Hoek, W., and Meyer, J.-J. (1999). Agent programming in 3apl. In Proceedings of the Autonomous Agents and Multi-Agent Systems Conference 1999, pages 357-401.
  14. Levesque, H., R., R., Lesperance, Y., F., L., and R., S. (1997). Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59-84.
  15. MaynardReidII, P. and Shoham, Y. (1998). From belief revision to belief fusion. In Proceedings of the Third Conference on Logic and the Foundations of Game and Decision Theory (LOFT3).
  16. Meyer, T., Ghose, A., and Chopra, S. (2001). Nonprioritized ranked belief change. In Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK2001), Italy.
  17. Poole, D. (1988). A logical framework for default reasoning. Arti cial Intelligence, 36:27-47.
  18. Rao, A. S. (1996). Agentspeak(l): Bdi agents speak out in a logical computable language. Agents Breaking Away, Lecture Notes in Arti cial Intelligence.
  19. Rao, A. S. and Georgeff, M. P. (1991). Modeling rational agents within a bdi-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Repersentation and Reasoning (KR'91), pages 473-484.
  20. Rao, A. S. and Georgeff, M. P. (1995). Bdi agents: From theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS95), San Francisco, USA.
  21. Reiter, R. (1980). A logic for default reasoning. Arti cial Intelligence, 13(1-2):81-132.
  22. Riemsdijk, B., Hoek, W., and Meyer, J. (2003). Agent programming in dribble: from beliefs to goals using plans. In Proceedings of the Autonomous Agents and Multi Agent Systems Conference 2003, pages 393- 400.
  23. Shoham, Y. (1993). Agent-oriented programming. Arti cial Intelligence, 60:51-93.
  24. Wobcke, W. (2002). Intention and rationality for prs-like agents. In Proceedings of the 15 Australian Joint Conference on Arti cial Intelligence (AJAI02).
  25. Wooldridge, M. (2000). Reasoning about Rational Agent. The MIT Press, London, England.
Download


Paper Citation


in Harvard Style

Vo D. and Ghose A. (2004). AGENT PROGRAMMING LANGUAGE WITH INCOMPLETE KNOWLEDGE - AGENTSPEAK(I) . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 972-8865-00-7, pages 356-363. DOI: 10.5220/0002629803560363


in Bibtex Style

@conference{iceis04,
author={Duc Vo and Aditya Ghose},
title={AGENT PROGRAMMING LANGUAGE WITH INCOMPLETE KNOWLEDGE - AGENTSPEAK(I)},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},
year={2004},
pages={356-363},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002629803560363},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - AGENT PROGRAMMING LANGUAGE WITH INCOMPLETE KNOWLEDGE - AGENTSPEAK(I)
SN - 972-8865-00-7
AU - Vo D.
AU - Ghose A.
PY - 2004
SP - 356
EP - 363
DO - 10.5220/0002629803560363