Observation-Based logic of knowledge, belief, desire and intention

Authors:
Kaile Su;Weiya Yue;Abdul Sattar;Mehmet A Orgun;Xiangyu Luo
Affiliations:
Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia;Department of Computer Science, Sun Yat-sen University, Guangzhou, China;Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia;Department of Computing, Macquarie University, Sydney, Australia;Department of Computer Science, Sun Yat-sen University, Guangzhou, China
Venue:
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Year:
2006

Citing 20
Cited 1

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
The complexity of reasoning about knowledge and time

STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Intention is choice with commitment

Artificial Intelligence
A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols

Journal of the ACM (JACM)
Agent-oriented programming

Artificial Intelligence
Reasoning about knowledge

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
Tractable multiagent planning for epistemic goals

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Alternating-time temporal logic

Journal of the ACM (JACM)
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
On the Relationship Between BDI Logics and Standard Logics of Concurrency

Autonomous Agents and Multi-Agent Systems
Model Checking Knowledge and Time

Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Model checking agentspeak

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Computationally Grounded Theories of Agency

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Complete Axiomatizations for Reasoning about Knowledge and Time

SIAM Journal on Computing
Symbolic Model Checking the Knowledge of the Dining Cryptographers

CSFW '04 Proceedings of the 17th IEEE workshop on Computer Security Foundations
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model checking temporal logics of knowledge in distributed systems

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Observation-based model for BDI-agents

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
A model-theoretic approach to the verification of situated reasoning systems

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

A modal logic for beliefs and pro attitudes

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new model of knowledge, belief, desire and intention, called the interpreted KBDI-system model (or KBDI-model for short). The key point of the interpreted KBDI-system model is that we express an agent’s knowledge, belief, desire and intention as a set of runs (computing paths), which is exactly a system in the interpreted system model, a well-known agent model due to Halpern and his colleagues. Our KBDI-model is computationally grounded in that we are able to associate a KBDI-model with a computer program, and formulas, involving agents’ knowledge, belief, desire (goal) and intention, can be understood as properties of program computations. With KBDI-model, we have two different semantics to interpret our logic of knowledge, belief, desire and intention. Moreover, with respect to each semantics, we present a sound and complete proof system.