Open Access
Knowledge and implicit knowledge in a distributed environment
Ronald Fagin,Moshe Y. Vardi +1 more
- pp 187-206
Reads0
Chats0
TLDR
The class of formulas in the propositional modal logic of knowledge that are valid in attainable knowledge states are axiomatized, the complexity of the decision problem is determined, and the states of knowledge are characterized.About:
The article was published on 1986-03-03 and is currently open access. It has received 31 citations till now. The article focuses on the topics: Procedural knowledge & Domain knowledge.read more
Citations
More filters
Journal ArticleDOI
A guide to completeness and complexity for modal logics of knowledge and belief
Joseph Y. Halpern,Yoram Moses +1 more
TL;DR: It is shown that while the problem of deciding satisfiability of an S5 formula with one agent is NP-complete, the problem for many agents is PSPACE-complete and the problem becomes complete for exponential time once a common knowledge operator is added to the language.
Journal ArticleDOI
Knowledge and common knowledge in a byzantine environment: crash failures
Cynthia Dwork,Yoram Moses +1 more
TL;DR: By analyzing the states of knowledge that the processors attain in an unreliable system of a simple type, this work captures some of the basic underlying structure of such systems and derives a new protocol for this problem that is optimal in all runs, rather than just always matching the worst-case lower bound.
Journal ArticleDOI
Integration of weighted knowledge bases
TL;DR: A formal semantics for merging multiple knowledge bases with weights is proposed, which has desirable properties such as independence of the syntax forms of the knowledge bases and obeying the weighted majority rule in case of conflicts.
Journal ArticleDOI
Using reasoning about knowledge to analyze distributed systems
TL;DR: A protocol must be designed to function correctly even if it is possible to be lost, for messages to arrive out of order, or for some processor to fail.
Book ChapterDOI
Reasoning about knowledge: an overview
TL;DR: This overview paper will attempt to identify and describe some of the common threads that tie together work in reasoning about knowledge in such diverse fields as philosophy, economics, linguistics, artificial intelligence, and theoretical computer science.
References
More filters
Book ChapterDOI
Some philosophical problems from the standpoint of artificial intelligence
TL;DR: In this paper, the authors consider the problem of reasoning about whether a strategy will achieve a goal in a deterministic world and present a method to construct a sentence of first-order logic which will be true in all models of certain axioms if and only if a certain strategy can achieve a certain goal.
Journal ArticleDOI
Semantical analysis of modal logic i. normal propositional calculi
TL;DR: In this article, a semantical analysis of modal logic ii and non-normal modal propositional calculi is presented, and the tableaux that leads to a decision procedure for the propositional calculus is considered.
Proceedings Article
A guide to the modal logics of knowledge and belief: preliminary draft
Joseph Y. Halpern,Yoram Moses +1 more
TL;DR: The possible-worlds semantics for propositional logics of knowledge and belief is reviewed and it is shown that while the problem of deciding satisfiability of an S5 formula with one knower is NP-complete, the problem for many knowers is PSPACE-complete.