[論文レビュー] Parametric Connectives in Disjunctive Logic Programming

Simona Perri, Nicola Leone|arXiv (Cornell University)|Nov 7, 2003

Logic, Reasoning, and Knowledge参考文献 15被引用数 5

ひとこと要約

この論文は、N-Coloring問題のように事前にサイズが分からないような論理的選言や論理的連言を扱えるようにするために、パラメトリック接続子（パラメトリックORおよびAND）を導入することで、離別論理プログラミング（DLP）を拡張している。この拡張により、よりコン act で柔軟な知識表現が可能となり、意味論的にも明確に定義されており、知識ベースの推論タスクにおける実用性が示されている。

ABSTRACT

this paper, we single out some limitations of DLP for KRR, which cannot naturally express problems where the size of the disjunction is not known "a priori" (like N-Coloring), but it is part of the input. To overcome these limitations, we further enhance the knowledge modelling abilities of DLP, by extending this language by Parametric Connectives (OR and AND). These connectives allow us to represent compactly the disjunction/conjunction of a set of atoms having a given property. We formally define the semantics of the new language, named DLP and we show the usefulness of the new constructs on relevant knowledge-based problems. We address implementation issues and discuss related works

研究の動機と目的

• 離別論理プログラミング（DLP）における制限、すなわち選言のサイズを事前に知る必要があることに対処する。
• 入力としての選言的または連言的要素の数が変動する知識ベースの問題を、自然かつコンパクトに表現できるようにする。
• DLPにパラメトリック接続子を導入した拡張言語の意味論を形式的に定義し、論理的一致性を保証する。
• N-Coloringのような代表的な知識表現問題において、この拡張の実用的有用性を示す。
• 実装上の考慮事項を提示し、既存の知識表現および論理プログラミング分野の研究と関連付ける。

提案手法

• パラメトリックORおよびANDというパラメトリック接続子を導入し、共通の性質を持つアトムの集合に対して作用する。
• 標準DLPの意味論を拡張して、パラメトリック構成要素を扱えるように、新しい言語の意味論を定義する。
• DLPの論理的性質を保ちつつ、可変サイズの選言および連言を動的に処理できるように意味論を保証する。
• 変数Nに対して「グラフをN色で彩色する方法が存在する」といった文を、パラメトリック接続子を用いてコンパクトに表現する。
• これらの構成要素を用いた推論のための形式的フレームワークを提供し、拡張された意味論に基づく妥当性および完全性を保証する。
• 既存のDLP実行エンジンにこれらの構成要素を統合するための実装戦略を議論する。

実験結果

リサーチクエスチョン

• RQ1 DLPをどのように拡張すれば、設計時における選言的または連言的要素の数が固定されていない問題を自然に表現できるか？
• RQ2 DLPにおけるパラメトリック接続子に対して、論理的整合性と推論能力を保つ形式的意味論をどのように定義できるか？
• RQ3 パラメトリック接続子は、DLPにおける知識表現のコンパクトさと表現力の両面でどの程度向上するか？
• RQ4 新しい構成要素は、N-Coloringのような実世界の知識ベースの問題において、どの程度の性能を示すか？
• RQ5 既存のDLPシステムにパラメトリック接続子を統合するにあたり、実用的影響と実装上の課題は何か？

主な発見

• パラメトリック接続子の導入により、DLPはN-Coloringのような可変サイズの選言や連言を自然かつコンパクトに表現できるようになった。
• 拡張言語の形式的意味論により、推論が論理的に妥当であり、標準DLPの原則と整合的であることが保証された。
• 新しい構成要素は、可変サイズの制約を含む知識表現タスクにおけるDLPの表現力を顕著に向上させた。
• このアプローチは、理論的拡張をはるかに超えて実用的有用性を示す、関連する知識ベースの問題において有効であることが実証された。
• 実装上の考慮事項が提示され、既存のDLP実行フレームワークへの統合が実現可能であることが示された。