Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/1396
Título: The verification of temporal KBS: SPARSE - a case study in power systems
Autor: Santos, Jorge
Vale, Zita
Serôdio, Carlos
Ramos, Carlos
Palavras-chave: Temporal KBS
SPARSE
VERITAS
Data: 2008
Editora: In-Tech
Relatório da Série N.º: Robotics Automation and Control; Cap. 24
Resumo: In 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.
URI: http://hdl.handle.net/10400.22/1396
ISBN: 978-953-7619-18-3
Versão do Editor: http://www.intechopen.com/books/robotics_automation_and_control/the_verification_of_temporal_kbs__sparse_-_a_case_study_in_power_systems
Aparece nas colecções:ISEP – GECAD – Livro, parte de livro, ou capítulo de livro

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
CAPL_JorgeSantos_2008_GECAD.pdf983,18 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.