Intention is choice with commitment
Artificial Intelligence
A model-theoretic analysis of knowledge
Journal of the ACM (JACM)
Where there's a Will there's an agent
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Goal creation in motivated agents
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reasoning about knowledge
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Modal logic
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Dynamic Logic
Motivated Behavior for Goal Adoption
Selected Papers from the 4th Australian Workshop on Distributed Artificial Intelligence, Multi-Agent Systems: Theories, Languages, and Applications
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Rational action in agent programs with prioritized goals
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Reasoning about Agents in the KARO Framework
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Dynamic Logic for Plan Revision in Agent Programming
Journal of Logic and Computation
Dynamic Epistemic Logic
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Toward trustworthy adjustable autonomy in KAoS
Trusting Agents for Trusting Electronic Societies
A goal deliberation strategy for BDI agent systems
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Reasoning about strategies of multi-agent programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Hi-index | 0.00 |
An important problem in agent verification is a lack of proper understanding of the relation between agent programs on the one hand and agent logics on the other. Understanding this relation would help to establish that an agent programming language is both conceptually well-founded and well-behaved, as well as yield a way to reason about agent programs by means of agent logics. As a step toward bridging this gap, we study several issues that need to be resolved in order to establish a precise mathematical relation between a modal agent logic and an agent programming language specified by means of an operational semantics. In this paper, we present an agent programming theory that provides both an agent programming language as well as a corresponding agent verification logic to verify agent programs. The theory is developed in stages to show, first, how a modal semantics can be grounded in a state-based semantics, and, second, how denotational semantics can be used to define the mathematical relation connecting the logic and agent programming language. Additionally, it is shown how to integrate declarative goals and add precompiled plans to the programming theory. In particular, we discuss the use of the concept of higher-order goals in our theory. Other issues such as a complete axiomatization and the complexity of decision procedures for the verification logic are not the focus of this paper and remain for future investigation.