13,200 research outputs found
Learning Action Models: Qualitative Approach
In dynamic epistemic logic, actions are described using action models. In
this paper we introduce a framework for studying learnability of action models
from observations. We present first results concerning propositional action
models. First we check two basic learnability criteria: finite identifiability
(conclusively inferring the appropriate action model in finite time) and
identifiability in the limit (inconclusive convergence to the right action
model). We show that deterministic actions are finitely identifiable, while
non-deterministic actions require more learning power-they are identifiable in
the limit. We then move on to a particular learning method, which proceeds via
restriction of a space of events within a learning-specific action model. This
way of learning closely resembles the well-known update method from dynamic
epistemic logic. We introduce several different learning methods suited for
finite identifiability of particular types of deterministic actions.Comment: 18 pages, accepted for LORI-V: The Fifth International Conference on
Logic, Rationality and Interaction, October 28-31, 2015, National Taiwan
University, Taipei, Taiwa
Knowing Values and Public Inspection
We present a basic dynamic epistemic logic of "knowing the value". Analogous
to public announcement in standard DEL, we study "public inspection", a new
dynamic operator which updates the agents' knowledge about the values of
constants. We provide a sound and strongly complete axiomatization for the
single and multi-agent case, making use of the well-known Armstrong axioms for
dependencies in databases
Logics of Temporal-Epistemic Actions
We present Dynamic Epistemic Temporal Logic, a framework for reasoning about
operations on multi-agent Kripke models that contain a designated temporal
relation. These operations are natural extensions of the well-known "action
models" from Dynamic Epistemic Logic. Our "temporal action models" may be used
to define a number of informational actions that can modify the "objective"
temporal structure of a model along with the agents' basic and higher-order
knowledge and beliefs about this structure, including their beliefs about the
time. In essence, this approach provides one way to extend the domain of action
model-style operations from atemporal Kripke models to temporal Kripke models
in a manner that allows actions to control the flow of time. We present a
number of examples to illustrate the subtleties involved in interpreting the
effects of our extended action models on temporal Kripke models. We also study
preservation of important epistemic-temporal properties of temporal Kripke
models under temporal action model-induced operations, provide complete
axiomatizations for two theories of temporal action models, and connect our
approach with previous work on time in Dynamic Epistemic Logic
Causality and Temporal Dependencies in the Design of Fault Management Systems
Reasoning about causes and effects naturally arises in the engineering of
safety-critical systems. A classical example is Fault Tree Analysis, a
deductive technique used for system safety assessment, whereby an undesired
state is reduced to the set of its immediate causes. The design of fault
management systems also requires reasoning on causality relationships. In
particular, a fail-operational system needs to ensure timely detection and
identification of faults, i.e. recognize the occurrence of run-time faults
through their observable effects on the system. Even more complex scenarios
arise when multiple faults are involved and may interact in subtle ways.
In this work, we propose a formal approach to fault management for complex
systems. We first introduce the notions of fault tree and minimal cut sets. We
then present a formal framework for the specification and analysis of
diagnosability, and for the design of fault detection and identification (FDI)
components. Finally, we review recent advances in fault propagation analysis,
based on the Timed Failure Propagation Graphs (TFPG) formalism.Comment: In Proceedings CREST 2017, arXiv:1710.0277
Inquisitive bisimulation
Inquisitive modal logic InqML is a generalisation of standard Kripke-style
modal logic. In its epistemic incarnation, it extends standard epistemic logic
to capture not just the information that agents have, but also the questions
that they are interested in. Technically, InqML fits within the family of
logics based on team semantics. From a model-theoretic perspective, it takes us
a step in the direction of monadic second-order logic, as inquisitive modal
operators involve quantification over sets of worlds. We introduce and
investigate the natural notion of bisimulation equivalence in the setting of
InqML. We compare the expressiveness of InqML and first-order logic in the
context of relational structures with two sorts, one for worlds and one for
information states. We characterise inquisitive modal logic, as well as its
multi-agent epistemic S5-like variant, as the bisimulation invariant fragment
of first-order logic over various natural classes of two-sorted structures.
These results crucially require non-classical methods in studying bisimulation
and first-order expressiveness over non-elementary classes of structures,
irrespective of whether we aim for characterisations in the sense of classical
or of finite model theory
Bisimulation in Inquisitive Modal Logic
Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style
modal logic. In its epistemic incarnation, it extends standard epistemic logic
to capture not just the information that agents have, but also the questions
that they are interested in. Technically, InqML fits within the family of
logics based on team semantics. From a model-theoretic perspective, it takes us
a step in the direction of monadic second-order logic, as inquisitive modal
operators involve quantification over sets of worlds. We introduce and
investigate the natural notion of bisimulation equivalence in the setting of
InqML. We compare the expressiveness of InqML and first-order logic, and
characterise inquisitive modal logic as the bisimulation invariant fragments of
first-order logic over various classes of two-sorted relational structures.
These results crucially require non-classical methods in studying bisimulations
and first-order expressiveness over non-elementary classes.Comment: In Proceedings TARK 2017, arXiv:1707.0825
On Properties of Update Sequences Based on Causal Rejection
We consider an approach to update nonmonotonic knowledge bases represented as
extended logic programs under answer set semantics. New information is
incorporated into the current knowledge base subject to a causal rejection
principle enforcing that, in case of conflicts, more recent rules are preferred
and older rules are overridden. Such a rejection principle is also exploited in
other approaches to update logic programs, e.g., in dynamic logic programming
by Alferes et al. We give a thorough analysis of properties of our approach, to
get a better understanding of the causal rejection principle. We review
postulates for update and revision operators from the area of theory change and
nonmonotonic reasoning, and some new properties are considered as well. We then
consider refinements of our semantics which incorporate a notion of minimality
of change. As well, we investigate the relationship to other approaches,
showing that our approach is semantically equivalent to inheritance programs by
Buccafurri et al. and that it coincides with certain classes of dynamic logic
programs, for which we provide characterizations in terms of graph conditions.
Therefore, most of our results about properties of causal rejection principle
apply to these approaches as well. Finally, we deal with computational
complexity of our approach, and outline how the update semantics and its
refinements can be implemented on top of existing logic programming engines.Comment: 59 pages, 2 figures, 3 tables, to be published in "Theory and
Practice of Logic Programming
- …