Ordering Nonmonotonic Logic Program and its Application to Inductive Learning

有序非单调逻辑程序及其在归纳学习中的应用

• 批准号: 15500092
• 负责人: SAKAMA Chiaki
• 金额: $ 2.3万
• 依托单位: Wakayama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15500092/
• 关键词: default reasoning; nonmonotonic logic programming; program ordering; inductive logic programming; デフォルト理論; 多値論理; 順序化

First-order theories are ordered under logical entailment based on the amount of information derived from theories. In default logic, on the other hand, a theory contains default information as well as definite information. To order default theories, distinguishing different sorts of information is necessary to assess the information content of a default theory. For this purpose, we first introduce a multi-valued interpretation of default theories using a ten-valued bilattice. It distinguishes between definite and credulous/skeptical default information derived from a theory, and is used for ordering default theories based on their information contents. We then apply the technique to order nonmonotonic logic programs under the answer set semantics. The results of this research provide a method for comparing default theories or nonmonotonic logic programs in a manner different from the conventional extension/model-based viewpoint. Moreover, they have important application to induction from nonmonotonic theories.

一阶理论是在逻辑蕴涵的基础上根据理论推导出的信息量进行排序的。另一方面，在缺省逻辑中，一个理论包含缺省信息和确定信息。为了对缺省理论进行排序，区分不同类型的信息对于评估缺省理论的信息含量是必要的。为此，我们首先介绍了一个多值解释的默认理论使用十值双格。它区分来自理论的确定和轻信/怀疑的默认信息，并用于根据其信息内容对默认理论进行排序。然后，我们应用该技术，以回答集语义下的非单调逻辑程序。本研究的结果提供了一种方法比较默认理论或非单调逻辑程序的方式不同于传统的扩展/基于模型的观点。此外，它们对非单调理论的归纳有重要应用。

项目成果

Chiaki Sakama: "Proceedings of the 18th International Joint Conference on Artificial Intelligence"Morgan Kaufmann Publishers. 839-844 (2003)

Chiaki Sakama：《第18届国际人工智能联合会议论文集》摩根考夫曼出版社。

Ordering Default Theories and Nonmonotonic Logic Programs

排序默认理论和非单调逻辑程序

• 发表时间: 2005
• 期刊: Theoretical Computer Science (印刷中)
• 作者: 中瀬;梅村;Chiaki Sakama
• 通讯作者: Chiaki Sakama

Coordination between logical agents

逻辑代理之间的协调

• 发表时间: 2004
• 期刊: Proceedings of the 5^<th> International Workshop on Computational Logic in Multi-agent Systems
• 作者: Chiaki Sakama;Katsumi Inoue
• 通讯作者: Katsumi Inoue

Proceedings of the 18<th> International Joint Conference on Artificial Intelligence (IJCAI-03)

第十八届国际人工智能联合会议论文集（IJCAI-03）

• 发表时间: 2003
• 作者: Chiaki Sakama;Katsumi Inoue;Chiaki Sakama;Chiaki Sakama;Chiaki Sakama
• 通讯作者: Chiaki Sakama

Ordering default theories

排序默认理论

• 发表时间: 2003
• 期刊: Proceedings of the 18^<th> International Joint Conference on Artificial Intelligence
• 作者: Y.Shinozawa;A.Sakurai;Chiaki Sakama
• 通讯作者: Chiaki Sakama