様相論理に基づく知識の表現と推論
スポンサーリンク
概要
- 論文の詳細を見る
In general, a knowledge representation system ought to have the ability for dealing with structured knowledge and metaknowledge. The system based on first-order logic has clear semantics, but lacks the flexibility for treating them. In this paper, we show that first-order modal logic is appropriate for dealing with them. A possible-world model used in modal logic can be regarded as structured knowledge directly, and modal operators can be used to describe various structural properties. In this paper, we introduce a new concept, "viewpoints of modality", which makes it easier to describe knowledge structure. Also, we show that schema formulas are useful for the description of metaknowledge, such as property inheritance. We construct a knowledge representation system which is based on a subset of first-order modal logic, and give a complete inference rule which is as effective as SLD resolution.
- 1988-05-20
著者
関連論文
- 様相論理に基づく論理型知識表現言語(計算アルゴリズムの基礎理論)
- 様相論理に基づく知識の表現と推論
- 非再帰的な述語サーカムスクリプションの一階論理式への等価変換
- 並列サーカムスクリプションのパラメーター消去手法
- 点別サーカムスクリプションに基づく孤立式の一般化
- 高階ユニフィケーションアルゴリズムの複雑さについて (関数型プログラミングと計算の基礎)
- 高階ユニフィケーションにおける可解なクラスと計算の複雑さ(アルゴリズムと計算量の理論)
- 高階論理ユニフィケーションを用いた知識処理(計算アルゴリズムと計算量の基礎理論)
- 定理証明的手法による再帰方程式から回路の自動設計
- 定理証明的手法を用いた回路自動設計のための変換規則--再帰方程式から回路記述への変換
- 回路自動合成のための推論機構(計算アルゴリズムの基礎理論)
- 時間と空間を扱う様相述語論理の不完全性とその相対的完全化
- 定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)
- プログラム理論と様相論理 (様相論理)