Agent programming with temporally extended goals

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Agent programming with temporally extended goals

Full text

Pdf (247 KB)

Source

International Conference on Autonomous Agents archive
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1 table of contents

Budapest, Hungary

SESSION: Multi-agent programming languages table of contents

Pages 137-144

Year of Publication: 2009

ISBN:978-0-9817381-6-1

Authors

Koen V. Hindriks	Delft University of Technology, Delft, The Netherlands
Wiebe van der Hoek	University of Liverpool, Liverpool, United Kingdom
M. Birna van Riemsdijk	Delft University of Technology, Delft, The Netherlands

Sponsors

: The Foundation for Intelligent Physical Agents
Microsoft Research : Microsoft Research
: Wiley - Blackwell Ltd
: Whitestein Technologies
: European Office of Aerospace Research and Development, Air Force Office of Scientific Research, United States Air Force Research Laboratory
: Drexel University

Publisher

International Foundation for Autonomous Agents and Multiagent Systems Richland, SC

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 48, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of states instead of a set of desirable final states as the traditional notion of achievement goal does, and provide for more variety in the types of goals allowed. In this paper, we show how temporally extended goals can be integrated into the agent programming language Goal. The result is that Goal agents may now have both beliefs about the future as well as have temporally extended goals. We propose a new decision making mechanism that takes temporally extended goals into account, and investigate properties of this framework.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	F. Bacchus and F. Kabanza. Planning for temporally extended goals. pages 1215--1222, 1996.
	2	Fahiem Bacchus , Froduald Kabanza, Using temporal logics to express search control knowledge for planning, Artificial Intelligence, v.116 n.1-2, p.123-191, Jan. 2000 [doi>10.1016/S0004-3702(99)00071-5]
	3	Chitta Baral , Thomas Eiter , Marcus Bjäreland , Mutsumi Nakamura, Maintenance goals of agents in a dynamic environment: Formulation and policy construction, Artificial Intelligence, v.172 n.12-13, p.1429-1469, August, 2008 [doi>10.1016/j.artint.2008.03.005]
	4	M. Bienvenu, C. Fritz, and S. A. McIlraith. Planning with qualitative temporal preferences. In KR'06, pages 134--144, 2006.
	5	L. Braubach, A. Pokahr, D. Moldt, and W. Lamersdorf. Goal representation for BDI agent systems. In ProMAS'04, volume 3346 of LNAI, pages 44--65. Springer, 2005.
	6	J. Broersen, F. Dignum, V. Dignum, and J.-J. C. Meyer. Designing a deontic logic of deadlines. In DEON'04, volume 3065 of LNCS, pages 43--56. Springer, 2004.
	7	Philip R. Cohen , Hector J. Levesque, Intention is choice with commitment, Artificial Intelligence, v.42 n.2-3, p.213-261, March 1990 [doi>10.1016/0004-3702(90)90055-5]
	8	Mehdi Dastani , M. Birna van Riemsdijk , John-Jules Ch. Meyer, Goal Types in Agent Programming, Proceeding of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy, p.220-224, May 22, 2006
	9	F. de Boer, K. V. Hindriks, W. van der Hoek, and J.-J. C. Meyer. A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic, 5(2):277--302, 2007.
	10	Simon Duff , James Harland , John Thangarajah, On proactivity and maintenance goals, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, May 08-12, 2006, Hakodate, Japan [doi>10.1145/1160633.1160817]
	11	E. Allen Emerson, Temporal and modal logic, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	12	R. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189--208, 1971.
	13	Koen V. Hindriks , Frank S. de Boer , Wiebe van der Hoek , John-Jules Ch. Meyer, Agent Programming with Declarative Goals, Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages, p.228-243, July 07-09, 2000
	14	Koen Hindriks , Wiebe Hoek, GOAL Agents Instantiate Intention Logic, Proceedings of the 11th European conference on Logics in Artificial Intelligence, September 28-October 01, 2008, Dresden, Germany [doi>10.1007/978-3-540-87803-2_20]
	15	K. V. Hindriks and B. van Riemsdijk. Satisfying maintenance goals. In DALT'07, volume 4897, 2008.
	16	K. V. Hindriks and B. van Riemsdijk. Using temporal logic to integrate goals and qualitative preferences into agent programming. In DALT'08, 2008.
	17	Marta Cialdea Mayer , Carla Limongelli , Andrea Orlandini , Valentina Poggioni, Linear temporal logic as an executable semantics for planning languages, Journal of Logic, Language and Information, v.16 n.1, p.63-89, January 2007 [doi>10.1007/s10849-006-9022-1]
	18	G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.
	19	A. S. Rao and M. P. Georgeff. Intentions and Rational Commitment. Technical report, AAII, 1993.
	20	Raymond Reiter, The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression, Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy, Academic Press Professional, Inc., San Diego, CA, 1991
	21	Sebastian Sardina , Lavindra de Silva , Lin Padgham, Hierarchical planning in BDI agent programming languages: a formal approach, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, May 08-12, 2006, Hakodate, Japan [doi>10.1145/1160633.1160813]
	22	H. Simon. Bounded rationality and organizational learning. Organization Science, 2(1):125--134, 1991.
	23	Tran Cao Son , Enrico Pontelli, Planning with preferences using logic programming, Theory and Practice of Logic Programming, v.6 n.5, p.559-607, September 2006 [doi>10.1017/S1471068406002717]
	24	John Thangarajah , James Harland , David Morley , Neil Yorke-Smith, Suspending and resuming tasks in BDI agents, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, May 12-16, 2008, Estoril, Portugal
	25	W. M. P. van der Aalst and M. Pesic. DecSerFlow: Towards a truly declarative service flow language. In WS-FM'06, volume 4184 of LNCS, pages 1--23. Springer, 2006.
	26	M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative and procedural goals in intelligent agent systems. In KR2002, Toulouse, 2002.