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

不完全情報下における知識の表現とモジュール化に関する研究

不完全信息下的知识表示与模块化研究

基本信息

批准号：
05213206
负责人：
稲垣康善
金额：
$ 1.09万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1992
资助国家：
日本
起止时间：
1992 至 1993
项目状态：
已结题

项目摘要

本研究では、不完全な情報下における知識の表現とモジュール化の過程の理論化を画ることを目的として、A.確率論理による知識表現とモジュール化、B.自己認識論理に基づく知識の表現とモジュール化、C.書換え型規則で与えられた知識のモジュール化とその部分評価、D.部分情報からの構造情報の抽出とそのモジュール化の5つの項目について研究を進めた。以下に、各項目毎に本年度の研究実績の概要を述べる。まず、A.については、最近、音声認識や言語処理の分野で注目されているHMM(隠れマルコフモデル)が確率オートマトンで表現できることを示し、その安定性について論じ、強安定であるための条件を明かにすると共に、その同定ならびに学習アルゴリズムについて検討し、いくつかの知見を与えた。B.については、多エージェント自己認識論理を用いた時空間的変化を伴う知識の表現法を明かにすると共に、リゾリューション原理に基づく手法と戦略を用いてその決定問題を解く能率の良いアルゴリズムを与えた。また、不完全な情報しか得られない過程として、談話のプロセスを取り上げ、発話の連続性と状況に基づく発話理解モデルを提案した。C.については、動的項書換えモデル(DTRC)を用いて書換え形規則で与えられるモジュールの機能的性質の証明を記述することによって、証明のプロセスに帰着できることを示した。また、オブジェクトのクラス定義から制約を導出しそれに基づいて型推論をする手法を明かにした。D.については、帳票文書のための書式構造知識の自動獲得の方法を明かにし、また、多種帳票文書の構造認識の手法へ拡張した。

This study is aimed at: (1) the representation of knowledge under incomplete information;(2) the theorization of the process of knowledge aggregation;(3) the partial evaluation of the representation of knowledge under certain logic conditions;(4) the representation of knowledge under self-knowledge theory;(5) the theory of knowledge aggregation;(6) the rules of book exchange; and (7) the theory of knowledge aggregation. D. Extraction of structural information from partial information and development of research projects The following is a summary of the research performance of each project for the year. A. Sound recognition and speech processing, attention, HMM(), accuracy, performance, stability, strong stability, conditions, learning, attention, attention. B. To solve the problem of knowledge, to solve the problem of knowledge. For example, incomplete information is obtained from the process, the conversation is selected from the upper part, the communication is connected to the lower part, and the communication is understood from the lower part. C. Description of the proof of the nature of the function of the document (DTRC). The definition of the term "restriction" is derived from the method of basic inference. D. The method of automatic acquisition of bibliographic structure knowledge of accounting documents shall be clarified.