Computer Science – Artificial Intelligence
Scientific paper
2010-07-21
Theory and Practice of Logic Programming, Volume 10, Special Issue 4-6, July 2010, pages 675-690
Computer Science
Artificial Intelligence
16 pages, 1 figure, International Conference on Logic Programming 2010
Scientific paper
10.1017/S1471068410000359
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.
Baral Chitta
Gelfond Gregory
Pontelli Enrico
Son Tran Cao
No associations
LandOfFree
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-184338