Logic programming for finding models in the logics of knowledge and its applications: a case study
From MaRDI portal
Publication:3585176
DOI10.1017/S1471068410000359zbMATH Open1213.68168arXiv1007.3700OpenAlexW3099531604MaRDI QIDQ3585176FDOQ3585176
Authors: Gregory Gelfond, Enrico Pontelli, Chitta Baral, Tran Cao Son 
Publication date: 19 August 2010
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1007.3700
Recommendations
- scientific article; zbMATH DE number 1738683
- A logic programming approach to knowledge-state planning, semantics and complexity
- A logico-algebraic approach to the model theory of knowledge
- Planning using dynamic epistemic logic: correspondence and complexity
- Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
Cites Work
- Logics of communication and change
- Logics for epistemic programs
- Logic programs with stable model semantics as a constraint programming paradigm
- Dynamic epistemic logic
- Bounded LTL model checking with stable models
- Domain-dependent knowledge in answer set planning
- A theory of knowledge and ignorance for many agents
Cited In (8)
- Title not available (Why is that?)
- Embedding Logics in the Local Computation Framework
- An action language for multi-agent domains
- Title not available (Why is that?)
- Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
- Title not available (Why is that?)
- Answer set programming and planning with knowledge and world-altering actions in multiple agent domains
- Solving distributed constraint optimization problems using logic programming
Uses Software
This page was built for publication: Logic programming for finding models in the logics of knowledge and its applications: a case study
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585176)
