๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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


Logic For Reasoning About Knowledge
โœ Ewa Orlowska ๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 719 KB
Isotone relations and the fixed point pr
โœ James W Walker ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 659 KB

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