权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

可能世界モデルに基づく知識の表現とメタ推論機構に関する研究

基于可能世界模型的知识表示和元推理机制研究

基本信息

批准号：
01633503
负责人：
原尾政輝
金额：
$ 1.22万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1989
资助国家：
日本
起止时间：
1989 至无数据
项目状态：
已结题

项目摘要

本研究では、論理を基にした有用な知識表現言語を設計し、高度な知的処理のためのメタ推論といった機構実現のための基礎理論を構築することが目的である。本年度は次の具体的課題について研究を行なった。1.知識表現言語の設計論:論理に様相や高階性の概念を導入し、多様な知識構造を表現可能な知識表現言語を設計する問題について考察し、論理の持つ理論的明快さを保ったまま知識のモジュ-ル構造や階層構造が表現可能なフレ-ム適論理型知識表現言語を具体的に構成した。2.ユニフィケ-ションアルゴリズムの研究:論理型知識表現言語による構文や証明機構と意味構造を結びつけるのがユニフィケ-ション操作であるとの観点から、高階論理におけるユニフィケ-ションアルゴリズムについて考察した。一般に2階以上の論理項間のユニフィケ-ションは非可解であるが、幾つかの可解なクラスや効率的アルゴリズム設計のための理論的性質を明らかにした。3.メタ推論機構の研究:論理の高階性や様相を基にして、知識のモジュ-ル構造、階層性を定義し、これをオブジェクトレベルとメタレベルの知識とみなす新しい観点からのメタ推論や類推といった処理機構を定式化した。このモデルを基に、意味構造に忠実で健全かつ完全な推論機構について幾つかの性質を明らかにした。4.知識処理システムの構成:新しく提案したメタ推論方式を回路の自動合成問題に応用し、具体的に類推による回路設計システムとして実現した。構成システムは、Prologで構成されているが、提案した方式が原理的に可能であることを検証した。

This study is based on logic, knowledge representation, language design, knowledge processing, inference, and organization theory. This year, we will conduct research on specific topics. 1. Design Theory of Knowledge Representation Speech: Logic and Higher-order Concept Introduction, Multi-knowledge Structure, Representation Possibility, Knowledge Representation Speech Design Problem Investigation, Logic and Holdness Theory Clarity, Knowledge Representation Possibility, Multi-knowledge Structure, Hierarchical Structure, Logical Knowledge Representation Speech, Concrete Structure 2. The research of the logical knowledge representation system: the logical knowledge representation system, the structure of the text, the proof mechanism, the structure of the meaning, the operation of the logical knowledge representation system, and the investigation of the higher-order logic system. Generally, the theoretical properties of the design of logic terms of order 2 and above are not solvable. 3. The research of inference mechanism: logic higher-order structure, knowledge structure, hierarchy definition, knowledge structure, knowledge structure, inference mechanism, etc. This is the basis of the meaning of the structure, the integrity of the inference mechanism, and the nature of the meaning. 4. The structure of knowledge processing system: new proposal, inference mode, automatic synthesis of loop, application, concrete analogy, loop design system, implementation The composition of the system, the Prolog of the system, the system, the system,