Fugu-MT 論文翻訳(概要): Splitting a Hybrid ASP Program

論文の概要: Splitting a Hybrid ASP Program

arxiv url: http://arxiv.org/abs/2009.10236v1
Date: Tue, 22 Sep 2020 00:47:31 GMT
ステータス: 処理完了
システム内更新日: 2022-10-15 22:34:07.110209
Title: Splitting a Hybrid ASP Program
Title（参考訳）: ハイブリッドaspプログラムを分割する
Authors: Alex Brik (Google Inc.)
Abstract要約: 本稿では、ハイブリッドASPのためのSplitting Set Theoremについて紹介する。本論文は,Hybrid ASPプログラムの計算解集合を,実用アプリケーションに最も適した方法で単純化する方法について述べる。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set Programming (ASP) that allows ASP-like rules to interact with outside sources. The Splitting Set Theorem is an important and extensively used result for ASP. The paper introduces the Splitting Set Theorem for Hybrid ASP, which is for Hybrid ASP the equivalent of the Splitting Set Theorem, and shows how it can be applied to simplify computing answer sets for Hybrid ASP programs most relevant for practical applications.
Abstract（参考訳）: Hybrid Answer Set Programming (Hybrid ASP)は、Answer Set Programming (ASP)の拡張であり、ASPライクなルールが外部ソースと対話できるようにする。 Splitting Set TheoremはASP.NETにとって重要かつ広く使われている結果である。本稿では,ハイブリッド asp の分割集合定理を,ハイブリッド asp の分割集合定理と等価なものとして紹介し,実用的応用に最も関係のあるハイブリッド asp プログラムに対する解集合の計算を単純化する方法について述べる。

関連論文リスト

A General and Flexible Multi-concept Parsing Framework for Multilingual Semantic Matching [60.51839859852572]
我々は,テキストを多言語セマンティックマッチングのためのマルチコンセプトに分解し,NERモデルに依存するモデルからモデルを解放することを提案する。英語データセットのQQPとMRPC、中国語データセットのMedical-SMについて包括的な実験を行った。
論文参考訳（メタデータ） (2024-03-05T13:55:16Z)
HPE:Answering Complex Questions over Text by Hybrid Question Parsing and Execution [92.69684305578957]
テキストQAにおける質問解析と実行の枠組みを提案する。提案したフレームワークは、トップダウンの質問パースとして、ボトムアップの回答バックトラックとみなすことができる。 MuSiQue,2WikiQA,HotpotQA,およびNQに関する実験により,提案した解析およびハイブリッド実行フレームワークが,教師付き,少数ショット,ゼロショット設定における既存のアプローチより優れていることを示す。
論文参考訳（メタデータ） (2023-05-12T22:37:06Z)
Hybrid Relation Guided Set Matching for Few-shot Action Recognition [51.3308583226322]
本稿では,2つの鍵成分を組み込んだHybrid Relation Guided Set Matching (HyRSM) 手法を提案する。ハイブリッドリレーションモジュールの目的は、エピソード内の関連関係とクロスビデオの完全活用により、タスク固有の埋め込みを学習することである。我々は,HyRSMを6つの挑戦的ベンチマークで評価した。
論文参考訳（メタデータ） (2022-04-28T11:43:41Z)
iFacetSum: Coreference-based Interactive Faceted Summarization for Multi-Document Exploration [63.272359227081836]
iFacetSumは、インタラクティブな要約と顔検索を統合している。微粒なファセットは、クロスドキュメントのコア参照パイプラインに基づいて自動的に生成される。
論文参考訳（メタデータ） (2021-09-23T20:01:11Z)
Towards a Semantics for Hybrid ASP systems [9.143661393612927]
我々は抽象理論と構造化理論の概念を導入し、ASP.NETと統合することを正式に詳細化します。次に、この概念を用いて、Clingoの理論推論フレームワークのセマンティックキャラクタリゼーションを正確に評価し、制約付きHere-and-thereの論理と対応性を確立する。
論文参考訳（メタデータ） (2021-08-06T11:21:50Z)
Dual Reader-Parser on Hybrid Textual and Tabular Evidence for Open Domain Question Answering [78.9863753810787]
世界の知識は構造化データベースに保存されている。クエリ言語は、複雑な推論を必要とする質問に答えるだけでなく、完全な説明可能性を提供することができる。
論文参考訳（メタデータ） (2021-08-05T22:04:13Z)
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories [0.0]
本稿では、ASPプログラムを擬似ブール理論に変換する新しいツールLP2PBを提案する。従来のASPベンチマークで、当社のツールと、ASPに対するカットプレーンベースの問題解決の可能性を評価します。
論文参考訳（メタデータ） (2020-09-22T00:50:17Z)
How to build your own ASP-based system?! [4.171595518241986]
このチュートリアルは、ユーザが独自のASPベースのシステムを構築することを可能にすることを目的としている。 ASPシステムClingOは、ASPの拡張やカスタマイズされた専用システムの実装にどのように使用できるかを示す。
論文参考訳（メタデータ） (2020-08-15T10:08:50Z)
Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
論文参考訳（メタデータ） (2020-08-07T06:35:56Z)
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP [9.289905977910378]
ハイブリッドASPソリューションのためのセマンティックフレームワークを開発する。我々は、異なる意味原理に従う理論変数に対して集約関数を提供する。実装にオフザシェルフハイブリット・ソルバをいかに頼りにできるかを示す。
論文参考訳（メタデータ） (2020-03-09T14:36:11Z)
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)

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