論文の概要: Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
- arxiv url: http://arxiv.org/abs/2511.20540v1
- Date: Tue, 25 Nov 2025 17:41:15 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-11-26 17:37:04.583225
- Title: Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
- Title(参考訳): 連帯性と知識の理論的側面に関する第20回講演会報告
- Authors: Adam Bjorndahl,
- Abstract要約: TARKカンファレンスは、さまざまな分野の研究者を集結させることを目的としている。
1986年以降、世界各国で隔年開催されている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory, decision theory, philosophy, logic, linguistics, and cognitive science. Its goal is to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held biennially around the world since 1986, on the initiative of Joe Halpern (Cornell University). Topics of interest include, but are not limited to, semantic models for knowledge, belief, uncertainty, awareness, bounded rationality, common sense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems. Information about TARK is available at http://www.tark.org/. These proceedings contain the papers that have been accepted for presentation at the Twentieth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2025), held July 14--16, 2025, at Heinrich-Heine-Universität, Düsseldorf, Germany. The conference website can be found at https://ccc.cs.uni-duesseldorf.de/tark-2025/.
- Abstract(参考訳): TARKカンファレンス(Theoretical aspects of Rationality and Knowledge)は、コンピュータ科学、人工知能、ゲーム理論、決定論、哲学、論理学、言語学、認知科学など、さまざまな分野の研究者を集結させることを目的としたカンファレンスである。
その目標は、合理性と知識に関する推論を含む学際的な問題の理解を深めることである。
1986年以降、ジョー・ハルパーン (Joe Halpern) の主導で世界各国で隔年開催されている。
関心のトピックは、知識、信念、不確実性、認識、有界合理性、共通感覚の推論、疫学論理、疫学ゲーム理論、知識と行動、知識と他の精神状態に関する推論の適用、信念の修正、計算社会選択、アルゴリズムゲーム理論、マルチエージェントシステムの基盤などである。
TARKに関する情報はhttp://www.tark.org/.comで入手できる。
これらの手続きには、ドイツ・デュッセルドルフのハインリッヒ・ハイネ大学において、2025年7月14日から16日にかけて開催された第20回合理性・知識の理論的側面に関する会議(TARK 2025)で承認された論文が含まれている。
カンファレンスのWebサイトはhttps://ccc.cs.uni-duesseldorf.de/tark-2025/で見ることができる。
関連論文リスト
- Proceedings of the 22nd International Conference on Quantum Physics and Logic [44.99833362998488]
QPLは毎年恒例のカンファレンスであり、量子計算、量子物理学、および関連する分野の数学的基盤に取り組んでいる学術的、産業的な研究者を集めている。
主な焦点は、代数的および分類的構造、形式言語、意味論的方法、および物理系、物理過程、およびそれらの構成の研究に適用可能な他の数学的およびコンピュータ科学技術の使用である。
論文 参考訳(メタデータ) (2025-08-19T08:31:29Z) - Proceedings of the 21st International Conference on Quantum Physics and Logic [49.1574468325115]
QPLは毎年恒例のカンファレンスであり、量子計算、量子物理学、および関連する分野の数学的基盤に取り組んでいる学術的、産業的な研究者を集めている。
主な焦点は、代数的および分類的構造、形式言語、意味論的方法、および物理系、物理過程、およびそれらの構成の研究に適用可能な他の数学的およびコンピュータ科学技術の使用である。
論文 参考訳(メタデータ) (2024-08-09T15:04:17Z) - Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge [0.0]
TARKカンファレンスは、さまざまな分野の研究者を集結させることを目的としている。
1986年以降、世界各国で隔年開催されている。
論文 参考訳(メタデータ) (2023-07-08T16:22:42Z) - Designing Ecosystems of Intelligence from First Principles [34.429740648284685]
このホワイトペーパーは、今後10年間(そしてそれ以上)、人工知能の分野における研究と発展のビジョンを概説している。
そのデノウメントは自然と合成の感覚形成のサイバー物理的なエコシステムであり、人間は統合的な参加者である。
このビジョンは、知性の物理学として読むことができる適応的行動の定式化である能動推論に基づいている。
論文 参考訳(メタデータ) (2022-12-02T18:24:06Z) - Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
本研究では,コモンセンス推論における概念化の役割について検討し,人間の概念化を再現する枠組みを定式化する。
ATOMIC は大規模な人為的注釈付き CKG であり,この枠組みを分類プロベースで支援している。
論文 参考訳(メタデータ) (2022-06-03T12:24:49Z) - Computational Argumentation and Cognition [0.3867363075280543]
第1回計算argumentation and Cognitionワークショップ(COGNITAR)に端を発する。
人間中心AIの文脈において、認知研究のための計算論からの理論と方法の使用は、追求するための有望な道である、と論じている。
本稿は、科学的レベルでも、関連する様々な分野からアイデアやアプローチを合成するレベルでも、対処すべき領域における主な問題と課題を提示する。
論文 参考訳(メタデータ) (2021-11-12T21:44:30Z) - Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge [0.0]
TARKカンファレンス(Theoretical aspects of Rationality and Knowledge)は、さまざまな分野の研究者を集結させることを目的とした隔年会議である。
その目標は、合理性と知識に関する推論を含む学際的な問題に対する理解を深めることである。
2021年6月25日から6月27日にかけて北京の清華大学で開催された第8回合理性・知識の理論的側面に関する会議(TARK 2021)で論文が提出された。
論文 参考訳(メタデータ) (2021-06-21T07:01:14Z) - Quantum Entropic Causal Inference [30.939150842529052]
エントロピー原理を利用して量子情報科学と因果推論を融合するための新しい理論的枠組みを提唱する。
提案したフレームワークを量子ノイズリンク上のメッセージ送信者を特定する実験的に関連するシナリオに適用する。
論文 参考訳(メタデータ) (2021-02-23T15:51:34Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳(メタデータ) (2021-01-13T15:22:01Z) - Consciousness and Automated Reasoning [0.0]
本稿では,一階述語論理推論システムと大きな知識ベースの組み合わせを人工意識システムとして理解する方法について述べる。
このようなシステムは意識的なマインドキャッシングをうまく行うことができることを実証する。
論文 参考訳(メタデータ) (2020-01-26T11:43:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。