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)

関連論文リスト

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification [0.174048653626208]
本稿では,パラメータ化された動的論理型形式である$DL_p$を提案する。 $DL_p$は、異なる動的論理理論を包含する柔軟な検証フレームワークを提供する。ケーススタディは、$DL_p$が異なるタイプのプログラムモデルについて推論するためにどのように機能するかを示している。
論文参考訳（メタデータ） (2024-04-28T07:08:44Z)
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)
The Role of Semantic Parsing in Understanding Procedural Text [15.318057744502822]
我々は、意味解析知識の2つの源として、深い意味論(TRIPS)と意味論的役割のラベル付けを考える。本稿では,記号解析に基づく手続き推論フレームワーク PROPOLIS を提案する。
論文参考訳（メタデータ） (2023-02-14T04:59:33Z)
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)
On syntactically similar logic programs and sequential decompositions [0.0]
ルールベースの推論は、論理プログラムを通じて人工知能研究において顕著に形式化された人間の知能の重要な部分である。複雑な物体を素体の合成として記述することは、コンピュータ科学や科学全般において一般的な戦略である。一段階の削減によって、異なるドメインにわたるクエリに、どのように類似性を使って答えることができるかを示す。
論文参考訳（メタデータ） (2021-09-11T15:22:17Z)
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)

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