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 |