Retaining consistency in temporal knowledge bases

Authors:
Franz Wotawa;Bibiane Angerer
Affiliations:
Institute for Software Technology, Graz University of Technology, Graz, Austria;Institute for Software Technology, Graz University of Technology, Graz, Austria
Venue:
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Year:
2006

Citing 6
Cited 0

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of diagnosis from first principles

Artificial Intelligence
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Enhancing model checking in verification by AI techniques

Artificial Intelligence
Symbolic Model Checking

Symbolic Model Checking
Logic programs for consistency-based diagnosis

Logic programs for consistency-based diagnosis

Quantified Score

Hi-index	0.00

Visualization

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.