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

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

• 批准号: 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に対して様相性をもった解釈を導入し,選言論理プログラムの枠組みとの違いを明確にした.今回の研究では基本的な処理系の実現に力点を置いたが,本処理系を論理プログラム生成に応用することが次の問題である.

This study で は, initially に incomplete knowledge な に よ る incomplete な logical プ ロ グ ラ ム を 仮 し, are デ ー タ や negative デ ー タ を シ ス テ ム に and え contradictions が じ な い よ う に し て successive に な completely logical プ ロ グ ラ ム を have る hand 続 き を problem と し て い る. こ の purpose に し seaborne て, プ ロ グ ラ ム の automatically generated の 枠 group み ま で は ま だ Reach し て い な い. し か し, い く つ か の basic な 処 principle is の be presently に つ い て in の research 発 account table column に し た よ う に く more the result of の を て い る. の below 3 points が そ の main な content で あ る. (1) logical プ ロ グ ラ ム の a company, zhang と し て proposal し て い る LPII (Logic Programming with Incomplete Information, incomplete な information な handling う theory プログラ プログラ プログラ グ)に to する processing is <s:1> actual situation がで た た た. This は 処 manage department, said 仮 を with い る inference, プ ロ グ ラ ム か ら section determine と 仮 said を automatically generated す る variations in department に よ っ て constitute さ れ て い る. Variations in department を be presently で き た こ と で, same の プ ロ グ ラ ム に し seaborne て different な る 3 つ の 観 に base づ く 処 Richard が may に な っ た. (2) the LPII の 処 Richard を basic に し た Jane 単 な エ キ ス パ ー ト シ ス テ ム を し consummate, あ い ま い な intelligence under の で の cut when problems such as を solution か せ る こ と が で き た. (3) the LPII に し seaborne て Others in photograph sex を も っ た solution 釈 を import し, disjunctive logical プ ロ グ ラ ム の 枠 group み と の violations い を clear に し た. Today back の research で は basic な 処 principle is の be に point を now buy い た が, this 処 principle is を logical プ ロ グ ラ ム generated に 応 with す る こ と が times の problem で あ る.

项目成果

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 的语义”，日本信息处理学会汇刊（决定出版）。