952,312 research outputs found
Reasoning About Knowledge of Unawareness
Awareness has been shown to be a useful addition to standard epistemic logic
for many applications. However, standard propositional logics for knowledge and
awareness cannot express the fact that an agent knows that there are facts of
which he is unaware without there being an explicit fact that the agent knows
he is unaware of. We propose a logic for reasoning about knowledge of
unawareness, by extending Fagin and Halpern's \emph{Logic of General
Awareness}. The logic allows quantification over variables, so that there is a
formula in the language that can express the fact that ``an agent explicitly
knows that there exists a fact of which he is unaware''. Moreover, that formula
can be true without the agent explicitly knowing that he is unaware of any
particular formula. We provide a sound and complete axiomatization of the
logic, using standard axioms from the literature to capture the quantification
operator. Finally, we show that the validity problem for the logic is
recursively enumerable, but not decidable.Comment: 32 page
Reasoning about Knowledge and Strategies under Hierarchical Information
Two distinct semantics have been considered for knowledge in the context of
strategic reasoning, depending on whether players know each other's strategy or
not. The problem of distributed synthesis for epistemic temporal specifications
is known to be undecidable for the latter semantics, already on systems with
hierarchical information. However, for the other, uninformed semantics, the
problem is decidable on such systems. In this work we generalise this result by
introducing an epistemic extension of Strategy Logic with imperfect
information. The semantics of knowledge operators is uninformed, and captures
agents that can change observation power when they change strategies. We solve
the model-checking problem on a class of "hierarchical instances", which
provides a solution to a vast class of strategic problems with epistemic
temporal specifications on hierarchical systems, such as distributed synthesis
or rational synthesis
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
In this paper we introduce Epistemic Strategy Logic (ESL), an extension of
Strategy Logic with modal operators for individual knowledge. This enhanced
framework allows us to represent explicitly and to reason about the knowledge
agents have of their own and other agents' strategies. We provide a semantics
to ESL in terms of epistemic concurrent game models, and consider the
corresponding model checking problem. We show that the complexity of model
checking ESL is not worse than (non-epistemic) Strategy LogicComment: In Proceedings SR 2014, arXiv:1404.041
Reasoning about Knowledge in Linear Logic: Modalities and Complexity
In a recent paper, Jean-Yves Girard commented that âit has been a long time since philosophy has stopped intereacting with logicâ[17]. Actually, it has no
Reasoning about Knowledge in Context
In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare â within a unique formal framework â different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle
- âŚ