論文の概要: Towards a Semantics for Hybrid ASP systems
- arxiv url: http://arxiv.org/abs/2108.03061v1
- Date: Fri, 6 Aug 2021 11:21:50 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-09 19:37:23.187663
- Title: Towards a Semantics for Hybrid ASP systems
- Title（参考訳）: ハイブリッドASPシステムのセマンティクスを目指して
- Authors: Pedro Cabalar and Jorge Fandinno and Torsten Schaub and Philipp Wanko
- Abstract要約: 我々は抽象理論と構造化理論の概念を導入し、ASP.NETと統合することを正式に詳細化します。
次に、この概念を用いて、Clingoの理論推論フレームワークのセマンティックキャラクタリゼーションを正確に評価し、制約付きHere-and-thereの論理と対応性を確立する。
- 参考スコア（独自算出の注目度）: 9.143661393612927
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: Over the last decades the development of ASP has brought about an expressive
modeling language powered by highly performant systems. At the same time, it
gets more and more difficult to provide semantic underpinnings capturing the
resulting constructs and inferences. This is even more severe when it comes to
hybrid ASP languages and systems that are often needed to handle real-world
applications. We address this challenge and introduce the concept of abstract
and structured theories that allow us to formally elaborate upon their
integration with ASP. We then use this concept to make precise the semantic
characterization of CLINGO's theory-reasoning framework and establish its
correspondence to the logic of Here-and-there with constraints. This provides
us with a formal framework in which we can elaborate formal properties of
existing hybridizations of CLINGO such as CLINGCON, CLINGOM[DL], and
CLINGO[LP].
- Abstract（参考訳）: 過去数十年にわたり、aspの開発は、高度に高性能なシステムによる表現力のあるモデリング言語をもたらした。
同時に、結果のコンストラクトと推論をキャプチャするセマンティックアンダーピンニングを提供するのがますます難しくなっています。
これは、現実世界のアプリケーションを扱うためにしばしば必要となるハイブリッドasp言語とシステムに関してさらに厳しいものである。
この課題に対処し、ASP.NETと統合する上での正式な詳細化を可能にする抽象的および構造化理論の概念を導入します。
次に、この概念を用いて、Clingoの理論推論フレームワークのセマンティックキャラクタリゼーションを正確に評価し、制約付きHere-and-thereの論理と対応性を確立する。
これにより、ClingCON、ClingOM[DL]、ClingO[LP]といった既存のClingOのハイブリダイゼーションの形式的性質を詳細化できるフォーマルなフレームワークが提供されます。
関連論文リスト
- Neurosymbolic Graph Enrichment for Grounded World Models [47.92947508449361]
複雑な問題に対処するために, LLM の反応性を向上し, 活用するための新しいアプローチを提案する。
我々は,大規模言語モデルの強みと構造的意味表現を組み合わせた,多モーダルで知識を付加した意味の形式表現を作成する。
非構造化言語モデルと形式的意味構造とのギャップを埋めることで、自然言語理解と推論における複雑な問題に対処するための新たな道を開く。
論文 参考訳（メタデータ） (2024-11-19T17:23:55Z) - Language Agents Meet Causality -- Bridging LLMs and Causal World Models [50.79984529172807]
因果表現学習を大規模言語モデルと統合する枠組みを提案する。
このフレームワークは、自然言語表現に関連付けられた因果変数を持つ因果世界モデルを学ぶ。
本研究では,時間的スケールと環境の複雑さを考慮した因果推論と計画課題の枠組みを評価する。
論文 参考訳（メタデータ） (2024-10-25T18:36:37Z) - LangSuitE: Planning, Controlling and Interacting with Large Language Models in Embodied Text Environments [70.91258869156353]
テキストエンボディの世界における6つの代表的具体的タスクを特徴とする多目的・シミュレーション不要なテストベッドであるLangSuitEを紹介する。
以前のLLMベースのテストベッドと比較すると、LangSuitEは複数のシミュレーションエンジンを使わずに、多様な環境への適応性を提供する。
具体化された状態の履歴情報を要約した新しいチェーン・オブ・ソート(CoT)スキーマであるEmMemを考案する。
論文 参考訳（メタデータ） (2024-06-24T03:36:29Z) - Towards More Unified In-context Visual Understanding [74.55332581979292]
マルチモーダル出力を有効にした視覚理解のための新しいICLフレームワークを提案する。
まず、テキストと視覚的プロンプトの両方を量子化し、統一された表現空間に埋め込む。
次にデコーダのみのスパーストランスアーキテクチャを用いて生成モデリングを行う。
論文 参考訳（メタデータ） (2023-12-05T06:02:21Z) - Explainable Answer-set Programming [0.0]
プロジェクトはこれらのギャップのいくつかを埋めることを目的としており、ASP.NET ASP.NET MVCにおける技術の現状に貢献することを目的としている。
我々は、既存のアプローチの言語サポートを拡張するだけでなく、新しい説明形式を発達させることによって、この問題に対処する。
論文 参考訳（メタデータ） (2023-08-30T09:09:57Z) - DELPHIC: Practical DEL Planning via Possibilities (Extended Version) [76.75197961194182]
本研究は,実用的なDEL計画の展開を促進することを目的としている。
本稿では,メインビルディングブロックとして定義した等価なセマンティクスを,いわゆる可能性として提案する。
この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
論文 参考訳（メタデータ） (2023-07-28T10:09:45Z) - The Whole Truth and Nothing But the Truth: Faithful and Controllable
Dialogue Response Generation with Dataflow Transduction and Constrained
Decoding [65.34601470417967]
本稿では,ニューラルネットワークモデリングとルールベース生成の強みを組み合わせた対話応答生成のためのハイブリッドアーキテクチャについて述べる。
本実験により, 本システムは, 流布性, 妥当性, 真理性の評価において, ルールベースおよび学習的アプローチの両方に優れることがわかった。
論文 参考訳（メタデータ） (2022-09-16T09:00:49Z) - Aggregate Semantics for Propositional Answer Set Programs [14.135212040150389]
提案するASPプログラムに対して提案された主要な集合的セマンティクスを提示し、比較する。
計算複雑性や表現力などの重要な特性を強調し、異なるアプローチの能力と限界を概説する。
論文 参考訳（メタデータ） (2021-09-17T17:38:55Z) - Refining the Semantics of Epistemic Specifications [0.0]
我々は、既存のセマンティクスアプローチ、満足なセマンティクスが満足すべき基準、そしてそれらを改善する方法に焦点を当てる。
本稿では,カバラーらの最近の形式主義である自己観血的ASPの反射的拡張とみなすことができる,てんかん性ASPに対する少し新しい意味論を提案する。
論文 参考訳（メタデータ） (2021-09-17T01:47:19Z) - Expressiveness and machine processability of Knowledge Organization
Systems (KOS): An analysis of concepts and relations [0.0]
各知識組織システムの表現性と機械処理性の両方の可能性は、その構造規則によって広範囲に規制されている。
オントロジーは多種多様な関係を明示的に定義し、その性質上機械処理可能である。
論文 参考訳（メタデータ） (2020-03-11T12:35:52Z) - A Uniform Treatment of Aggregates and Constraints in Hybrid ASP [9.289905977910378]
ハイブリッドASPソリューションのためのセマンティックフレームワークを開発する。
我々は、異なる意味原理に従う理論変数に対して集約関数を提供する。
実装にオフザシェルフハイブリット・ソルバをいかに頼りにできるかを示す。
論文 参考訳（メタデータ） (2020-03-09T14:36:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。