dc.contributor
Universitat Jaume I. Departament d'Enginyeria i Ciència dels Computadors
dc.contributor.author
Marcos López, Maria del Mar
dc.date.accessioned
2011-04-12T20:00:57Z
dc.date.available
2008-05-27
dc.date.issued
1999-02-22
dc.date.submitted
2008-05-27
dc.identifier.isbn
9788469146927
dc.identifier.uri
http://www.tdx.cat/TDX-0527108-092924
dc.identifier.uri
http://hdl.handle.net/10803/10375
dc.description.abstract
La supervisión de programas tiene como objetivo la automatización de las distintas actividades implicadas en la utilización especializada de una librería de programas. Para llevar a cabo esta tarea, los sistemas de supervisión de programas necesitan una gran cantidad de conocimiento sobre la utilización de los programas, incluyendo las situaciones en que pueden ser aplicados, las combinaciones de programas habitualmente utilizadas, etc. Los sistemas de supervisión de programas incorporan esta experiencia en una arquitectura basada en el conocimiento. Sus características distintivas son la variedad de conocimiento que emplean y su representación, la cual normalmente incluye objetos estructurados y reglas de producción. A pesar de su importancia creciente, poca investigación se ha dedicado a la verificación y validación de sistemas con las características anteriores. En esta tesis acometemos la verificación y validación de sistemas de supervisión de programas a partir de un modelado del conocimiento, explotando la información sobre el conocimiento que requieren, su organización y la manera precisa en que utilizan este conocimiento durante el razonamiento. Esta información nos permite identificar las propiedades que las bases de conocimiento deben verificar para servir adecuadamente a la supervisión de programas, propiedades mas allá de la consistencia y completitud de su implementación. En esta tesis presentamos las herramientas de verificación de bases de conocimiento desarrolladas de acuerdo con este enfoque, así como algunos experimentos en la aplicación de técnicas de verificación de programas a motores de supervisión de programas con el fin de identificar las propiedades que nos interesan.
cat
dc.format.mimetype
application/pdf
dc.publisher
Universitat Jaume I
dc.rights.license
ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
dc.source
TDX (Tesis Doctorals en Xarxa)
dc.subject
verificación y validación de sistemas basados en e
dc.subject
supervisión de programas
dc.subject
sistemas basados en el conocimiento
dc.subject
Inteligencia artificial
dc.subject
modelado del conocimiento
dc.subject.other
Ciencia de la Computación e Inteligencia Artificial
dc.title
Verification and Validation of Knowledge-Based Program Supervision Systems / Verificación y Validación de Sistemas de Supervisión de Programas Basados en el Conocimiento
dc.type
info:eu-repo/semantics/doctoralThesis
dc.type
info:eu-repo/semantics/publishedVersion
dc.contributor.authoremail
Mar.Marcos@icc.uji.es
dc.contributor.director
Pobil, Àngel Pasqual del
dc.contributor.director
Moisan, Sabine
dc.rights.accessLevel
info:eu-repo/semantics/openAccess
