Logic programming for finding models in the logics of knowledge and its applications: A case study

Authors:
C. Baral;G. Gelfond;E. Pontelli;T. Son
Affiliations:
Department of computer science, arizona state university, az, usa;Department of computer science, arizona state university, az, usa;Department of computer science, new mexico state university, nm, usa;Department of computer science, new mexico state university, nm, usa
Venue:
Theory and Practice of Logic Programming
Year:
2010

Citing 10
Cited 3

Reasoning about knowledge

Reasoning about knowledge
Reasoning about knowledge: a survey

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Logic programs with stable model semantics as a constraint programming paradigm

Annals of Mathematics and Artificial Intelligence
The FaCT System

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Lotrec: The Generic Tableau Prover for Modal and Description Logics

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Bounded LTL model checking with stable models

Theory and Practice of Logic Programming
Domain-dependent knowledge in answer set planning

ACM Transactions on Computational Logic (TOCL)
Logics of communication and change

Information and Computation
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Perspectives on logic-based approaches for reasoning about actions and change

Logic programming, knowledge representation, and nonmonotonic reasoning
Combining answer set programming and prolog: the ASP-PROLOG system

Logic programming, knowledge representation, and nonmonotonic reasoning
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains

Correct Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

The logics of knowledge are modal logics that have been shown to be effective in representing and reasoning about knowledge in multi-agent domains. Relatively few computational frameworks for dealing with computation of models and useful transformations in logics of knowledge (e.g., to support multi-agent planning with knowledge actions and degrees of visibility) have been proposed. This paper explores the use of logic programming (LP) to encode interesting forms of logics of knowledge and compute Kripke models. The LP modeling is expanded with useful operators on Kripke structures, to support multi-agent planning in the presence of both world-altering and knowledge actions. This results in the first ever implementation of a planner for this type of complex multi-agent domains.