Towards Causal Analysis of Protocol Violations
When a protocol specified within a given system fails to ensure some desired properties, it is important to identify the actual causes of this failure. In this paper, we utilize a formal model of causal analysis in the situation calculus to show how one can specify the actual causes of such violatio...
Saved in:
Published in | Advances in Artificial Intelligence pp. 359 - 365 |
---|---|
Main Authors | , |
Format | Book Chapter |
Language | English |
Published |
Cham
Springer International Publishing
|
Series | Lecture Notes in Computer Science |
Online Access | Get full text |
Cover
Loading…
Summary: | When a protocol specified within a given system fails to ensure some desired properties, it is important to identify the actual causes of this failure. In this paper, we utilize a formal model of causal analysis in the situation calculus to show how one can specify the actual causes of such violations in non-deterministic protocols defined within dynamic systems. We show that our definition has some desirable properties. |
---|---|
ISBN: | 3030183041 9783030183042 |
ISSN: | 0302-9743 1611-3349 |
DOI: | 10.1007/978-3-030-18305-9_30 |