仮説推論による論理プログラム生成の研究

基于假设推理的逻辑程序生成研究

• 批准号: 05780298
• 负责人: 酒井 浩
• 金额: $ 0.58万
• 依托单位: Kyushu Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780298/
• 关键词: 論理プログラム; 仮説推論; 不完全情報; 知識ベース; エキスパートシステム; 演繹データベース; 様相論理

本研究では,最初に不完全な知識による不完全な論理プログラムを仮定し,正データや負データをシステムに与え矛盾が生じないようにして逐次的に完全な論理プログラムを得る手続きを問題としている.この目的に対して,プログラムの自動生成の枠組みまではまだ到達していない.しかし,いくつかの基本的な処理系の実現について裏面の研究発表欄に記述したように多くの結果を得ている.以下の3点がその主な内容である.(1)論理プログラムの一拡張として提案しているLPII(Logic Programming with Incomplete Information,不完全な情報も扱う論理プログラミング)に対する処理系の実現ができた.本処理系は,仮説を用いる推論部,プログラムから確定節と仮説を自動生成する変換部によって構成されている.変換部を実現できたことで,同一のプログラムに対して異なる3つの観点に基づく処理が可能になった.(2)LPIIの処理系を基にした簡単なエキスパートシステムを作成し,あいまいな情報の下での割当問題等を解かせることができた.(3)LPIIに対して様相性をもった解釈を導入し,選言論理プログラムの枠組みとの違いを明確にした.今回の研究では基本的な処理系の実現に力点を置いたが,本処理系を論理プログラム生成に応用することが次の問題である.

在这项研究中，我们首先假设一个具有不完整知识的逻辑程序，并向系统提供正面和负面数据，以确保没有矛盾，并依次获得完整的逻辑程序。为此，我们尚未达到自动程序生成的框架。但是，如页面背面的研究演示部分所述，我们获得了许多结果。主要内容是以下三个点：（1）具有不完整（LPII）的逻辑编程，该编程是作为逻辑程序的扩展而提出的。实现了处理不完整信息的信息，逻辑编程。该系统由使用假设的推理单元组成，该推理单元，一个自动从程序中生成确定的条款的变换单元，以及一个自动生成假设的转换单元，自动生成了基于三个不同的处理系统的转换单元的实现。 （3）为LPII引入了自适应解释，并阐明了分歧逻辑程序框架的差异之间的差异。在这项研究中，重点是实现基本的处理系统，但下一个问题是将该系统应用于逻辑程序生成。

项目成果

Hiroshi Sakai: "Hypothetical Reasoning with Modalities on Some Integrity Constraints" Proc.Int.Conf.on Expert Systems for Development. (to appear). (1994)

Hiroshi Sakai：“基于某些完整性约束的模态的假设推理”Proc.Int.Conf.on 专家系统开发。

Hiroshi Sakai: "A Knowledge Base System Handling Incomplete Information" AI´93(Eds.C.Rowle),World Scientific Publishing. 181-190 (1993)

Hiroshi Sakai：“处理不完整信息的知识库系统”AI´93（Eds.C.Rowle），世界科学出版社 181-190（1993）。

Hiroshi Sakai: "On Two Proof Procedures for Uncertain Knowledge" Proc.Japan/Korea Joint Conf.on Expert Systems. (to appear). (1994)

Hiroshi Sakai：“关于不确定知识的两种证明程序”Proc.Japan/Korea Joint Conf.on Expert Systems。

Hiroshi Sakai: "A Prototype of Or-type Knowledge Base Systems" Proc.2nd Int.Conf.Information Systems & Management of Data. 161-173 (1993)

Hiroshi Sakai：“Or 型知识库系统的原型”Proc.2nd Int.Conf.Information Systems

酒井,浩: "不完全情報も扱う論理プログラミングLPIIにおける意味論について" 情報処理学会論文誌. (掲載決定).

Hiroshi Sakai：“论处理不完整信息的逻辑编程 LPII 的语义”，日本信息处理学会汇刊（决定出版）。