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

様相概念を用いる知識のモジュール化とその処理に関する研究

基于模态概念的知识模块化及其处理研究

基本信息

批准号：
04229204
负责人：
米崎直樹
金额：
$ 1.09万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1991
资助国家：
日本
起止时间：
1991 至 1993
项目状态：
已结题

项目摘要

本研究では、様相を知識のモジュール化の基本とする概念記述のための論理体系と、概念モデルに関して研究を行ない以下の成果を得た。昨年度導入され、untilより記述能力が高いことが証明された時相オペレータMore Thanを含む時想論理の、充足可能性判定問題が決定可能であることを証明すると同時に、具体的な決定手続きを与えた。また、Linear Logicは、並列処理に関する様々な性質を記述可能であるが、このような論理の証明を、計算プロセスと見做すことが出来れば都合が良い。そこで非節形式の導出法を考案し、その完全性と健全性を示した。その規則は、自然な並列計算のモデルと見做すことが可能である。一方、記述された概念が、どのような外界からの入力に関しても、常に反応する計算オブジェクトとして実現可能であるかを判定することは、実際に正しい仕様を得るためにも重要である。ここでは様々な実現可能性に関する性質を定義し、その概念階層について考察すると同時に、各性質の判定アルゴリズムを与えた。以上扱ってきた論理は、様々な様相論理体系として翻訳可能であるが、その証明体系を一般的に考察しておくことは、実際的証明系を構成する際に重要である。これまでに提案してきた、様相記号列の統一化を基にした一般的な様相論理証明体系に、モデルに於ける可能世界間の到達関係が推移的である場合に有効な統一化のスキーマを導入した。このような体系における証明には、同一の式が何度も使われる場合が多いが、ここではそのような証明の圧縮を、様相記号列の統一化における、自己代入という概念で表現可能であることを示した。またこのような考え方をuntilオペレータを含む時相論理体系に適用した場合について考察した。さらに、人間の活動を含めた仕事のプロセスを一般的に表現可能な、タスク、エージェントプロダクトを基本オブジェクトとするデータモデルについて提案を行なった。

This study is based on the logical system of conceptual description of the basic concepts of knowledge and concepts, and the following results are obtained Last year's introduction of the ability to prove that the time phase is More Than the time to think about logic, sufficient possibility to determine the possibility of proof, at the same time, specific decisions Linear Logic, Parallel Processing, Property Description, Possible, Logical Proof, Computational, Possible, Possible, Possible A study of the non-nodal form of the derivation method, the completeness and soundness of the method The rules of nature are parallel to the calculation. When a party describes a concept, it is important to be honest and honest in reality because it is related to input from the outside world and often contradicts the computing environment. The possibility of this phenomenon is related to the definition of properties, the hierarchy of concepts, the determination of properties, and so on. The above logic system is very important for the general investigation of the possible proof system. This proposal is based on the general phase logic proof system, which is based on the transition of the possible world relationship. The proof of the system is the same as the proof of the system. The proof of the system is different from the proof of the system. The proof of the system is different from the proof of the system. This is the case until the logical system of time and phase is applied. In addition, the activities of the people include the general performance of the official, the basic performance of the official, and the basic performance of the official.