Repository logo
 
Publication

The verification of temporal KBS: SPARSE - a case study in power systems

2008Book part Open access
Simple item page
dc.contributor.authorSantos, Jorge
dc.contributor.authorVale, Zita
dc.contributor.authorSerôdio, Carlos
dc.contributor.authorRamos, Carlos
dc.date.accessioned2013-04-18T11:20:27Z
dc.date.available2013-04-18T11:20:27Z
dc.date.issued2008
dc.date.updated2013-04-12T11:08:56Z
dc.description.abstractIn this paper we present VERITAS, a tool that focus time maintenance, that is one of the most important processes in the engineering of the time during the development of KBS. The verification and validation (V&V) process is part of a wider process denominated knowledge maintenance, in which an enterprise systematically gathers, organizes, shares, and analyzes knowledge to accomplish its goals and mission. The V&V process states if the software requirements specifications have been correctly and completely fulfilled. The methodologies proposed in software engineering have showed to be inadequate for Knowledge Based Systems (KBS) validation and verification, since KBS present some particular characteristics. 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.por
dc.identifier.doi10.5772/5835pt_PT
dc.identifier.isbn978-953-7619-18-3
dc.identifier.urihttp://hdl.handle.net/10400.22/1396
dc.language.isoengpor
dc.publisherIn-Techpor
dc.relation.ispartofseriesRobotics Automation and Control; Cap. 24
dc.relation.publisherversionhttp://www.intechopen.com/books/robotics_automation_and_control/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systemspor
dc.subjectTemporal KBSpor
dc.subjectSPARSEpor
dc.subjectVERITASpor
dc.titleThe verification of temporal KBS: SPARSE - a case study in power systemspor
dc.typebook part
dspace.entity.typePublication
oaire.citation.endPage494por
oaire.citation.startPage473por
oaire.citation.titleRobotics Automation and Controlpor
person.familyNameVale
person.familyNameRamos
person.givenNameZita
person.givenNameCarlos
person.identifier632184
person.identifier.ciencia-id721B-B0EB-7141
person.identifier.ciencia-id1011-FAFC-AEBA
person.identifier.orcid0000-0002-4560-9544
person.identifier.orcid0000-0002-5143-1711
person.identifier.ridA-5824-2012
person.identifier.ridK-7403-2014
person.identifier.scopus-author-id7004115775
person.identifier.scopus-author-id7201559105
rcaap.rightsopenAccesspor
rcaap.typebookPartpor
relation.isAuthorOfPublicationff1df02d-0c0f-4db1-bf7d-78863a99420b
relation.isAuthorOfPublication43ef055e-80e6-4b31-8400-2d3592927e03
relation.isAuthorOfPublication.latestForDiscovery43ef055e-80e6-4b31-8400-2d3592927e03

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
CAPL_JorgeSantos_2008_GECAD.pdf
Size:
983.18 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ISEP – GECAD – Livro, parte de livro, ou capítulo de livro