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