A verification framework for agent programming with declarative goals

DOI10.1016/j.jal.2005.12.014zbMath1122.68078OpenAlexW2133881934MaRDI QIDQ2372188

Wiebe van der Hoek, John-Jules Ch. Meyer, Frank S. de Boer, Koen V. Hindriks

Publication date: 25 July 2007

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2005.12.014

zbMATH Keywords

beliefsagentsprogramming logicagent programming languagedeclarative goals

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in artificial intelligence (68T01)

Related Items

Bounded situation calculus action theories ⋮ Reasoning about Agent Programs Using ATL-Like Logics ⋮ Agent planning programs ⋮ Where logic and agents meet ⋮ HTN-like solutions for classical planning problems: an application to BDI agent systems ⋮ Combining Multiple Knowledge Representation Technologies into Agent Programming Languages ⋮ Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming ⋮ GOAL Agents Instantiate Intention Logic

Uses Software

• ConGolog
• AgentSpeak
• UNITY
• 3APL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Belief, awareness, and limited reasoning
• ConGolog, a concurrent programming language based on the situation calculus
• A logical approach to the dynamics of commitments
• Intention is choice with commitment
• On the logic of theory change: Partial meet contraction and revision functions
• Guarded commands, nondeterminacy and formal derivation of programs
• Reasoning about knowledge and probability

This page was built for publication: A verification framework for agent programming with declarative goals