loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.200.169.48

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2809, SciTePress, pages 179-185. DOI: 10.5220/0001651801790185

@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},
issn={2184-2809},
}

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
IS - 2184-2809
AU - Santos, J.
AU - Vale, Z.
AU - Ramos, C.
AU - Serôdio, C.
PY - 2007
SP - 179
EP - 185
DO - 10.5220/0001651801790185
PB - SciTePress