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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Fuster Parra, P. & Ligeza, A. (1996). A model for representing causal diagnostic reasoning. In Cybernetic and Systems '96, pages 1222-1227.
Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11): 832-843.
Bouzid, M. & Ladkin, P. (1995). Simple reasoning with time-dependent propositions. Journal of the IGPL.
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.
Brusoni,V., Console, L., Terenziani, P., & Theseider Dupré, D. (1996).Aspectrum of definitions for temporal model-based diagnosis. In Proceedings of Seventh International Workshop on Principles of Diagnosis, pages 53-68.
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.
Console, L. & Torasso, P. (1991). On the coperation between abductive and temporal reasoning in medical diagnosis. Artificial Intelligence, 3(6): 291-311.
Console, L. & Torasso, P. (1991). A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3): 133-141.
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.
Darwiche, A. & Pearl, J. (1994). Symbolic causal networks. In Proceedings of the 12th National Conference on AI, AAAI'94, pages 238-244.
de Kleer, J., Mackworth, A., and Reiter, R. (1992). Characterizing diagnoses and systems. Artificial Intelligence, 56: 197-222.
Golumbic, M. C. & Shamir, R. (1993). Complexity and algorithms for reasoning about time: A graphtheoritic approach. Journal of the ACM, pages 1108-1133.
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.
Hamscher, W., Console, L., and de Kleer, J. (1992). Readings in Model-Based Diagnosis. Morgan Kaufmann.
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.
Isermann, R. (1994). Integration of fault detection and diagnosis methods. SAFEPROCESS'94, pages 597-612.
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.
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.
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.
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.
Ligeza, A. & Fuster Parra, P. (1997). And/or/not causal graphs-a model for diagnostic reasoning. Applied Mathematics and Computer Science, 7: 185-203.
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.
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.
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.
Nilsson, N. J. (1971). Problem-Solving Methods in Artificial Intelligence. McGraw-Hill Book Company, New York.
Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann.
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.
Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32: 57-95.
Schrag, R. (1996). Compilation for critically constrained knowledge bases. In Proceedings of the 13th National Conference on Artificial Intelligence, AAAI'96, pages 511-515.
Torasso, P. & Console, L. (1989). Diagnostic Problem Solving. Combining Heuristic Approximate and Causal Reasoning. North Oxford Academic, a Division of Kogan Page, London.
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.
van Beek, P. G. & Cohen, R. (1990). Exact and approximate reasoning about temporal relations. Computational Intelligence, pages 132-144.
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.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bouzid, M., Ligeza, A. Temporal Causal Abduction. Constraints 5, 303–319 (2000). https://doi.org/10.1023/A:1009872918405
Issue Date:
DOI: https://doi.org/10.1023/A:1009872918405