基于最小变化公式的逻辑编程软件演化模型研究-猫眼课题宝

基于最小变化公式的逻辑编程软件演化模型研究

批准号：

09245201

负责人：

佐藤健

金额：

$1.28万

依托单位：

Hokkaido University

依托单位国家：

日本

项目类别：

Grant-in-Aid for Scientific Research on Priority Areas

财政年份：

1997

资助国家：

日本

项目状态：

已结题

起止时间：

1997 至 --

来源：

https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09245201/

关键词：

極小変更ソフトウェア発展デフォルト仮説論理プログラミング極小限定

项目摘要

项目成果

佐藤健的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

我々は,以前,極小変化に基づく知識の更新について極小限定(Circumscription)に基づいて定式化する方法を検討し,その方法による更新の性質について研究を行った.その方法は,新しい情報が追加されたときに,知識の変化がその情報に矛盾している部分のみに限定されるというものである.上記更新の定式化は,プログラム更新の定式化とみなすこともできる.なぜなら,知識を表現する論理式がホーン節の連言であれば,それは論理プログラムとして見なすことができるため上記知識の更新は,論理プログラムの更新と考えられるからである.しかしながら,この定式化は第二階述語論理で記述されているため一般的には,計算可能ではなかった.以上の背景を踏まえ,本研究の目的を,以下の2点に設定した.1.上で述べた極小変更に基づく知識の更新の定式化を用いて論理プログラミングの発展モデルを構築する.2.本定式化において計算可能であるクラスを同定し,実現可能な論理プログラム発展機構を明らかにする.本研究の成果は以下である.1.論理プログラミングの適切な更新理論として,論理的モデルレベルの極小変更ではなく,論理式の成否レベルの極小変更を考案した.2.論理プログラミングにおいては,上記,極小変更は,変更可能なルールをデフォルトとし,変更不可能なルールを公理としたときの極小限定に対応することを明らかにした.3.本変更の計算を仮説論理プログラミングに対応させ,どのルールを消去すべきかを仮説として用いることで,極小変更すべきルールの同定を可能にした.この実現により,計算可能なクラスの同定に関する知見を得た.

期刊论文(1)

专著(0)

科研奖励(0)

会议论文

佐藤健: "事例ベース推論における動的類似性の仮説論理プログラミングによる実現" 人工知能学会誌. 12・6. 901-910 (1997)

Ken Sato：“使用假设逻辑编程实现基于案例的推理中的动态相似性”日本人工智能学会杂志 12・6（1997 年）。

DOI： --

发表时间：

期刊：

影响因子： --

作者：

[]