منابع مشابه
Delusions of Omniscience
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6n et. al. [1985], Giirdenfors [1988]) are used for the representation of belief. Both kinds of logic are omniscient in various ways. We address these delusions of omniscience in this paper. We begin by defining three kinds of omniscience logical, deductive, and factual. We will t...
متن کاملCommunication for Omniscience
This paper considers the communication for omniscience (CO) problem: A set of users observe a discrete memoryless multiple source and want to recover the entire multiple source via noise-free broadcast communications. We study the problem of how to determine an optimal rate vector that attains omniscience with the minimum sum-rate, the total number of communications. The results cover both asym...
متن کاملLogical omniscience as infeasibility
Article history: Available online 20 August 2013 MSC: 03B45 03B60 03F07 68Q17
متن کاملLogical Omniscience: A Survey
Logics are powerful tools with which to reason about the behaviour of AI agents. A particular logic may provide an agent with an internal language with which it can represent and reason about the world, and act based upon its internal manipulation of this language. We can also use logics to reason about the behaviour of agents from an external perspective. For example, we could use a dynamic lo...
متن کاملGrounding and Omniscience
I’m going to argue that omniscience is impossible and therefore that there is no God. The argument turns on the notion of grounding. After illustrating and clarifying that notion, I’ll start the argument in earnest. The first step will be to lay out five claims, one of which is the claim that there is an omniscient being, and the other four of which are claims about grounding. I’ll prove that t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Thoracic and Cardiovascular Surgery
سال: 1984
ISSN: 0022-5223
DOI: 10.1016/s0022-5223(19)35426-1