強い否定と古典論理の否定をもつ一階述語論理(人工知能,認知科学)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では知識表現の考察に基づいて,強い否定と古典論理の否定の二つの否定演算子を導入した古典一階述語論理を形式化する.直観主義論理において提案された強い否定は,否定文を直接的に表すのに用いることができ,その意味論は二つの充足可能性関係を用いたクリプキモデルによって定義されている.しかしながら,その意味解釈や充足可能性は必ずしも知識表現における否定に合致しているとはいえない。特に〜を強い否定,「を古典論理の否定としたとき,〜「の形をした二重否定(本論文では,構成的な二重否定と呼ぶ)が適切に特徴づけられていない.そこで本論文では,構成的な二重否定に対する意味論を提案し,2種類の否定の組合せによる構成的な意味を特徴づける.提案した意味論と公理系により,強い否定と構成的な二重否定に関する知識表現と推論の例を示す.
- 2007-04-01
著者
関連論文
- 強い否定と古典論理の否定をもつ一階述語論理(人工知能,認知科学)
- 否定的意味が内在するソートを含んだソート階層の論理(システムLSIの設計技術と設計自動化)
- 法的推論のための論理型イベント言語(知識処理,インタラクションの理解とデザイン)
- オントロジーは人が書くべきか?(編集委員今年の抱負2009:経糸から横糸まで)
- 情報の信頼性分析に向けた評価データおよびプロトタイプシステムWISDOM
- 情報の信頼性分析に向けた評価データおよびプロトタイプシステムWISDOM(QA・Web検索)
- OWLの推論とその計算量(セマンティックWebと計算機科学)
- UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
- DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
- ファジィ記述論理(現実テキストからの知識表現と推論の実現)
- 特集「現実テキストからの知識表現と推論の実現」にあたって
- 人工知能に論理は必要か?(編集委員2007年の抱負)
- 形式オントロジーと順序ソート論理の拡張
- オントロジー構築に対する概念階層の整合性
- 形式オントロジーによる順序ソート論理の拡張 (特集 オントロジー)
- ソート述語を導入した論理プログラミングの完全性
- ソートと述語の二つの階層をもつ論理のホーン節計算の完全性
- イベントとプロパティの区別を導入した型階層論理
- 法律知識の事象的/属性的読みを区別した推論システム
- 語彙項目の否定を導入した推論機構
- 述語の型階層と二面性を導入した状況推論システム (&特集>「記号論理とAI」)