Authors:
Jorge Santos
1
;
Zita Vale
1
;
Carlos Ramos
1
and
Carlos Serôdio
2
Affiliations:
1
Instituto Superior de Engenharia do Porto, Portugal
;
2
Universidade de Trás–os–Montes e Alto Douro, Portugal
Keyword(s):
Knowledge–based Systems Engineering, Verification, Temporal Reasoning, Power Systems.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Biomedical Engineering
;
Enterprise Information Systems
;
Expert Systems
;
Health Information Systems
;
Informatics in Control, Automation and Robotics
;
Intelligent Control Systems and Optimization
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Knowledge-Based Systems Applications
;
Symbolic Systems
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.