Abstract
Retaining consistency for large knowledge bases is a difficult task. This holds especially in the case where the knowledge base comprise temporal knowledge and where the knowledge comes from independent and unreliable sources. In this paper we propose the use of temporal logics, i.e., CTL, to describe the background theory and the corresponding Kripke Structure to store the temporal knowledge. Moreover, we introduce a declarative formalization of belief revision which is necessary to keep the knowledge base in a consistent state. Finally, we discuss how the structure of CTL formulas can be used to implement belief revision. The research described in the paper is motivated by a project that deals with automating the analysis of meetings, e.g., to provide meeting summaries, where cameras, microphones, and other sources of knowledge has to be integrated.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Bond, G.W., Pagurek, B.: A Critical Analysis of Model-Based Diagnosis Meets Error Diagnosis in Logic Programs. Technical Report SCE-94-15, Carleton University, Dept. of Systems and Computer Engineering, Ottawa, Canada (1994)
Bond, G.W.: Logic Programs for Consistency-Based Diagnosis. PhD thesis, Carleton University, Faculty of Engineering, Ottawa, Canada (1994)
Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.: Enhancing model checking in verification by ai techniques. Artificial Intelligence (1999)
Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2), 244–263 (1986)
Console, L., Dupré, D.T., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation 1(5), 661–690 (1991)
Console, L., Friedrich, G., Dupré, D.T.: Model-based diagnosis meets error diagnosis in logic programs. In: Proceedings 13th International Joint Conf. on Artificial Intelligence, Chambery, pp. 1494–1499 (August 1993)
Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 995–1072. J. van Leeuwen, North-Holland (1990)
Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M.: Consistency based diagnosis of configuration knowledge bases. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin (August 2000)
Friedrich, G., Shchekotykhin, K.: Diagnosis of description logic knowledge bases. In: Working Notes of the IJCAI 2005 Workshop on Model-Based Systems, Edinburgh, Scotland (August 2005)
McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wotawa, F., Angerer, B. (2006). Retaining Consistency in Temporal Knowledge Bases. In: Ali, M., Dapoigny, R. (eds) Advances in Applied Artificial Intelligence. IEA/AIE 2006. Lecture Notes in Computer Science(), vol 4031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11779568_65
Download citation
DOI: https://doi.org/10.1007/11779568_65
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35453-6
Online ISBN: 978-3-540-35454-3
eBook Packages: Computer ScienceComputer Science (R0)