Publicação
On the Verification of Expert Systems: A case study on the Power Systems Area
| datacite.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | |
| datacite.subject.sdg | 09:Indústria, Inovação e Infraestruturas | |
| dc.contributor.author | Santos, Jorge | |
| dc.contributor.author | Ramos, Carlos | |
| dc.contributor.author | Vale, Zita | |
| dc.contributor.editor | Ramos, Carlos | |
| dc.contributor.editor | Vale, Zita | |
| dc.date.accessioned | 2026-04-09T10:18:49Z | |
| dc.date.available | 2026-04-09T10:18:49Z | |
| dc.date.issued | 2004-07-23 | |
| dc.description.abstract | The Verification and Validation (V&V) process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. 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. VERITAS is an automatic tool developed for KBS verification which is able to detect a large number of knowledge anomalies. It addresses many relevant aspects considered in real applications, like the usage of rule triggering selection mechanisms and temporal reasoning. VERITAS is currently in development and is being tested with SPARSE, a KBS used in the Portuguese Transmission Network (REN) for incident analysis and power restoration. In this paper some solutions are proposed for still open issues on Verification of KBS applied in critical domains. | eng |
| dc.identifier.citation | Santos, J., Vale, Z. & Ramos, C. (2004, July 21-23). On the verification of expert systems: A case study on the power systems area. In Ramos, C. & Vale, Z. (Eds). Proceedings of the International Conference of Knowledge Engineering and Decision Support, ICKEDS´04. (pp. 17-24). Porto. Portugal | |
| dc.identifier.isbn | 972-8688-24-5 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/32196 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Knowledge Engineering and Decision Support Research Group (GECAD) | |
| dc.rights.uri | N/A | |
| dc.title | On the Verification of Expert Systems: A case study on the Power Systems Area | eng |
| dc.type | conference paper | |
| dspace.entity.type | Publication | |
| oaire.citation.conferenceDate | 2004-07-23 | |
| oaire.citation.conferencePlace | Porto, Portugal | |
| oaire.citation.endPage | 24 | |
| oaire.citation.startPage | 17 | |
| oaire.citation.title | International Conference of Knowledge Engineering and Decision Support, ICKEDS´04 | |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |
| person.familyName | Ramos | |
| person.familyName | Vale | |
| person.givenName | Carlos | |
| person.givenName | Zita | |
| person.identifier | 632184 | |
| person.identifier.ciencia-id | 1011-FAFC-AEBA | |
| person.identifier.ciencia-id | 721B-B0EB-7141 | |
| person.identifier.orcid | 0000-0002-5143-1711 | |
| person.identifier.orcid | 0000-0002-4560-9544 | |
| person.identifier.rid | K-7403-2014 | |
| person.identifier.rid | A-5824-2012 | |
| person.identifier.scopus-author-id | 7201559105 | |
| person.identifier.scopus-author-id | 7004115775 | |
| relation.isAuthorOfPublication | 43ef055e-80e6-4b31-8400-2d3592927e03 | |
| relation.isAuthorOfPublication | ff1df02d-0c0f-4db1-bf7d-78863a99420b | |
| relation.isAuthorOfPublication.latestForDiscovery | 43ef055e-80e6-4b31-8400-2d3592927e03 |