Results 141 to 150 of about 14,883 (179)

Physics and proof theory.

open access: yesAppl Math Comput, 2012
Paleo BW.
europepmc   +1 more source

The problem of logical omniscience, I

SynthÈse, 1991
AbstractThis second exploration of the problem of logical omniscience uses a simple abstract model of a community of knowers, developed by theoretical computer scientists, to help sharpen the problem. Knowers are modelled by processors in a distributed system, such as a computer network, and knowledge is defined in terms of the information about the ...
exaly   +2 more sources

Logical omniscience, semantics, and models of belief

Computational Intelligence, 1988
Logical omniscience may be described (roughly) as the state of affairs in which an agent explicitly believes anything which is logically entailed by that agent's beliefs. It is widely agreed that humans are not logically omniscient, and that an adequate formal model of belief, coupled with a correct semantic theory, would not entail logical omniscience.
exaly   +2 more sources

SOLVING THE PROBLEM OF LOGICAL OMNISCIENCE

Nous-Supplement: Philosophical Issues, 2018
AbstractThis paper looks at three ways of addressing probabilism's implausible requirement of logical omniscience. The first and most common strategy says it's okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’.
exaly   +2 more sources

Dealing with logical omniscience

Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge - TARK '07, 2007
We examine four approaches for dealing with the logical omniscience problem and their potential applicability: the syntactic approach, awareness, algorithmic knowledge, and impossible possible worlds. Although in some settings these approaches are equi-expressive and can capture all epistemic states, in other settings of interest they are not.
Joseph Y. Halpern, Riccardo Pucella
openaire   +1 more source

Subjective Situations and Logical Omniscience

Studia Logica, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Antonio Moreno   +2 more
openaire   +1 more source

Epistemic logic and logical omniscience: A survey

International Journal of Intelligent Systems, 1997
Reasoning about knowledge and belief has been investigated from the points of view of philosophy, game theory, distributed systems, and artificial intelligence. A formal framework for an investigation of reasoning about knowledge and belief is provided by epistemic logic.
openaire   +2 more sources

Logical Omniscience and the Cost of Deliberation

2001
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the behaviour of a resource bounded agent. We propose two logics which take into account 'deliberation time' but use a more or less standard possible worlds semantics with ...
Natasha Alechina, Brian Logan 0001
openaire   +1 more source

Home - About - Disclaimer - Privacy