Using temporal logic to integrate goals and qualitative preferences into agent programming

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

Volumn 5397 LNAI, Issue , 2009, Pages 215-232

  Hindriks, Koen V ^a   Van Riemsdijk, M Birna ^b  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROGRAMMING THEORY; TEMPORAL LOGIC;

AGENT PROGRAMMING LANGUAGES; AGENT SYSTEMS; AGENT-PROGRAMMING; DESIGN OBJECTIVES; HARD CONSTRAINTS; RATIONAL AGENTS; SOFT CONSTRAINTS; UNIFORM FRAMEWORKS;

AGENTS;

EID: 59049101340     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-93920-7_14     Document Type: Conference Paper

References (15)

1. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 166 (2000)
2. Baier, J.A., Bacchus, F., Mcllraith, S.A.: A heuristic search approach to planning with temporally extended preferences. In: IJCAI, pp. 1808-1815 (2007)
3. Bauer, A., Leucker, M., Schallhart, C: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260-272. Springer, Heidelberg (2006)
4. Bienvenu, M., Fritz, C, Mcllraith, S.A.: Planning with qualitative temporal preferences. In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 134-144 (2006)
5. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)
6. Brewka, G.: A rank based description language for qualitative preferences. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pp. 303-307 (2004)
7. de Boer, F., Hindriks, K., van der Hoek, W., Meyer, J.-J.: A Verification Framework for Agent Programming with Declarative Goals. Journal of Applied Logic 5, 277-302 (2007)
8. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, pp. 996-1072. Elsevier, Amsterdam (1990)
9. Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189-208 (1971)
10. Fritz, C, Mcllraith, S.A.: Decision-theoretic golog with qualitative preferences. In: KR, pp. 153-163 (2006)
11. Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)
12. Hindriks, K.: Modules as Policy-Based Intentions: Modular Agent Programming in GOAL. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS, vol. 4908, pp. 156-171. Springer, Heidelberg (2008)
13. Hindriks, K., van Riemsdijk, B.: Satisfying Maintenance Goals. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS, vol. 4897, pp. 86-103. Springer, Heidelberg (2008)
14. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C, Lespérance, Y. (eds.) ATAL 2000. LNCS, vol. 1986, pp. 228-243. Springer, Heidelberg (2001)
15. Son, T.C., Pontelli, E.: Planning with preferences using logic programming. Theory and Practice of Logic Programming 6(5), 559-607 (2006)