Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge
- URL: http://arxiv.org/abs/2307.04005v2
- Date: Tue, 18 Jul 2023 14:31:39 GMT
- Title: Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge
- Authors: Rineke Verbrugge (University of Groningen)
- Abstract summary: TARK conference aims to bring together researchers from a wide variety of fields.
Previous conferences have been held biennially around the world since 1986.
- Score: 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
Related papers
- A Brief Introduction to Causal Inference in Machine Learning [51.31735291774885]
This lecture note is produced for DS-GA 3001.003 "Special Topics in DS - Causal Inference in Machine Learning" at the Center for Data Science, New York University.
arXiv Detail & Related papers (2024-05-14T17:41:55Z) - Proceedings of the Twentieth International Conference on Quantum Physics
and Logic [0.0]
This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023)
The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas.
arXiv Detail & Related papers (2023-08-23T06:50:47Z) - A Theory of Unsupervised Speech Recognition [60.12287608968879]
Unsupervised speech recognition (ASR-U) is the problem of learning automatic speech recognition systems from unpaired speech-only and text-only corpora.
We propose a general theoretical framework to study the properties of ASR-U systems based on random matrix theory and the theory of neural tangent kernels.
arXiv Detail & Related papers (2023-06-09T08:12:27Z) - Neural Theory-of-Mind? On the Limits of Social Intelligence in Large LMs [77.88043871260466]
We show that one of today's largest language models lacks this kind of social intelligence out-of-the box.
We conclude that person-centric NLP approaches might be more effective towards neural Theory of Mind.
arXiv Detail & Related papers (2022-10-24T14:58:58Z) - Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
We study the role of conceptualization in commonsense reasoning, and formulate a framework to replicate human conceptual induction.
We apply the framework to ATOMIC, a large-scale human-annotated CKG, aided by the taxonomy Probase.
arXiv Detail & Related papers (2022-06-03T12:24:49Z) - A Quantitative Symbolic Approach to Individual Human Reasoning [0.0]
We take findings from the literature and show how these, formalized as cognitive principles within a logical framework, can establish a quantitative notion of reasoning.
We employ techniques from non-monotonic reasoning and computer science, namely, a solving paradigm called answer set programming (ASP)
Finally, we can fruitfully use plausibility reasoning in ASP to test the effects of an existing experiment and explain different majority responses.
arXiv Detail & Related papers (2022-05-10T16:43:47Z) - Active Inference in Robotics and Artificial Agents: Survey and
Challenges [51.29077770446286]
We review the state-of-the-art theory and implementations of active inference for state-estimation, control, planning and learning.
We showcase relevant experiments that illustrate its potential in terms of adaptation, generalization and robustness.
arXiv Detail & Related papers (2021-12-03T12:10:26Z) - Computational Argumentation and Cognition [0.3867363075280543]
This paper stems from the 1st Workshop on Computational Argumentation and Cognition (COGNITAR)
It argues that within the context of Human-Centric AI the use of theory and methods from Computational Argumentation for the study of Cognition can be a promising avenue to pursue.
The paper presents the main problems and challenges in the area that would need to be addressed, both at the scientific level but also at the level of synthesis of ideas and approaches from the various disciplines involved.
arXiv Detail & Related papers (2021-11-12T21:44:30Z) - Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge [0.0]
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a biannual conference that aims to bring together researchers from a wide variety of fields.
Its goal is to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.
Papers have been accepted for presentation at the Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), held between June 25 and June 27, 2021, at Tsinghua University at Beijing, China.
arXiv Detail & Related papers (2021-06-21T07:01:14Z) - Formalising Concepts as Grounded Abstractions [68.24080871981869]
This report shows how representation learning can be used to induce concepts from raw data.
The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces.
arXiv Detail & Related papers (2021-01-13T15:22:01Z) - Consciousness and Automated Reasoning [0.0]
We show how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system.
We demonstrate that such a system is very well able to do conscious mind wandering.
arXiv Detail & Related papers (2020-01-26T11:43:48Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.