课题基金 / 基金详情

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

仮説推論による論理プログラム生成の研究
基于假设推理的逻辑程序生成研究
批准号：
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に対して様相性をもった解釈を導入し,選言論理プログラムの枠組みとの違いを明確にした.今回の研究では基本的な処理系の実現に力点を置いたが,本処理系を論理プログラム生成に応用することが次の問題である.
英文摘要
本研究では,最初に不完全な知識による不完全な論理プログラムを仮定し,正データや負データをシステムに与え矛盾が生じないようにして逐次的に完全な論理プログラムを得る手続きを問題としている.この目的に対して,プログラムの自動生成の枠組みまではまだ到達していない.しかし,いくつかの基本的な処理系の実現について裏面の研究発表欄に記述したように多くの結果を得ている.以下の3点がその主な内容である.(1)論理プログラムの一拡張として提案しているLPII(Logic Programming with Incomplete Information,不完全な情報も扱う論理プログラミング)に対する処理系の実現ができた.本処理系は,仮説を用いる推論部,プログラムから確定節と仮説を自動生成する変換部によって構成されている.変換部を実現できたことで,同一のプログラムに対して異なる3つの観点に基づく処理が可能になった.(2)LPIIの処理系を基にした簡単なエキスパートシステムを作成し,あいまいな情報の下での割当問題等を解かせることができた.(3)LPIIに対して様相性をもった解釈を導入し,選言論理プログラムの枠組みとの違いを明確にした.今回の研究では基本的な処理系の実現に力点を置いたが,本処理系を論理プログラム生成に応用することが次の問題である.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
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 专家系统开发。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Machine learning from incomplete information table by rule generation and its application
  • 批准号：
    20K11954
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.75万
  • 财政年份：
    2020
  • 负责人：
    酒井 浩
  • 依托单位：
    Kyushu Institute of Technology
作業療法に用いる作業の特性の違いと脳内準備活動について-脳磁場計測による検討-
  • 批准号：
    16700404
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $2.37万
  • 财政年份：
    2004
  • 负责人：
    酒井 浩
  • 依托单位：
    Kyoto University
Rough Set理論による論理プログラムの枠組みとその応用
  • 批准号：
    07780338
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $0.58万
  • 财政年份：
    1995
  • 负责人：
    酒井 浩
  • 依托单位：
    Kyushu Institute of Technology
不完全な情報を含む知識ベースシステムの研究
  • 批准号：
    01780049
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $0.45万
  • 财政年份：
    1989
  • 负责人：
    酒井 浩
  • 依托单位：
    Kyushu Institute of Technology
海外基金