Fugu-MT 論文翻訳(概要): Situation Calculus by Term Rewriting

論文の概要: Situation Calculus by Term Rewriting

arxiv url: http://arxiv.org/abs/2007.00125v1
Date: Tue, 30 Jun 2020 21:47:47 GMT
ステータス: 処理完了
システム内更新日: 2022-11-15 06:06:38.509852
Title: Situation Calculus by Term Rewriting
Title（参考訳）: 項書き換えによる状況計算
Authors: David A. Plaisted
Abstract要約: フルエントは用語構造から計算でき、アクションは用語の書き直しルールに対応する。いくつかの例が与えられ、そのような書き直し規則のセットを構築するためのいくつかの一般的な方法が提示される。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: A version of the situation calculus in which situations are represented as first-order terms is presented. Fluents can be computed from the term structure, and actions on the situations correspond to rewrite rules on the terms. Actions that only depend on or influence a subset of the fluents can be described as rewrite rules that operate on subterms of the terms in some cases. If actions are bidirectional then efficient completion methods can be used to solve planning problems. This representation for situations and actions is most similar to the fluent calculus of Thielscher \cite{Thielscher98}, except that this representation is more flexible and more use is made of the subterm structure. Some examples are given, and a few general methods for constructing such sets of rewrite rules are presented. This paper was submitted to FSCD 2020 on December 23, 2019.
Abstract（参考訳）: 状況を一階の項として表現する状況計算の版が提示される。 fluentsは用語の構造から計算でき、状況に関するアクションは用語の規則を書き直すことに対応する。流動のサブセットにのみ依存または影響するアクションは、いくつかの場合において、項のサブタームで動作する書き換え規則として記述することができる。アクションが双方向である場合、効率的な補完手法が計画問題を解決するために使用できる。この状況と行動の表現は、より柔軟であり、より使用が亜項構造から成り立つことを除いて、Thielscher \cite{Thielscher98} の流動計算と最もよく似ている。いくつか例を挙げ、そのような書き換え規則を構成するための一般的な方法をいくつか提示する。この論文は2019年12月23日にFSCD 2020に提出された。

関連論文リスト

Neuro-Symbolic Temporal Point Processes [13.72758658973969]
本稿では,時間点プロセスモデルにニューラル・シンボリック・ルール誘導フレームワークを導入する。負の対数類似性は学習を導く損失であり、説明論理則とその重みがエンドツーエンドで学習される。提案手法は, 合成データセットおよび実データセット間で, 顕著な効率性と精度を示す。
論文参考訳（メタデータ） (2024-06-06T09:52:56Z)
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories [9.45355418401911]
最も一般的に使用されるアプローチは、実値の流れる$mathittime(a)$を追加して、各アクションにタイムポイントをアタッチし、結果として各状況にアタッチすることで、時間を表す。このアプローチでは、言論の領域が有限個の対象に制限されている場合でも、与えられた式を満たす到達可能な状況が決定不能であるかどうかを確認する。
論文参考訳（メタデータ） (2024-02-05T16:32:12Z)
Inverse Decision Modeling: Learning Interpretable Representations of Behavior [72.80902932543474]
我々は,逆決定モデルに関する表現的,統一的な視点を開拓する。これを逆問題(記述モデルとして)の形式化に用います。この構造が(有界な)有理性の学習(解釈可能な)表現を可能にする方法について説明する。
論文参考訳（メタデータ） (2023-10-28T05:05:01Z)
Dimensionless Policies based on the Buckingham $\pi$ Theorem: Is This a Good Way to Generalize Numerical Results? [66.52698983694613]
本稿では,バッキンガムの$pi$定理を,物理系の制御ポリシを汎用的な知識形式にエンコードするツールとして活用する。本研究では,(1) パラメータの削減,(2) 特定のシステムに対して数値的に生成された制御ポリシを,入力変数と出力変数を適切にスケーリングすることにより,次元的に類似したシステムのサブセットに正確に転送可能であることを示す。より複雑な高次元問題に対するポリシーを一般化するために、このアプローチがいかに実用的であるかは、まだわからないが、初期の結果は、それがaであることを示している。
論文参考訳（メタデータ） (2023-07-29T00:51:26Z)
Qubit Number Optimization for Restriction Terms of QUBO Hamiltonians [62.997667081978825]
数学的には$R$の分数値を求めることができる。制限ハミルトニアンの実装に必要な量子ビット数をさらに減らす方法を示す。最後に、FRCの実装に直面した場合、DWaveのAdvantage$_$system4.1 Quantum Annealer(QA)の応答を特徴付ける。
論文参考訳（メタデータ） (2023-06-12T08:25:56Z)
Situated Conditional Reasoning [10.828616610785524]
本研究では,状況に基づく条件を一連の仮定で記述できることを示す。次に、位置条件付き知識ベースに対するエンテーメントの形式を定義し、最小のクロージャ(minimum closure)と呼ぶ。
論文参考訳（メタデータ） (2021-09-03T14:23:18Z)
Semantic Reasoning with Differentiable Graph Transformations [1.52292571922932]
本稿では,ルールを関連するグラフ変換の集合として提示する,微分可能な意味論的推論手法を提案する。これらのルールは手動で記述することも、トレーニングセットとして提示された事実や目標のセットによって推測することもできる。内部表現は潜在空間に埋め込みを用いるが、各規則は記述論理の部分集合に対応する述語の集合として表すことができる。
論文参考訳（メタデータ） (2021-07-20T15:48:54Z)
High-performance symbolic-numerics via multiple dispatch [52.77024349608834]
Symbolics.jlは拡張可能なシンボルシステムで、動的多重ディスパッチを使用してドメインのニーズに応じて振る舞いを変更する。実装に依存しないアクションでジェネリックapiを形式化することで、システムに最適化されたデータ構造を遡及的に追加できることを示します。従来の用語書き換えシンプリファイアと電子グラフベースの用語書き換えシンプリファイアをスワップする機能を実証する。
論文参考訳（メタデータ） (2021-05-09T14:22:43Z)
Optimizing Rescoring Rules with Interpretable Representations of Long-Term Information [1.4213973379473654]
本稿では,Websterのレスコリングルールをエポックな特徴の観点から言い換えることを提案する。最適化されたレコリングルールにより、スリープウェイク分類器のパフォーマンスが向上します。
論文参考訳（メタデータ） (2021-04-28T15:30:16Z)
What can I do here? A Theory of Affordances in Reinforcement Learning [65.70524105802156]
我々はマルコフ決定過程の学習と計画を行うエージェントのための余裕の理論を開発する。このケースでは、任意の状況で利用可能なアクションの数を減らすことで、アフォーダンスが二重の役割を担います。本稿では,よりシンプルで一般化された遷移モデルを推定するために,余裕を学習し,それを利用するアプローチを提案する。
論文参考訳（メタデータ） (2020-06-26T16:34:53Z)
Pseudo-Convolutional Policy Gradient for Sequence-to-Sequence Lip-Reading [96.48553941812366]
唇読解は唇運動系列から音声内容を推測することを目的としている。 seq2seqモデルの伝統的な学習プロセスには2つの問題がある。本稿では,これら2つの問題に対処するために,PCPGに基づく新しい手法を提案する。
論文参考訳（メタデータ） (2020-03-09T09:12:26Z)

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