article

Temporal Causal Abduction

Authors:

Antoni LigezaAuthors Info & Claims

Constraints, Volume 5, Issue 3

Pages 303 - 319

https://doi.org/10.1023/A:1009872918405

Published: 01 July 2000 Publication History

Abstract

The paper is devoted to presentation of the idea of Temporal Causal Networks (TCN). Temporal Causal Networks constitute a tool for representing and dealing with causal dependencies propagation over time. A temporal causal network is a causal network incorporating explicit representation of time during which its symptoms/nodes are valid, not valid, or unknown. The atemporal causal structure is basically an AND/OR/NOT causal graph, i.e. a causal graph incorporating basic logical connectives for the representation of different types of causal dependencies. The presented approach uses a specific time constraints propagation algorithm to determine possible system behavior in time. The main application includes simulation, monitoring and elements of diagnostic reasoning for dynamic systems with explicit time representation.

References

[1]

1. Fuster Parra, P. & Ligeza, A. (1996). A model for representing causal diagnostic reasoning. In Cybernetic and Systems '96, pages 1222-1227.

[2]

2. Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11): 832-843.

Digital Library

[3]

3. Bouzid, M. & Ladkin, P. (1995). Simple reasoning with time-dependent propositions. Journal of the IGPL.

[4]

4. Bouzid, M. & Ligeza, A. (1995). Temporal logic based on characteristic functions. In C. Rolliger, I. Wachsmuth, and W. Bauer, editors, Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, volume 981 of Lecture Notes in Artificial Intelligence, pages 221-232, Springer Verlag.

Digital Library

[5]

5. Brusoni, V., Console, L., Terenziani, P., & Theseider Dupré, D. (1996). A spectrum of definitions for temporal model-based diagnosis. In Proceedings of Seventh International Workshop on Principles of Diagnosis, pages 53-68.

[6]

6. Console, L., Dupré, Q. T., & Torasso, P. (1989). A theory of diagnosis for incomplete causal models. In Proceedings of the 10th International Joint Conference on Artificial Intelligence, IJCAI'89, pages 1311- 1317.

[7]

7. Console, L. & Torasso, P. (1991). On the coperation between abductive and temporal reasoning in medical diagnosis. Artificial Intelligence, 3(6): 291-311.

Digital Library

[8]

8. Console, L. & Torasso, P. (1991). A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3): 133-141.

Digital Library

[9]

9. Console, L. & Torasso, P. (1992). An approach to the compilation of operational knowledge from causal models. IEEE Transaction on Systems, Man and Cybernetics, 22(4): 772-789.

[10]

10. Darwiche, A. & Pearl, J. (1994). Symbolic causal networks. In Proceedings of the 12th National Conference on AI, AAAI'94, pages 238-244.

Digital Library

[11]

11. de Kleer, J., Mackworth, A., and Reiter, R. (1992). Characterizing diagnoses and systems. Artificial Intelligence , 56: 197-222.

Digital Library

[12]

12. Golumbic, M. C. & Shamir, R. (1993). Complexity and algorithms for reasoning about time: A graph-theoritic approach. Journal of the ACM, pages 1108-1133.

Digital Library

[13]

13. Guckenbiehl, T. & Schafer-Richter, G. (1990). Sidia: Extending prediction based diagnosis to dynamic models. In Proceedings of International Workshop on Expert System in Engineering, volume 981 of Lecture Notes in Artificial Intelligence, pages 53-68. Springer Verlag.

Digital Library

[14]

14. Hamscher, W., Console, L., and de Kleer, J. (1992). Readings in Model-Based Diagnosis. Morgan Kaufmann.

Digital Library

[15]

15. Hubner, T. (1991). Model-based diagnosis of complex systems: Structuring and temporal reasoning. In Proceedings of the Third Artificial Intelligence in Real-Time Control, pages 41-45.

[16]

16. Isermann, R. (1994). Integration of fault detection and diagnosis methods. SAFEPROCESS'94, pages 597- 612.

[17]

17. Kurumatani, K. (1995). Generating causal networks for mobile multi-agent systems with qualitative regions. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI'95, pages 1750- 1756.

Digital Library

[18]

18. Ladkin, P. B. (1986). Time representation: A taxonomy of interval relations. In Proceedings of the 5th National Conference on Artificial Intelligence, AAAI'86, pages 360-366.

[19]

19. Ligeza, A. & Fuster Parra, P. (1994). Qualitative knowledge representation and processing for causal diagnostic reasoning. Technical Report 28, Institute of Automatics AGH, Cracow. Available via e-mail.

[20]

20. Ligeza, A. & Fuster Parra, P. (1995). An approach to diagnosis through search of and/or/not causal graphs. In Proceedings of the IFAC Workshop on Artificial Intelligence in Real-Time Control, pages 126-131, Slovenia.

[21]

21. Ligeza, A. & Fuster Parra, P. (1997). And/or/not causal graphs--a model for diagnostic reasoning. Applied Mathematics and Computer Science, 7: 185-203.

[22]

22. Meiri, I. (1991). Combining qualitative and quantitative constraints in temporal reasoning. In Proceedings of the 9th National Conference on Artificial Intelligence, AAAI'91, pages 260-267, AAAI Press.

[23]

23. Nebel, B. & Burrcket, H-J. (1995). Reasoning about temporal relations: A maximal tractable subclass of allen's interval algebra. Journal of the ACM, pages 43-66.

Digital Library

[24]

24. Nejdl, W. & Gamper, J. (1994). Harnessing the power of temporal abstractions in model-based diagnosis of dynamic systems. In Proceedings of 11th European Conference on Artificial Intelligence, pages 667-671.

[25]

25. Nilsson, N. J. (1971). Problem-Solving Methods in Artificial Intelligence. McGraw-Hill Book Company, New York.

Digital Library

[26]

26. Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann.

Digital Library

[27]

27. Poole, D. (1989). Normality and faults in logic-based diagnosis. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, IJCAI'89, pages 1304-1310.

[28]

28. Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32: 57-95.

Digital Library

[29]

29. Schrag, R. (1996). Compilation for critically constrained knowledge bases. In Proceedings of the 13th National Conference on Artificial Intelligence, AAAI'96, pages 511-515.

Digital Library

[30]

30. Torasso, P. & Console, L. (1989). Diagnostic Problem Solving. Combining Heuristic Approximate and Causal Reasoning. North Oxford Academic, a Division of Kogan Page, London.

Digital Library

[31]

31. Harmelen, F. v. & Teije, A. t. (1994). Using domain knowledge to select solutions in abductive diagnosis. In Proceedings of 11th European Conference on Artificial Intelligence, pages 652-653.

[32]

32. van Beek, P. G. & Cohen, R. (1990). Exact and approximate reasoning about temporal relations. Computational Intelligence, pages 132-144.

Digital Library

[33]

33. Vilain, M., Kautz, H., & van Beek, P. G. (1989). Constraint propagation algorithms for temporal reasoning: A revised report. Readings in Qualitative Reasoning about Physical Systems, pages 373-381.

Digital Library

[34]

34. Vilain, M. B. & Kautz, H. (1986). Constraint propagation algorithms for temporal reasoning. In Proceedings of the 6th National Conference on Artificial Intelligence, AAAI'86, pages 377-382, AAAI Press.

Digital Library

Cited By

Creignou NSchmidt JThomas M(2010)Complexity of propositional abduction for restricted sets of boolean functionsProceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031748.3031754(8-16)Online publication date: 9-May-2010
https://dl.acm.org/doi/10.5555/3031748.3031754

Recommendations

Completing causal networks by meta-level abduction

Meta-level abduction is a method to abduce missing rules in explaining observations. By representing rule structures of a problem in a form of causal networks, meta-level abduction infers missing links and unknown nodes from incomplete networks to ...
Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction

Generating abductive explanations is the basis of several problem solving activities such as diagnosis, planning, and interpretation. Temporal abduction means generating explanations that do not only account for the presence of observations, but also ...
Causal temporal constraint networks for representing temporal knowledge

In this work we describe causal temporal constraint networks (CTCN) as a new computable model for representing temporal information and efficiently handling causality. The proposed model enables qualitative and quantitative temporal constraints to be ...

Comments

Information & Contributors

Information

Published In

cover image Constraints

Constraints Volume 5, Issue 3

July 2000

106 pages

ISSN:1383-7133

Issue’s Table of Contents

Copyright © Copyright © 2000 Kluwer Academic Publishers.

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 July 2000

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Creignou NSchmidt JThomas M(2010)Complexity of propositional abduction for restricted sets of boolean functionsProceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning10.5555/3031748.3031754(8-16)Online publication date: 9-May-2010
https://dl.acm.org/doi/10.5555/3031748.3031754

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents