論文の概要: Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge
- arxiv url: http://arxiv.org/abs/2307.04005v2
- Date: Tue, 18 Jul 2023 14:31:39 GMT
- ステータス: 処理完了
- システム内更新日: 2023-07-21 17:18:59.815614
- Title: Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge
- Title（参考訳）: 第19回合理性と知識の理論的側面に関する会議
- Authors: Rineke Verbrugge (University of Groningen)
- 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,
awareness and uncertainty, bounded rationality and resource-bounded reasoning,
commonsense 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,
including conference proceedings, is available at http://www.tark.org/
These proceedings contain the papers that have been accepted for presentation
at the Nineteenth Conference on Theoretical Aspects of Rationality and
Knowledge (TARK 2023), held between June 28 and June 30, 2023, at the
University of Oxford, United Kingdom. The conference website can be found at
https://sites.google.com/view/tark-2023
- Abstract（参考訳）: TARKカンファレンス(Theoretical aspects of Rationality and Knowledge)は、コンピュータ科学、人工知能、ゲーム理論、決定論、哲学、論理学、言語学、認知科学など、さまざまな分野の研究者を集結させることを目的としたカンファレンスである。
その目標は、合理性と知識に関する推論を含む学際的な問題の理解を深めることである。
1986年以降、ジョー・ハルパーン (Joe Halpern) の主導で世界各国で隔年開催されている。
関心の対象は、知識、信念、認識、不確実性、有界的合理性と資源境界推論、常識認識的推論、認識論理、認識論的ゲーム理論、知識と行動、知識とその他の精神状態に関する推論の応用、信念の修正、計算的社会選択、アルゴリズム的ゲーム理論、マルチエージェントシステムの基礎などである。
会議の手続きを含むTARKに関する情報はhttp://www.tark.org/で公開されている。これらの手続きには、2023年6月28日から6月30日にかけてオックスフォード大学で行われた第9回Rationality and Knowledge(TARK 2023)のプレゼンテーションで受け入れられた論文が含まれている。
カンファレンスのwebサイトはhttps://sites.google.com/view/tark-2023にある。
関連論文リスト
- Proceedings of the 21st International Conference on Quantum Physics and Logic [49.1574468325115]
QPLは毎年恒例のカンファレンスであり、量子計算、量子物理学、および関連する分野の数学的基盤に取り組んでいる学術的、産業的な研究者を集めている。
主な焦点は、代数的および分類的構造、形式言語、意味論的方法、および物理系、物理過程、およびそれらの構成の研究に適用可能な他の数学的およびコンピュータ科学技術の使用である。
論文 参考訳（メタデータ） (2024-08-09T15:04:17Z) - A Brief Introduction to Causal Inference in Machine Learning [51.31735291774885]
この講義ノートは、ニューヨーク大学データサイエンスセンターで、DS-GA 3001.003 "Special Topics in DS - Causal Inference in Machine Learning"のために作成されている。
論文 参考訳（メタデータ） (2024-05-14T17:41:55Z) - Proceedings of the Twentieth International Conference on Quantum Physics
and Logic [0.0]
第20回量子物理学・論理国際会議(QPL 2023)の手続きを含む。
QPLカンファレンスシリーズの目的は、量子計算、量子物理学、および関連する分野の数学的基礎に取り組んでいる学術および産業研究者を集結させることである。
論文 参考訳（メタデータ） (2023-08-23T06:50:47Z) - A Theory of Unsupervised Speech Recognition [60.12287608968879]
教師なし音声認識(英語: Unsupervised speech Recognition, ASR-U)は、音声のみの音声とテキストのみのコーパスから自動音声認識システムを学習する問題である。
本稿では,ランダム行列理論とニューラル・タンジェント・カーネルの理論に基づいて,ASR-U系の特性を研究するための一般的な理論的枠組みを提案する。
論文 参考訳（メタデータ） (2023-06-09T08:12:27Z) - Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
本研究では,コモンセンス推論における概念化の役割について検討し,人間の概念化を再現する枠組みを定式化する。
ATOMIC は大規模な人為的注釈付き CKG であり,この枠組みを分類プロベースで支援している。
論文 参考訳（メタデータ） (2022-06-03T12:24:49Z) - A Quantitative Symbolic Approach to Individual Human Reasoning [0.0]
文献から得られた知見を,論理的枠組みの中で認知的原理として定式化され,理論的推論の定量的概念を確立できることを示す。
非単調推論と計算機科学の技法、すなわち、解集合プログラミング(ASP)と呼ばれる解法パラダイムを用いる。
最後に、ASP.NETの可視性推論を使って、既存の実験の効果をテストし、異なる多数派反応を説明できます。
論文 参考訳（メタデータ） (2022-05-10T16:43:47Z) - Active Inference in Robotics and Artificial Agents: Survey and
Challenges [51.29077770446286]
我々は、状態推定、制御、計画、学習のためのアクティブ推論の最先端理論と実装についてレビューする。
本稿では、適応性、一般化性、堅牢性の観点から、その可能性を示す関連する実験を紹介する。
論文 参考訳（メタデータ） (2021-12-03T12:10:26Z) - 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) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
このレポートは、表現学習が生データから概念を誘導する方法を示しています。
このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
論文 参考訳（メタデータ） (2021-01-13T15:22:01Z) - Consciousness and Automated Reasoning [0.0]
本稿では,一階述語論理推論システムと大きな知識ベースの組み合わせを人工意識システムとして理解する方法について述べる。
このようなシステムは意識的なマインドキャッシングをうまく行うことができることを実証する。
論文 参考訳（メタデータ） (2020-01-26T11:43:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。