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

C. BARAL; G. GELFOND; E. PONTELLI; T. SON

首页> 外文期刊>Theory and Practice of Logic Programming >Logic programming for finding models in the logics of knowledge and its applications: A case study

【24h】

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

机译：在知识逻辑及其应用中寻找模型的逻辑编程：一个案例研究

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：知识逻辑是模态逻辑，已被证明可以有效地表示和推理多主体领域中的知识。已经提出了相对较少的用于处理模型的计算和知识逻辑中的有用变换的计算框架（例如，以知识动作和可见度来支持多主体计划）。本文探讨了使用逻辑编程（LP）来编码有趣的知识逻辑形式并计算Kripke模型的方法。 LP建模通过Kripke结构上的有用运算符进行了扩展，以在存在世界变更和知识行动的情况下支持多主体规划。这将导致针对这种类型的复杂多主体域的计划程序的首次实施。

著录项

来源
《Theory and Practice of Logic Programming》 |2010年第6期|P.675-690|共16页
作者
C. BARAL; G. GELFOND; E. PONTELLI; T. SON;
展开▼
作者单位

Department of Computer Science, Arizona State University, AZ, USA;

rnDepartment of Computer Science, Arizona State University, AZ, USA;

rnDepartment of Computer Science, New Mexico State University, NM, USA;

rnDepartment of Computer Science, New Mexico State University, NM, USA;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
planning; multi-agents; modal logics;

机译：规划;多主体模态逻辑;

相似文献

外文文献
中文文献
专利

1. Programmable logic from prototype to production - For a wide range of portable applications, programmable logic fills the bill [J] . John Donovan Portable Design: The Engineer's Resource for Portable Applications . 2005,第9期

机译：从原型到生产的可编程逻辑-对于广泛的便携式应用，可编程逻辑可满足您的需求
2. Knowledge-based security testing of web applications by logic programming [J] . Zech Philipp, Felderer Michael, Breu Ruth International Journal on Software Tools for Technology Transfer . 2019,第2期

机译：通过逻辑编程对Web应用程序进行基于知识的安全性测试
3. Embedding Nonground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination [J] . JOS DE BRUIJN, THOMAS EITER, AXEL POLLERES, ACM transactions on computational logic . 2011,第3期

机译：将非基础逻辑程序嵌入到用于知识组合的自流行逻辑中
4. Development of Learning Media (Programmable Logic Controller) as a Case Study of Sorting Machine Applications on Electronics Engineering Education Study Program Faculty of Engineering Universitas Negeri Yogyakarta [C] . E. S. Lukito, F Arifin, P Walipranoto International Conference on Online and Blended Learning . 2020

机译：学习媒体（可编程逻辑控制器）作为对电子工程教育研究计划学院分拣机应用的案例研究Negeri Yogyakarta
5. Conditional probabilistic logic programming for probability model construction with application to decision-theoretic planning. [D] . Ngo, Liem Huu. 1997

机译：用于概率模型构建的条件概率逻辑编程，并应用于决策理论规划。
6. Knowledge Discovery in Variant Databases Using Inductive Logic Programming [O] . Hoan Nguyen, Tien-Dao Luu, Olivier Poch, 2013

机译：使用归纳逻辑编程的变体数据库中的知识发现
7. Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study [O] . Baral, Chitta, Gelfond, Gregory, Pontelli, Enrico, 2010

机译：知识逻辑中模型寻找的逻辑程序设计应用：案例研究

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

摘要

著录项

相似文献

相关主题

期刊订阅