論文の概要: Automata for dynamic answer set solving: Preliminary report

• arxiv url: http://arxiv.org/abs/2109.01782v1
• Date: Sat, 4 Sep 2021 03:58:12 GMT
• ステータス: 処理完了
• システム内更新日: 2021-09-08 09:57:06.057186
• Title: Automata for dynamic answer set solving: Preliminary report
• Title（参考訳）: 動的解集合解のためのオートマトン:予備報告
• Authors: Pedro Cabalar (1), Mart\'in Di\'eguez (2), Susana Hahn (3), Torsten Schaub (3) ((1) University of Corunna, Spain, (2) Universit\'e d'Angers, France, (3) University of Potsdam, Germany)
• Abstract要約: 本稿では,動的論理から言語構造を記述したAnswer Set Programming(ASP)の拡張で表現される時間的制約を実装する方法について検討する。 その考え方は、動的制約を、元の制約の満足度を強制する論理プログラムの言葉で表現されたオートマトンに変換することである。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/publicdomain/zero/1.0/
• Abstract: We explore different ways of implementing temporal constraints expressed in an extension of Answer Set Programming (ASP) with language constructs from dynamic logic. Foremost, we investigate how automata can be used for enforcing such constraints. The idea is to transform a dynamic constraint into an automaton expressed in terms of a logic program that enforces the satisfaction of the original constraint. What makes this approach attractive is its independence of time stamps and the potential to detect unsatisfiability. On the one hand, we elaborate upon a transformation of dynamic formulas into alternating automata that relies on meta-programming in ASP. This is the first application of reification applied to theory expressions in gringo. On the other hand, we propose two transformations of dynamic formulas into monadic second-order formulas. These can then be used by off-the-shelf tools to construct the corresponding automata. We contrast both approaches empirically with the one of the temporal ASP solver telingo that directly maps dynamic constraints to logic programs. Since this preliminary study is restricted to dynamic formulas in integrity constraints, its implementations and (empirical) results readily apply to conventional linear dynamic logic, too.
• Abstract（参考訳）: 本稿では,動的論理から言語構造を記述したAnswer Set Programming(ASP)の拡張で表現される時間的制約を実装する方法について検討する。 まず,このような制約を強制するためにautomattaをどのように利用できるかを検討する。 その考え方は、動的制約を、元の制約の満足度を強制する論理プログラムの観点で表現されたオートマトンに変換することである。 このアプローチを魅力的にしているのは,タイムスタンプの独立性と,不満足な検出の可能性だ。 一方、ASP.NETでのメタプログラミングに依存した動的公式から交代オートマトンへの変換について詳しく述べる。 これはグリンゴの理論表現に適用された最初の改定の応用である。 一方,動的公式のモナディック二次公式への変換を2つ提案する。 これらは、市販のツールが対応するオートマトンを構築するために使用できる。 我々はどちらのアプローチも、動的制約を論理プログラムに直接マップする時間的aspソルバtelingoの1つと経験的に対比する。 この予備研究は完全性制約の動的公式に限定されているため、その実装と(経験的な)結果が従来の線形動的論理にも容易に適用できる。

関連論文リスト

• COrAL: Order-Agnostic Language Modeling for Efficient Iterative Refinement [80.18490952057125]
  反復改良は、複雑なタスクにおける大規模言語モデル(LLM)の能力を高める効果的なパラダイムとして登場した。 我々はこれらの課題を克服するために、コンテキストワイズ順序非依存言語モデリング(COrAL)を提案する。 当社のアプローチでは、管理可能なコンテキストウィンドウ内で複数のトークン依存関係をモデル化しています。
  論文  参考訳（メタデータ） (2024-10-12T23:56:19Z)
• H-STAR: LLM-driven Hybrid SQL-Text Adaptive Reasoning on Tables [56.73919743039263]
  本稿では,2段階のプロセスにシンボル的アプローチと意味的アプローチ(テキスト的アプローチ)を統合し,制約に対処する新しいアルゴリズムを提案する。 実験の結果,H-STARは3つの質問応答(QA)と事実検証データセットにおいて,最先端の手法を大幅に上回っていることがわかった。
  論文  参考訳（メタデータ） (2024-06-29T21:24:19Z)
• Shape Arithmetic Expressions: Advancing Scientific Discovery Beyond Closed-Form Equations [56.78271181959529]
  GAM(Generalized Additive Models)は、変数とターゲットの間の非線形関係をキャプチャできるが、複雑な特徴相互作用をキャプチャすることはできない。 本稿では,GAMのフレキシブルな形状関数と,数学的表現に見られる複雑な特徴相互作用を融合させる形状表現算術(SHARE)を提案する。 また、標準制約を超えた表現の透明性を保証するSHAREを構築するための一連のルールを設計する。
  論文  参考訳（メタデータ） (2024-04-15T13:44:01Z)
• Discret2Di -- Deep Learning based Discretization for Model-based Diagnosis [48.252498836623154]
  一貫性に基づく診断は、技術的応用を診断するための確立されたアプローチであるが、かなりのモデリング努力に悩まされている。 本稿では,一貫性に基づく診断のための論理式の自動学習手法としてDiscret2Diを提案する。 提示されたソリューションは、時系列と記号領域の両方からの機械学習を組み合わせて、一貫性に基づく診断のための論理規則の学習を自動化する。
  論文  参考訳（メタデータ） (2023-11-06T09:17:57Z)
• Large Language Models as General Pattern Machines [64.75501424160748]
  我々は,事前訓練された大規模言語モデル (LLM) が,複雑なトークンシーケンスを自動回帰的に完了することを示す。 驚いたことに、語彙からランダムにサンプリングされたトークンを用いてシーケンスが表現された場合でも、パターン完了の習熟度を部分的に保持することができる。 本研究では,ロボット工学における問題に対して,これらのゼロショット機能がどのように適用されるかを検討する。
  論文  参考訳（メタデータ） (2023-07-10T17:32:13Z)
• Metric Temporal Equilibrium Logic over Timed Traces [1.2657785774485026]
  本研究では、時間的作用素が自然数上の間隔で制約される線形時間時間時間平衡論理の計量拡張を開発する。 その結果生まれたMetric Equilibrium Logicは、定性的かつ定量的な動的制約を指定するためのASPベースのアプローチの基礎を提供する。
  論文  参考訳（メタデータ） (2023-04-28T11:39:49Z)
• Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming [2.3204178451683264]
  本稿では,動的一貫性チェック(Dynamic Consistency check)と呼ばれるトップダウン評価戦略のバリエーションを示す。 これにより、リテラルがプログラムのグローバルな制約に関連する否定と互換性がないかどうかを判断できる。 我々は、標準バージョンのs(CASP)の最大90倍のスピードアップを実験的に観察した。
  論文  参考訳（メタデータ） (2021-10-22T20:38:48Z)
• Automata Techniques for Temporal Answer Set Programming [0.0]
  ASP(Answer Set Programming)の時間的および動的拡張は、動的な問題に対処する上で重要な役割を果たす。 私は、自動理論と動的論理の関係を利用して、ASPソルバClingOにオートマトンベースの技術を追加するつもりです。
  論文  参考訳（メタデータ） (2021-09-17T01:43:31Z)
• Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis [63.53283025435107]
  CNFベースのSATとMaxSATは論理合成と検証システムの中心である。 そこで本研究では,Transformerアーキテクチャから派生したワンショットモデルを用いて,MaxSAT問題の解法を提案する。
  論文  参考訳（メタデータ） (2021-07-15T04:47:35Z)
• Temporal Answer Set Programming [3.263632801414296]
  本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。 本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。 第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
  論文  参考訳（メタデータ） (2020-09-14T16:13:36Z)
• Implementing Dynamic Answer Set Programming [0.0]
  動的論理式を時間論理プログラムに変換する。 動的論理式を時間論理プログラムに還元することで、両方のアプローチでASPを一様に拡張できます。
  論文  参考訳（メタデータ） (2020-02-17T12:34:14Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。