191,418 research outputs found
Conflict vs causality in event structures
Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the literature. In this paper, we study how the spectrum of equivalences for Labelled Prime Event Structures built by Van Glabbeek and Goltz changes if we consider two simplified notions of event structures: the first is obtained by removing the causality relation (Coherence Spaces) and the second by removing the conflict relation (Elementary Event Structures). As expected, in both cases the spectrum turns out to be simplified, since some notions of equivalence coincide in the simplified settings; actually, we prove that removing causality simplifies the spectrum considerably more than removing conflict. Furthermore, while the labeling of events and their cardinality play no role when removing causality, both the labeling function and the cardinality of the event set dramatically influence the spectrum of equivalences in the conflict-free setting
Inferring Narrative Causality between Event Pairs in Films
To understand narrative, humans draw inferences about the underlying
relations between narrative events. Cognitive theories of narrative
understanding define these inferences as four different types of causality,
that include pairs of events A, B where A physically causes B (X drop, X
break), to pairs of events where A causes emotional state B (Y saw X, Y felt
fear). Previous work on learning narrative relations from text has either
focused on "strict" physical causality, or has been vague about what relation
is being learned. This paper learns pairs of causal events from a corpus of
film scene descriptions which are action rich and tend to be told in
chronological order. We show that event pairs induced using our methods are of
high quality and are judged to have a stronger causal relation than event pairs
from Rel-grams
Causality Problem in a Holographic Dark Energy Model
In the model of holographic dark energy, there is a notorious problem of
circular reasoning between the introduction of future event horizon and the
accelerating expansion of the universe. We examine the problem after dividing
into two parts, the causality problem of the equation of motion and the
circular logic on the use of the future event horizon. We specify and isolate
the root of the problem from causal equation of motion as a boundary condition,
which can be determined from the initial data of the universe. We show that
there is no violation of causality if it is defined appropriately and the
circular logic problem can be reduced to an initial value problem.Comment: 5 page
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)
We address the problem of finding nice labellings for event structures of
degree 3. We develop a minimum theory by which we prove that the labelling
number of an event structure of degree 3 is bounded by a linear function of the
height. The main theorem we present in this paper states that event structures
of degree 3 whose causality order is a tree have a nice labelling with 3
colors. Finally, we exemplify how to use this theorem to construct upper bounds
for the labelling number of other event structures of degree 3
- …