Web Reasoning and Rule Systems
Web Reasoning and Rule Systems
本書は、2011年8月にアイルランドのゴールウェイで開催された第5回Web Reasoning and Rule Systems国際会議RR 2011の査読付きプロシーディングスである。本書は、2011年8月にアイルランドのゴールウェイで開催された第5回Web Reasoning and Rule Systems国際会議RR 2011の査読付きプロシーディングスであり、フルペーパー13編、ショートペーパー12編、招待講演2編を収録している。論文では、セマンティックWebの最新のトピック、RDFやOWLなどのよく確立されたWeb言語と古典的な推論アプローチの間の相互作用、推論言語、クエリと最適化、ルールとオントロジーを扱っている。
contents
Exchanging More Than Complete Data
従来のデータ交換の設定では、ソース・インスタンスは、これらのインスタンスにおいてすべてのファクトが真または偽のいずれかであるという意味で、完全であるように制限されています。典型的なデータベース変換シナリオでは当然のことですが、この制限は、複数の解釈を許容するオブジェクトを交換する必要がある幅広いアプリケーションの開発にとって、次第に障害となりつつあります。特に、不完全な情報の交換と知識ベースの交換という、通常のデータ交換のシナリオを超える2つの具体的なアプリケーションに動機づけられている。
本講演では、これら2つのアプリケーションに対応できるデータ交換の一般的なフレームワークを提案する。具体的には、完全なインスタンスの有限な記述である表現システムが与える情報を交換する問題を取り上げ、不完全な情報を交換する問題や知識ベースを交換する問題に適用することで、提案の頑健性を示す。
Paraconsistent Semantics for Hybrid MKNF Knowledge Bases
ハイブリッドMKNF知識ベースは、もともと安定モデル意味論に基づいており、ルールと記述論理（DL）を組み合わせた成熟した手法である。このような知識ベースは、推論の効率化のために、根拠のある意味論が提案されている。しかし、ルールとDLの統合は、それぞれ整合性がとれていても、矛盾を引き起こす可能性がある。そのため、従来の2つの意味論に基づく推論システムは破綻してしまう。本論文では、Belnapによって提案された4値論理を採用し、ハイブリッドMKNF知識ベースに対して、矛盾を検出し、効果的に処理することができる並列無矛盾なセマンティクスを提示する。また、我々の提案する意味論は、線形変換演算子を介して安定モデル意味論に変換され、我々のパラダイムにおけるデータ複雑度が古典的推論よりも高くないことを示す。さらに、パラコンシステントMKNFモデルを計算するためのフィックスポイントアルゴリズムを提供する。
本稿では、ルールベースの推論装置で使用されるような論理データベースにおいて、実体化されたビューの変更を計算するための新しいインクリメンタルアルゴリズムを紹介する。このような推論器は、派生アトムの実体化の存在下で公理を変更する問題に対処しなければならない。既存のアプローチには欠点がある：ソースプログラムがDatalog¬であるのに対して、Datalog¬である大きな変換されたプログラムを生成し、評価する必要があるものや、述語の拡張のほんの一部だけが変更によって影響を受けるとしても、その拡張全体を再計算するものがある。この論文で紹介する方法は、この2つの欠点を克服するものである。
Reasoning with Actions in Transaction Logic
本稿では、TR PAD（Transaction Logic with Partially Defined Actions）-複合アクションの効果を推論するための表現力豊かなフォーマリズム-を紹介する。TR PADはTransaction Logicのサブセットに基づいているが、元のTransaction Logicのデータと遷移式を一般化した特別な前提式で拡張している。我々は、TR PADのための健全で完全な証明理論を開発し、多くの非自明な例でその形式論を説明する。さらに、TR PADの大部分が通常の論理プログラミングに還元可能であり、この還元が健全かつ完全であることを示す。
An Ontological Approach for Modeling Technical Standards for Compliance Checking
本論文では、フランスの建築産業科学センター（CSTB）における技術評価の実施を支援するために、太陽光発電分野のいくつかの規制をモデル化する、形式的なセマンティックベースのアプローチの概要を示す。規制のテキストから出発して、まずSBVRルールを明示し、次にそれらをSPARQL言語のオントロジーベースのルールに形式化する。これらは、技術評価の実施に必要なコンプライアンス・チェック・プロセスのモデリングに活用される。
RDF Semantics for Web Association Rules
我々は、RDFSクラスの集合間の関連について保持するルールのアサーションを許容するRDFSの語彙拡張を提示し、クラスサブ仮定やインスタンス型付けと相互作用しながら、コンテキスト、サポート、確信度を伴う関連ルールに一般的に与えられる意味を適切に捉える言語拡張のステートメントに実世界のセマンティクスを与える。さらに、アソシエーションルールの包含問題に対する健全で完全な手続きを示す。
Root Justifications for Ontology Repair
オントロジー（用語集、知識ベースとも呼ばれる）は、あるドメイン（知識分野）を表現するために使用される実体である。通常、オントロジーの構成要素には、カテゴリー（概念）、関係（役割）、オブジェクト（個体）が含まれる。
記述論理（DL）は、オントロジーを形式化し、推論するのに適した知識表現言語のクラスである[1]。推論プロセスは、選択されたDL推論者によって実行される。我々はDLの包括的な紹介はしないが、読者にはBaaderらの本[1]を紹介する。
ELOG: A Probabilistic Reasoner for OWL EL
対数線形記述論理は、知識表現と推論、統計的関係AIの分野からいくつかの概念と手法を組み合わせた確率論的論理である。我々は対数線形推論器ELOGの実装の詳細について述べる。この推論器は、推論問題を動的に整数線形計画（ILP）に変換するデータベース技術を採用している。ILPのサイズを小さくし、複雑さを軽減するために、推論中に切断平面推論の形式を採用する。
Combining Production Systems and Ontologies
生産システムは知識表現において確立されたパラダイムであり、オントロジーはアプリケーションのドメインをモデル化し推論するために広く使われている。記述論理は、例えばWebオントロジー言語OWLの基礎となっており、オントロジーを表現するための形式論としてよく研究されている。この研究では、生産システム（ps）と記述論理（dl）を組み合わせて、オントロジー言語を使って事実とルールの両方を表現できるようにする。
PSの伝統的なクローズドワールドセマンティクスとdlのオープンワールドセマンティクスを組み合わせるための設計オプションの空間を探索し、そのような組み合わせのための一般的なセマンティクスを提案する。我々の意味論をどのように一階論理のフィックスポイント拡張で符号化するかを示す。特殊な場合（単調なPSと軽いPS）において、終了などのシステムの性質をチェックすることが決定可能であることを示す。
Inline Evaluation of Hybrid Knowledge Bases
知識表現フォーマリズムのウェブへの展開により、異種知識ベースを結合するハイブリッドフォーマリズムの必要性が生じている。この研究の目的は、ハイブリッド知識ベース(KB)上での推論効率を向上させることである。ハイブリッド知識ベースに対する従来の推論方法は、異なるデータソースにアクセスするために異なる推論器を使用することであり、これはオーバーヘッドを引き起こす。これを改善するために、我々はインライン評価と呼ばれる新しい戦略を提案する。したがって、推論タスクを実行するために単一の推論器を使用することができ、ハイブリッド推論の効率を向上させることができる。
Chinoba
Intelligence as Relationship
Research Platform
founded by
Masao Watanabe
AI Systems Architecture
Decision Trace
Human–AI Coordination
Algorithmic Governance
Related Research
この記事は Chinoba Knowledge Base の一部です。
コメント