Fugu-MT 論文翻訳(概要): Reasoning about actions with EL ontologies with temporal answer sets

論文の概要: Reasoning about actions with EL ontologies with temporal answer sets

arxiv url: http://arxiv.org/abs/2107.08403v1
Date: Sun, 18 Jul 2021 09:43:53 GMT
ステータス: 処理完了
システム内更新日: 2021-07-20 15:02:38.862832
Title: Reasoning about actions with EL ontologies with temporal answer sets
Title（参考訳）: 時間応答集合を持つELオントロジーによる行動の推論
Authors: Laura Giordano, Alberto Martelli, and Daniele Theseider Dupr\'e
Abstract要約: 我々は、非決定論的行動と因果規則が影響に対処できる時間的行動理論を考察する。 ELbotナレッジベースで拡張されたアクション理論に対して,アクション整合性を保証する条件を提供する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We propose an approach based on Answer Set Programming for reasoning about actions with domain descriptions including ontological knowledge, expressed in the lightweight description logic EL^\bot. We consider a temporal action theory, which allows for non-deterministic actions and causal rules to deal with ramifications, and whose extensions are defined by temporal answer sets. We provide conditions under which action consistency can be guaranteed with respect to an ontology, by a polynomial encoding of an action theory extended with an EL^\bot knowledge base (in normal form) into a temporal action theory.
Abstract（参考訳）: 本稿では,軽量な記述論理 EL^\bot で表される存在論的知識を含むドメイン記述による行動の推論のためのアンサーセットプログラミングに基づくアプローチを提案する。我々は,非決定論的行動と因果規則が分岐に対処し,その拡張が時間的応答集合によって定義される時間的行動理論を考える。 EL^\botナレッジベース(正規形)で拡張されたアクション理論の多項式符号化を時間的アクション理論にすることで、オントロジーに関してアクション一貫性を保証できる条件を提供する。

関連論文リスト

Temporal Many-valued Conditional Logics: a Preliminary Report [1.228936170812787]
典型性を持つ多値論理から始まり、線形時間時間時論理の時間演算子で拡張する。また、段階的議論のための形式主義のインスタンス化についても検討する。
論文参考訳（メタデータ） (2024-09-06T16:23:31Z)
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories [9.45355418401911]
最も一般的に使用されるアプローチは、実値の流れる$mathittime(a)$を追加して、各アクションにタイムポイントをアタッチし、結果として各状況にアタッチすることで、時間を表す。このアプローチでは、言論の領域が有限個の対象に制限されている場合でも、与えられた式を満たす到達可能な状況が決定不能であるかどうかを確認する。
論文参考訳（メタデータ） (2024-02-05T16:32:12Z)
A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文参考訳（メタデータ） (2023-07-28T11:26:26Z)
DELPHIC: Practical DEL Planning via Possibilities (Extended Version) [76.75197961194182]
本研究は,実用的なDEL計画の展開を促進することを目的としている。本稿では,メインビルディングブロックとして定義した等価なセマンティクスを,いわゆる可能性として提案する。この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
論文参考訳（メタデータ） (2023-07-28T10:09:45Z)
Invariant Causal Set Covering Machines [64.86459157191346]
決定木のようなルールベースのモデルは、解釈可能な性質のために実践者にアピールする。しかし、そのようなモデルを生成する学習アルゴリズムは、しばしば刺激的な関連に弱いため、因果関係の洞察を抽出することが保証されていない。 Invariant Causal Set Covering Machines は、古典的集合被覆マシンアルゴリズムの拡張であり、二値ルールの結合/分離を可能とし、スプリアス関係を確実に回避する。
論文参考訳（メタデータ） (2023-06-07T20:52:01Z)
Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
論文参考訳（メタデータ） (2023-05-24T10:57:53Z)
Conditional Inference and Activation of Knowledge Entities in ACT-R [2.2049183478692584]
アクティベーションに基づく条件推論は、人間の推論を形式化する認知アーキテクチャであるACT-Rに条件推論を適用する。このアプローチは、人間の推論のいくつかの側面を、集中、忘れ、記憶といったエキスパートシステムに統合します。
論文参考訳（メタデータ） (2021-10-28T15:33:19Z)
Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。主アルゴリズムの正確性と収束性を保証する。
論文参考訳（メタデータ） (2021-02-01T01:13:03Z)
Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文参考訳（メタデータ） (2020-09-14T16:13:36Z)
Inferring Temporal Compositions of Actions Using Probabilistic Automata [61.09176771931052]
本稿では,動作の時間的構成を意味正規表現として表現し,確率的オートマトンを用いた推論フレームワークを提案する。我々のアプローチは、長い範囲の複雑なアクティビティを、順序のないアトミックアクションのセットとして予測するか、自然言語文を使ってビデオを取得するという既存の研究とは異なる。
論文参考訳（メタデータ） (2020-04-28T00:15:26Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。