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

オントロジー指向による論理体系の研究

面向本体的逻辑系统研究

基本信息

批准号：
14780311
负责人：
兼岩憲
金额：
$ 2.05万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2004
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14780311/
关键词：
オントロジー知識ベースシステム Description Logic 順序ソート論理

项目摘要

昨年度は、オントロジーを構築する概念階層の多様性について分析し、多様性から生じる概念記述とその推論の難しさを扱う方法論を提案した。平成16年度は、形式オントロジーで提案されている属性分類の考え方を順序ソート論理に取り入れ、それによって拡張される知識ベース推論の枠組みを提案した。研究成果の詳細は、以下の通りである。順序ソート論理においてソートと単項述語は意味論的に同等と見なされるが、形式オントロジーではそれらは異なった種類の属性として分類される(例えば、ソートと非ソートの区別)。こうしたオントロジー的な概念分析は、知識表現と推論の中で個体の属性(またはソート)を扱うのに有用な指針を与えてくれる。本研究では、形式オントロジーの属性分類を取り込むことで順序ソート論理の構文、意味論および推論システムを拡張する方法を提案した。この拡張順序ソート論理は、本質ソート、非本質ソートおよび非ソート属性に分類される概念を、タイプ(rigidソート)、non-rigidソートおよび単項述語で表した上で、インスタンス言明と包摂関係のrigidityを考慮して形式化される。さらに本質属性が状況などに依存しないで永久的に成り立つ性質を利用して、独立した複数の知識ベースを想定したとき、各知識ベースが(共通の知識として)rigidな属性情報を他の知識ベースから抽出できる推論メカニズム(本質属性の導出と呼ぶ)を設計した。

This year, we propose a methodology for constructing conceptual hierarchy, analyzing diversity, describing diversity, and deducing diversity. Heisei 16 years ago, the form of the proposal, the attribute classification of the examination, the order of the logic, the introduction of the knowledge, the deduction of the group proposal The research results are detailed below. The order of logic is different from that of logic. Concept analysis, knowledge representation, inference, individual attributes, useful pointers, etc. This study proposes a method for the classification of formal attributes, order, logical structure, meaning, and inference. The order of the expression is logical, intrinsic, non-intrinsic, and non-intrinsic. The concept, rigid, non-rigid, and simple expressions are formalized in terms of the rigidity of the expression. The essential attributes are dependent on each other and permanent. The essential attributes are independent of each other and independent of each other. The essential attributes are independent of each other. The essential attributes are independent of each other. The essential attributes are independent of each other.