常識機能を実現するための不完全性を含む知識構造と操作メカニズムの研究

研究知识结构和运行机制，包括不完善之处，以实现常识功能

基本信息

批准号：
63633505
负责人：
石塚満
金额：
$ 1.28万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1988
资助国家：
日本
起止时间：
1988 至无数据
项目状态：
已结题

项目摘要

人間-機械間の円滑なコミュニケーションを達成するためには、相方での共通の知識、更には相方でのより広い範囲の常識の存在が不可欠になる。我々は、完全な知識(常に真である知識)に加えて、不完全な知識を含めて知識ベースを構成し、これを操作する高次推論により高次人工知能機能の実現を図ることが実用性を踏まえた上でも次世代知識ベースの基幹技術であると認識しており、常識機能の実現をこの線上に位置づけている。各種ある不完全な知識環境下での推論に関連する人工知能技術のうち、我々は将来の発展性、並びに実用性の点から論理に基づく仮説推論を出発点にしている。この枠組みに基づき、次の研究を行い成果を得た。1.仮説知識を含む知識べースで矛盾、冗長性を管理、調整する機構を開発した。2.論理に基づく仮説推論の基本的推論は Generate ＆ test であるが、これでは実用的に十分な速度が得られない。仮説の重み利用による優先的探索法、設計問題における制約式の緩和による探索法の高速化技術を開発と実装、数理計画法の適用による高速化の基礎検討を行った。同時に仮説推論を Horn 節論理で実現するときの Nagation as Failure の実現法を明らかにした。3.仮説推論が設計問題にも有効であることを、機能回路ブロック設計システムに適用し、具体的に示した。具体的な形で示したのは世界的にみても初めてである。4.仮説推論を拡張することにより常識機能の基礎となる類推について研究を進めた。今後、類推等の高次人工知能機能を順次加え、更に高速推論技術を進めることにより、発展させたい。

为了实现平稳的人机交流，至关重要的是，伴侣在伴侣甚至更广泛的常识中存在常识。我们认识到，即使就实用性而言，下一代知识基础的核心技术是构建一个知识基础，其中包括不完整的知识，并通过高阶推断实现高阶人工智能功能，即使实用，也可以实现这一目标，并在这一行上实现了共同的体积功能。在各种不完整的知识环境中与推理有关的各种人工智能技术中，我们从基于逻辑的假设推理就未来的发展和实用性开始。基于此框架，进行了以下研究并获得了结果。 1。我们已经开发了一种机制来管理和调整包括假设知识的知识基础中的矛盾和冗余。 2。基于逻辑的假设推理的基本推理是生成和测试，但实际上并不能提供足够的速度。我们通过使用假设的权重开发和实施了技术来加快搜索方法，并在设计问题中放宽约束表达式，以及通过应用数学编程方法来加快搜索方法的基本考虑。同时，我们已经澄清了如何在使用Horn Cales逻辑实现假设推理时将其视为失败。 3。假设推理的效果在设计问题中也有效，并且已在功能电路块设计系统中得到了专门显示。这是一个世界中第一次以具体形式显示。 4。对形成常识函数基础的类比的研究是通过扩展假设推理进行的。将来，我们希望通过逐渐添加类比，以及进一步促进高速推理技术等高阶人工智能功能来开发这种情况。