Orthogonal relations for reasoning about posets
โ Scribed by Ajay D. Kshemkalyani; Roshan Kamath
- Book ID
- 102279529
- Publisher
- John Wiley and Sons
- Year
- 2002
- Tongue
- English
- Weight
- 104 KB
- Volume
- 17
- Category
- Article
- ISSN
- 0884-8173
No coin nor oath required. For personal study only.
โฆ Synopsis
In large distributed systems, event abstraction becomes an important issue in order to represent interactions and reason at the right level of abstraction. Abstract events are collections of more elementary events, which provide a view of the system execution at an appropriate level of granularity. Understanding how two abstract events relate to each other is a fundamental problem for knowledge representation and reasoning in a complex system. In this paper, we study how two abstract events in a distributed system are related to each other in terms of the more elementary causality relation. Specifically, we analyze the ways in which two abstract events can be related to each other orthogonally, that is, identify all the possible mutually independent relations by which two such events could be related to each other.
๐ SIMILAR VOLUMES
A strengthened form of the fixed point property for posets is presented, in which isotone functions are replaced by more general isotone relations. For finite posets, this 'relational fixed point property' turns out to be equivalent to dismantlability. But an example shows that not every infinite po