English
Related papers

Related papers: Sufficient reason and reason enough

200 papers

I present arguments against the hypothesis put forward by Silver, Singh, Precup, and Sutton ( https://www.sciencedirect.com/science/article/pii/S0004370221000862 ) : reward maximization is not enough to explain many activities associated…

Artificial Intelligence · Computer Science 2024-11-12 Vacslav Glukhov

Logical reasoning is central to human cognition and intelligence. It includes deductive, inductive, and abductive reasoning. Past research of logical reasoning within AI uses formal language as knowledge representation and symbolic…

Computation and Language · Computer Science 2024-02-19 Zonglin Yang , Xinya Du , Rui Mao , Jinjie Ni , Erik Cambria

Arising out of an attempt at a new foundations of mathematics, in which relations are more primitive than sets, and out of the theoretical physicists' concept of underlying causes of empirical phenomena, the idea of a purely mathematical…

History and Philosophy of Physics · Physics 2011-11-22 Helier Robinson

Many believe that the deep question of "why is there something rather than nothing?" is unanswerable. The universe just is and no further explanation for its existence is possible. In this paper I explain why this question must have an…

General Physics · Physics 2012-05-15 Peter Lynds

The doomsday argument is a probabilistic argument that claims to predict the total lifetime of the human race. By examining the case of an individual lifetime, I conclude that the argument is fundamentally related to consciousness. I derive…

General Relativity and Quantum Cosmology · Physics 2007-05-23 John F. G. Eastmond

The recent paper `"Reward is Enough" by Silver, Singh, Precup and Sutton posits that the concept of reward maximisation is sufficient to underpin all intelligence, both natural and artificial. We contest the underlying assumption of Silver…

A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason about policies. Because we use first-order logic, policies…

Logic in Computer Science · Computer Science 2007-05-23 Joseph Y. Halpern , Vicky Weissman

We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization…

Artificial Intelligence · Computer Science 2014-08-08 Joseph Y. Halpern , Riccardo Pucella

Stereotypical reasoning assumes that the situation at hand is one of a kind and that it enjoys the properties generally associated with that kind of situation. It is one of the most basic forms of nonmonotonic reasoning. A formal model for…

Artificial Intelligence · Computer Science 2007-05-23 Daniel Lehmann

Despite significant achievements and current interest in machine learning and artificial intelligence, the quest for a theory of intelligence, allowing general and efficient problem solving, has done little progress. This work tries to…

Artificial Intelligence · Computer Science 2020-12-18 Abel Torres Montoya

A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), ''it is not just a matter of the future being determined by the past; the entire history of the…

Quantum Physics · Physics 2024-05-01 Eddy Keming Chen

It is widely believed that theory is useful in physics because it describes simple systems and that strictly empirical phenomenological approaches are necessary for complex biological and social systems. Here we prove based upon an analysis…

Physics and Society · Physics 2013-08-15 Yaneer Bar-Yam

It is often thought that the existence of other worlds cannot be scientifically verified and therefore should be treated as philosophical speculation. In this article, I describe several methods for determining if other worlds exist, even…

History and Philosophy of Physics · Physics 2014-09-29 Austin Gerig

Cognitive theories for reasoning are about understanding how humans come to conclusions from a set of premises. Starting from hypothetical thoughts, we are interested which are the implications behind basic everyday language and how do we…

Artificial Intelligence · Computer Science 2022-05-11 Emmanuelle Dietz , Johannes K. Fichte , Florim Hamiti

Reasoning does not work well when done in isolation from its significance, both to the needs and interests of an agent and with respect to the wider world. Moreover, those issues may best be handled with a new sort of data structure that…

Artificial Intelligence · Computer Science 2016-08-24 Don Perlis

The problematic relationship between science and philosophy has, since the beginning of modernity, divided the world into two separate domains: nature and human. Some of today's schools of philosophy and epistemological inquiry have…

History and Philosophy of Physics · Physics 2019-10-01 Vedad Famourzadeh , Maysam Sefidkhosh

In the context of strategic games, we provide an axiomatic proof of the statement Common knowledge of rationality implies that the players will choose only strategies that survive the iterated elimination of strictly dominated strategies.…

Computer Science and Game Theory · Computer Science 2010-06-28 Jonathan A. Zvesper , Krzysztof R. Apt

The Anthropic Principle has been with us since the 1970s. This Principle is advanced to account for the "fine tuning" of the 25 constants of the Standard Model of Particle Physics. Were these constants very different, life could not exist.…

History and Philosophy of Physics · Physics 2022-05-26 Stuart Kauffman

Despite the prevalence of the Computational Theory of Mind and the Connectionist Model, the establishing of the key principles of the Cognitive Science are still controversy and inconclusive. This paper proposes the concept of Pattern…

Artificial Intelligence · Computer Science 2011-06-02 Gilberto de Paiva

We present some arguments for the thesis that a set-theoretic inspired faith, in the ability of intuitive truth to faithfully reflect relationships between elements of a Platonic universe, may be as misplaced as an assumption that such…

General Mathematics · Mathematics 2007-05-23 Bhupinder Singh Anand