論文の概要: Reactive Answer Set Programming
- arxiv url: http://arxiv.org/abs/2109.10633v1
- Date: Wed, 22 Sep 2021 10:10:14 GMT
- ステータス: 処理完了
- システム内更新日: 2021-09-23 13:47:16.940156
- Title: Reactive Answer Set Programming
- Title(参考訳): リアクティブ応答セットプログラミング
- Authors: Krysia Broda and Fariba Sadri and Stephen Butler
- Abstract要約: Logic Production System (LPS)は、リアクティブな振る舞いをモデル化するためのロジックベースのフレームワークである。
本稿では,このフレームワーク(KELPS)のカーネルを解集合プログラム(ASP)に体系的にマッピングする。
- 参考スコア(独自算出の注目度): 2.7286395031146062
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Logic Production System (LPS) is a logic-based framework for modelling
reactive behaviour. Based on abductive logic programming, it combines reactive
rules with logic programs, a database and a causal theory that specifies
transitions between the states of the database. This paper proposes a
systematic mapping of the Kernel of this framework (called KELPS) into an
answer set program (ASP). For this purpose a new variant of KELPS with finite
models, called $n$-distance KELPS, is introduced. A formal definition of the
mapping from this $n$-distance KELPS to ASP is given and proven sound and
complete. The Answer Set Programming paradigm allows to capture additional
behaviours to the basic reactivity of KELPS, in particular proactive,
preemptive and prospective behaviours. These are all discussed and illustrated
with examples. Then a hybrid framework is proposed that integrates KELPS and
ASP, allowing to combine the strengths of both paradigms. Under consideration
in Theory and Practice of Logic Programming (TPLP).
- Abstract(参考訳): Logic Production System (LPS)は、リアクティブな振る舞いをモデル化するためのロジックベースのフレームワークである。
帰納的論理プログラミングに基づいて、リアクティブルールと論理プログラム、データベース、データベースの状態間の遷移を規定する因果理論を組み合わせる。
本稿では,このフレームワークのカーネル(ケルプスと呼ばれる)を解集合プログラム(asp)に体系的にマッピングすることを提案する。
この目的のために、$n$-distance KELPSと呼ばれる有限モデルを持つKELPSの新しい変種が導入された。
この$n$-distance KELPS から ASP への写像の正式な定義が与えられ、証明された健全かつ完全である。
答えセットプログラミングパラダイムはケルプの基本的な反応性、特に積極的な、プリエンプティブな、予測的な振る舞いに付加的な振る舞いを捉えることができる。
これらはいずれも実例で論じられている。
次に、KELPSとASPを統合するハイブリッドフレームワークを提案し、両方のパラダイムの長所を組み合わせます。
論理プログラミングの理論と実践(tplp)における考察。
関連論文リスト
- When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
本稿では,コードと推論能力の相関性を測定するために,複雑性に富んだ推論スコア(CIRS)を提案する。
具体的には、抽象構文木を用いて構造情報をエンコードし、論理的複雑性を計算する。
コードはhttps://github.com/zjunlp/EasyInstructのEasyInstructフレームワークに統合される。
論文 参考訳(メタデータ) (2023-08-29T17:22:39Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳(メタデータ) (2023-06-21T07:34:27Z) - Query Structure Modeling for Inductive Logical Reasoning Over Knowledge
Graphs [67.043747188954]
KGに対する帰納的論理的推論のための構造モデル付きテキスト符号化フレームワークを提案する。
線形化されたクエリ構造とエンティティを、事前訓練された言語モデルを使ってエンコードして、回答を見つける。
2つの帰納的論理推論データセットと3つの帰納的推論データセットについて実験を行った。
論文 参考訳(メタデータ) (2023-05-23T01:25:29Z) - Logical Message Passing Networks with One-hop Inference on Atomic
Formulas [57.47174363091452]
本稿では,ニューラルネットワーク演算子から知識グラフの埋め込みを分解する,複雑な問合せ応答のためのフレームワークを提案する。
クエリグラフの上に、局所的な原子式上のワンホップ推論とグローバル論理的推論を結びつける論理メッセージパッシングニューラルネットワーク(LMPNN)を提案する。
我々のアプローチは、最先端のニューラルCQAモデルをもたらす。
論文 参考訳(メタデータ) (2023-01-21T02:34:06Z) - Planning with Incomplete Information in Quantified Answer Set
Programming [1.3501640559999886]
ASP(Answer Set Programming)における不完全な情報を用いた計画手法を提案する。
論理プログラムが状態間の遷移関数を記述する単純な形式主義を用いて計画問題を表現している。
本稿では、量子化された論理プログラムをQBFに変換し、QBFソルバを実行する翻訳ベースのQASPソルバを提案する。
論文 参考訳(メタデータ) (2021-08-13T21:24:47Z) - Online Learning Probabilistic Event Calculus Theories in Answer Set
Programming [70.06301658267125]
イベント認識(CER)システムは、事前に定義されたイベントパターンを使用して、ストリーミングタイムスタンプデータセットで発生を検出する。
本稿では,複雑なイベントパターンによる確率論的推論を,イベント計算で重み付けされたルールの形で行うことができるAnswer Set Programming(ASP)に基づくシステムを提案する。
その結果, 効率と予測の両面で, 新たなアプローチの優位性が示された。
論文 参考訳(メタデータ) (2021-03-31T23:16:29Z) - Conflict-driven Inductive Logic Programming [3.29505746524162]
帰納的論理プログラミング(ILP)の目標は、一連の例を説明するプログラムを学ぶことである。
近年まで、ICPがターゲットとするPrologプログラムの研究がほとんどである。
ILASP システムは代わりに Answer Set Programs (ASP) を学ぶ
論文 参考訳(メタデータ) (2020-12-31T20:24:28Z) - ASP(AC): Answer Set Programming with Algebraic Constraints [20.559497209595822]
本稿では、半順序値と重み付け式評価を比較する制約を含むような、代数制約付き解集合プログラミング(ASP(AC))を紹介する。
この研究は論理プログラミングの理論と実践の受け入れを検討中である。
論文 参考訳(メタデータ) (2020-08-10T10:20:49Z) - The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。
まず、ILASPの学習フレームワークとその機能の概要を説明します。
続いて、ILASPシステムの進化を概観する。
論文 参考訳(メタデータ) (2020-05-02T19:04:12Z) - Structural Decompositions of Epistemic Logic Programs [29.23726484912091]
認識論理プログラム(ELP)は標準解集合プログラミング(ASP)の一般的な一般化である
本研究では, 木幅境界で構造特性を示すELPに対して, 線形時間で中心的な問題を解くことができることを示す。
また、これらの境界に従属する完全な動的プログラミングアルゴリズムも提供します。
論文 参考訳(メタデータ) (2020-01-13T13:16:13Z) - selp: A Single-Shot Epistemic Logic Program Solver [19.562205966997947]
Epistemic Logic Programs (ELP) は Answer Set Programming (ASP) の拡張である
また, 有界アリティを持つ非地上ASPへの ELP からの直接変換が存在することを示す。
次に、この符号化手法を、最近提案された大規模かつ非地上的なASPルールを扱う手法を用いて、プロトタイプのELP解決システム「セルプ」に実装する。
論文 参考訳(メタデータ) (2020-01-04T15:36:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。