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

順序ソート型理論に基づく知識表現と推論に関する研究

基于有序排序型理论的知识表示与推理研究

基本信息

批准号：
10878055
负责人：
原尾政輝
金额：
$ 1.28万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Exploratory Research
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 1999
项目状态：
已结题

项目摘要

型間に順序構造を導入した順序ソート型理論はフレーム的知識表現構造と継承機構を形式化するために有用であることが指摘され,新しい言語や知識処理モデルが研究されている。本研究は,順序ソート型理論をベースに人工知能のためのフレーム構造知識表現と継承機構を備えた推論処理を形式化し実現する観点から考察を行った。まず,単純型付きラムダ計算体系を基に順序ソート型理論の定式化を行い,従来の非整合的な問題点をなくすために,新しく制限関数の概念に基づいた部分型関係を導入し,ラムダ計算の演算規則や代入法則などの基本的性質を明らかにすると共に,変数変換によって継承機構を整合的に実現するラムダ計算体系を定義した。また,型を概念に部分型関係を概念間の順序構造と見なす観点から階層的知識表現としての性質を考察し,部分型による型推論規則を与え,型継承に基づく推論処理ととしての性質を明らかにした.次いで,推論処理を自動化する上で高階単一化が重要な問題であるが,順序ソートの場合には確立されていない。一般の高階単一化は計算不能であり実用の観点からもあまりにも範囲が広すぎる.そのため,本研究では2階論理式のマッチングに焦点を絞り効率的アルゴリズムの設計の観点からの研究を行った.順序を考慮しない場合は多項式計算量のヒューリスティックを導入したアルゴリズムが得られた.更に順序構造を導入した2階述語マッチングへの拡張を行った。また,高階一般化についても多層型の概念を用いて,知識の抽象化や一般化の観点から一つの手法を与えた。これらの結果を用いて,順継承や型変換の機能を備えたモジュール理論などの考察も行い,人工知能基礎論における知識表現と推論に新しい理論展開を行った。

The knowledge expression structure and the form of the pattern theory and the knowledge expression structure of the model sequence structure and the introduction mechanism化するために Useful であることがPoint out され, New しいlanguage やKnowledge processing モデルがStudy されている. This research is based on the sequential type theory and the artificial knowledge of artificial knowledge. Expression and inheritance organization, preparation and inference processing, formalization and presentation, inspection and execution.まず, the formalization of the simple type calculation system をbased sequence にート type theory を行い,従来The problem of non-integration is the problem, the concept of the new limit is the partial relationship.をImportし,ラムダcalculationのCalculation rulesやSubstitution ruleなどのBasic propertiesを明らかにするとIn total, the computing system that has been integrated with the digital transformation system has been defined.また, type を concept に partial type relationship を sequence construction between concepts と见なす観Point から knowledge expression of hierarchy としての properties を investigation し, part type による type inference rules を and え, type 継成にbased づくThe nature of inference processing is clear, and the inference processing is automated. High-level unitization is an important issue and the order is established when the situation is established. Generally, high-order simplification calculations cannot be used in the calculation of high-order simplification.め, This study focuses on the efficiency of the second-order theoretical formula and the efficiency of the second-order theoretical formula.のResearch を row った. Sequence を Consider しない occasions は Polynomial calculation quantity のヒューリスティックをImport したアルゴリズムが得られた. Change the sequential construction of を import した 2nd level predicate マッチングへの拡张を行った.また, High-order generalization についてもMulti-layer type のconcept をいて, Knowledge のabstraction やgeneralization の観Point から一つのtechnique を and えた.これらのRESULTS Observation and execution, Artificial Intelligence Basic Theory and Knowledge Expression and Inference, New Theory Development and Execution.