THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems

Jorge Santos, Zita Vale, Carlos Ramos, Carlos Serôdio

2007

Abstract

Designing KBS for dynamic environments requires the consideration of temporal knowledge reasoning and representation (TRR) issues. Although humans present a natural ability to deal with knowledge about time and events, the codification and use of such knowledge in information systems still pose many problems. Hence, the development of applications strongly based on temporal reasoning remains an hard and complex task. Furthermore, albeit the last significant developments in TRR area, there is still a considerable gap for its successful use in practical applications. This paper presents a tool, named VERITAS, developed for temporal KBS verification. It relies in the combination of formal methods and heuristics, in order to detect a large number of knowledge anomalies. The underlying verification process addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning.

Paper Citation

in Harvard Style

Santos J., Vale Z., Ramos C. and Serôdio C. (2007). THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-972-8865-82-5, pages 179-185. DOI: 10.5220/0001651801790185

in Bibtex Style

@conference{icinco07,
author={Jorge Santos and Zita Vale and Carlos Ramos and Carlos Serôdio},
title={THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2007},
pages={179-185},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001651801790185},
isbn={978-972-8865-82-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - THE VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-study on Power-systems
SN - 978-972-8865-82-5
AU - Santos J.
AU - Vale Z.
AU - Ramos C.
AU - Serôdio C.
PY - 2007
SP - 179
EP - 185
DO - 10.5220/0001651801790185