論文の概要: Physical Reasoning in an Open World
- arxiv url: http://arxiv.org/abs/2201.08950v1
- Date: Sat, 22 Jan 2022 02:35:16 GMT
- ステータス: 処理完了
- システム内更新日: 2022-01-28 11:41:47.544870
- Title: Physical Reasoning in an Open World
- Title(参考訳): オープンワールドにおける物理推論
- Authors: Zhuoran Zeng and Ernest Davis
- Abstract要約: Prologは、荷物を積んだり、荷を降ろしたり、封印したり、密封したり、密封したり、運んだり、捨てられたりできる、おもちゃのマイクロワールドのためのオープンワールドの理屈である。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Most work on physical reasoning, both in artificial intelligence and in
cognitive science, has focused on closed-world reasoning, in which it is
assumed that the problem specification specifies all relevant objects and
substance, all their relations in an initial situation, and all exogenous
events. However, in many situations, it is important to do open-world
reasoning; that is, making valid conclusions from very incomplete information.
We have implemented in Prolog an open-world reasoner for a toy microworld of
containers that can be loaded, unloaded, sealed, unsealed, carried, and dumped.
- Abstract(参考訳): 人工知能と認知科学の両方において、身体的推論に関するほとんどの研究は、クローズドワールド推論に焦点を当てており、問題仕様は関連するすべてのオブジェクトと物質、初期状況におけるそれらの関係、および全ての外因性事象を規定していると仮定されている。
しかし、多くの場合、オープンワールドの推論、すなわち、非常に不完全な情報から妥当な結論を出すことが重要である。
私たちはPrologで、コンテナのロード、アンロード、シール、アンシール、輸送、廃棄が可能な、おもちゃのマイクロワールドのオープンワールド理化器を実装しました。
関連論文リスト
- STAR: A Benchmark for Situated Reasoning in Real-World Videos [94.78038233351758]
本稿では,実世界のビデオに対して,状況抽象化と論理的質問応答による位置推論能力を評価する新しいベンチマークを提案する。
データセットには、インタラクション、シーケンス、予測、実現可能性の4つのタイプが含まれている。
本稿では,視覚知覚,状況抽象化,言語理解,機能推論を両立させることができる診断型ニューロシンボリックモデルを提案する。
論文 参考訳(メタデータ) (2024-05-15T21:53:54Z) - Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation [24.584926992534346]
本稿では,GFaiR(Generalizable and Faithful Reasoner)という新しいフレームワークを提案する。
解法の難解化は、推論規則を拡張し、矛盾による証明の原理を採用することによって、全ての一階論理推論問題を解く能力を持つ。
我々のシステムは、単純なシナリオでパフォーマンスを維持しながら、複雑なシナリオで最先端のパフォーマンスを達成することで、これまでの作業より優れています。
論文 参考訳(メタデータ) (2024-04-02T06:28:44Z) - Depth-bounded Epistemic Logic [0.0]
本稿では,S5の拡張であるDBELについて述べる。
我々はDBELを拡張して,有界深度エージェントの公開告知をサポートし,結果のDPAL論理が公開告知ロジックから標準公理をどのように一般化するかを示す。
これらの論理は、従来の泥だらけ児問題において、エージェントがこの問題をうまく解決するのに必要な深度知識の上限と下限を含む、境界付きモーダル深度推論のエージェントをどのように扱うかを説明するために用いられる。
論文 参考訳(メタデータ) (2023-07-11T07:01:35Z) - Reasoning about Causality in Games [63.930126666879396]
因果推論とゲーム理論推論は人工知能の基本的なトピックである。
本稿では,エージェントの意思決定ルールとゲームを管理する分布の依存関係をエンコードするメカニケードゲームを紹介する。
因果ゲームと他の形式主義の対応を記述し、他の因果ゲームやゲーム理論モデルがサポートしていない問合せにどのように因果ゲームが使えるかを説明する。
論文 参考訳(メタデータ) (2023-01-05T22:47:28Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳(メタデータ) (2022-10-22T16:01:13Z) - JECC: Commonsense Reasoning Tasks Derived from Interactive Fictions [75.42526766746515]
本稿では,人間のインタラクティブ・フィクション(IF)ゲームプレイ・ウォークスルーに基づく新しいコモンセンス推論データセットを提案する。
本データセットは,事実知識ではなく,機能的コモンセンス知識ルールの評価に重点を置いている。
実験の結果、導入したデータセットは、以前の機械読影モデルと新しい大規模言語モデルに難題であることが示されている。
論文 参考訳(メタデータ) (2022-10-18T19:20:53Z) - Action Languages Based Actual Causality for Computational Ethics: a
Sound and Complete Implementation in ASP [4.3888374733778575]
本稿では、アクション言語に適した実際の因果関係定義から論理プログラミングへの完全かつ健全な翻訳を提供する。
得られた論理プログラムは複雑な因果関係を扱うことができる。
論文 参考訳(メタデータ) (2022-05-05T21:00:59Z) - Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
私たちは、常識と一時的な知識のヒントの両方を階層的にカバーする動機があります。
具体的には,文の背骨成分を抽出し,知識単位の一般的な定式化を提案する。
次に、事実単位の上にスーパーグラフを構築し、文レベル(事実群間の関係)と実体レベルの相互作用の利点を享受する。
論文 参考訳(メタデータ) (2021-05-21T13:11:13Z) - The Role of General Intelligence in Mathematical Reasoning [0.0]
オブジェクトは数学の領域の中心であり、それに対する私たちの相互作用と推論です。
現代認知科学とA.I.では、物理領域と数学領域は別々に探索される。
数学的な対象が非数学的対象と同等の空間を持つ,オブジェクト表現の学習のための抽象的理論的枠組みについて述べる。
論文 参考訳(メタデータ) (2021-04-27T20:43:25Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。