Fugu-MT 論文翻訳(概要): Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12

論文の概要: Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12

arxiv url: http://arxiv.org/abs/2407.06814v1
Date: Tue, 9 Jul 2024 12:40:58 GMT
ステータス: 処理完了
システム内更新日: 2024-07-10 18:07:16.735056
Title: Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
Title（参考訳）: Answer Set Semantics GL'88, GL'91, GK'14, D-V'12
Authors: Yuliya Lierler,
Abstract要約: このノートは、応答集合のセマンティクスの下での論理プログラミングに関連する非公式なセマンティクスの歴史的調査を示す。私たちはこれらを統一的な用語でレビューし、Answer Set ProgrammingとASP-Prolog – 人工知能における2つの顕著な知識表現と推論パラダイム – の2つのパラダイムと整合させる。
参考スコア（独自算出の注目度）: 2.8554857235549753
License: http://creativecommons.org/licenses/by/4.0/
Abstract: This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog -- two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence. Under consideration in Theory and Practice of Logic Programming (TPLP).
Abstract（参考訳）: このノートは、応答集合のセマンティクスの下での論理プログラミングに関連する非公式なセマンティクスの歴史的調査を示す。私たちはこれらを統一的な用語でレビューし、Answer Set ProgrammingとASP-Prolog – 人工知能における2つの顕著な知識表現と推論パラダイム – の2つのパラダイムと整合させる。論理プログラミングの理論と実践(TPLP)

関連論文リスト

Relating Answer Set Programming and Many-sorted Logics for Formal Verification [1.223779595809275]
私の研究課題は、ASP検証をアクセス可能で日常的なタスクにする意図で、3つの問題に対処することに集中しています。 ASP の代替セマンティクスを,この辺りで多種多様な一階述語論理の論理への変換に基づいて検討した。これらのセマンティクスは、論理プログラムのモジュラー理解を促進し、基底をバイパスし、自動定理プロバーを使用してプログラムのプロパティを自動検証することを可能にする。
論文参考訳（メタデータ） (2025-02-13T11:52:40Z)
A Semantic Parsing Algorithm to Solve Linear Ordering Problems [2.23890712706409]
線形順序付け問題を意味論的に解析するアルゴリズムを開発した。提案手法は,複数の前提文と候補文を入力として扱う。次に、制約論理プログラミングを用いて、注文に関する提案された文の真相を推測する。
論文参考訳（メタデータ） (2025-02-12T13:58:42Z)
Proceedings 40th International Conference on Logic Programming [4.552899096936877]
ICLPは1982年以来、論理プログラミングの研究を示す主要な国際イベントとなっている。この巻の論文や要約には、以下の領域やトピックが含まれる。
論文参考訳（メタデータ） (2025-02-11T12:13:52Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
Language Models can be Logical Solvers [99.40649402395725]
論理解法の推論過程を直接エミュレートする新しい言語モデルであるLoGiPTを導入する。 LoGiPTは、導出的ソルバの見えない推論過程を明らかにして精錬することから導かれる、新しく構築された命令チューニングデータセットに基づいて微調整される。
論文参考訳（メタデータ） (2023-11-10T16:23:50Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
Reactive Answer Set Programming [2.7286395031146062]
Logic Production System (LPS)は、リアクティブな振る舞いをモデル化するためのロジックベースのフレームワークである。本稿では,このフレームワーク(KELPS)のカーネルを解集合プログラム(ASP)に体系的にマッピングする。
論文参考訳（メタデータ） (2021-09-22T10:10:14Z)
Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文参考訳（メタデータ） (2021-05-08T10:09:36Z)
Proceedings 36th International Conference on Logic Programming (Technical Communications) [127.81808516917793]
ICLPは論理プログラミング研究のための国際会議である。 1982年にマルセイユで開かれた最初の会議以来、ICLPは論理プログラミングの研究を示す主要な国際イベントとなっている。
論文参考訳（メタデータ） (2020-09-19T04:18:41Z)
Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文参考訳（メタデータ） (2020-09-14T16:13:36Z)
VQA-LOL: Visual Question Answering under the Lens of Logic [58.30291671877342]
画像に関する疑問に答えるように訓練された視覚的質問応答システムが,複数の質問の論理的構成に答えられるかどうかを検討する。本稿では,VQAデータセットをベンチマークとして拡張し,論理的構成や言語的変換を含む質問を行う。本稿では,論理的結合性を理解するために質問注意と論理意図を用いたLOLモデルと,新しいFr'echet-Compatibility Lossを提案する。
論文参考訳（メタデータ） (2020-02-19T17:57:46Z)

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