Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

DOI10.1007/978-3-540-93920-7_14MaRDI QIDQ3601793zbMATH OpenOpenAlexFDO

Authors Koen Hindriks, M. Birna van Riemsdijk

Publication date 12 February 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-93920-7_14

Mathematics Subject Classification ID

Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Recommendations

• Programming rational agents in GOAL
• A declarative agent programming language based on action theories
• CTL AgentSpeak(L): A specification language for agent programs
• BDI agents with objectives and preferences
• AI 2005: Advances in Artificial Intelligence

Cites work

• A heuristic search approach to planning with temporally extended preferences
• A verification framework for agent programming with declarative goals
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2080355 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• Monitoring of Real-Time Properties
• Multi-Agent Programming
• Planning with preferences using logic programming
• STRIPS: A new approach to the application of theorem proving to problem solving
• Using temporal logics to express search control knowledge for planning

Cited in

(6)

• BDI agents with objectives and preferences
• Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
• Agent deliberation in an executable temporal framework
• Refining autonomous agents with declarative beliefs and desires
• Computational Logic in Multi-Agent Systems
• GOAL Agents Instantiate Intention Logic

This page was built for publication: Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3601793)