{"id":{"repo_id":"upm","oai_identifier":"oai:oa.upm.es:1050"},"canonical_url":"https://search.dev.ndltd.org/etd/upm/oai:oa.upm.es:1050","repository":{"repo_id":"upm","name":"Universidad Politécnica de Madrid","base_url":"https://oa.upm.es/cgi/oai2"},"display":{"title":"Método para la verificación de sistemas híbridos basado en la propagación de etiquetas","abstract":"Esta tesis supone un paso hacia delante en el área de la Verificación de Sistemas Basados en el Conocimiento (SBCs). Así pues, se va a presentar un método, al que se ha llamado MECORI, capaz de detectar inconsistencias semánticas en SBCs Híbridos (basados en reglas de producción y jerarquías de marcos). Como parte del proceso de verificación, se construye una teoría ATMS simulando el proceso deductivo que sigue en el SBC para deducir una inconsistencia semántica. Posteriormente, es fácil obtener a partir de la teoría ATMS una secuencia de reglas y una especificación de la BH inicial que permiten deducir la inconsistencia. Ha sido posible superar algunas limitaciones y restricciones impuestas por otros métodos. En este sentido, los aspectos más destacables e innovadores de este método son: primero, este método puede verificar SBCs híbridos; segundo, los SBCs pueden utilizar ciertas clases de razonamiento no monótono; tercero, MECORI puede tratar reglas de producción que incluyan fórmulas expresadas en una lógica de segundo orden restringida; cuarto, MECORI puede verificar SBCs que representen razonamiento con incertidumbre, y quinto, nuestro método puede tratar reglas de producción que incluyan restricciones aritméticas sobre los valores de los atributos y los factores de certeza.","abstract_html":"Esta tesis supone un paso hacia delante en el área de la Verificación de Sistemas Basados en el Conocimiento (SBCs). Así pues, se va a presentar un método, al que se ha llamado MECORI, capaz de detectar inconsistencias semánticas en SBCs Híbridos (basados en reglas de producción y jerarquías de marcos). Como parte del proceso de verificación, se construye una teoría ATMS simulando el proceso deductivo que sigue en el SBC para deducir una inconsistencia semántica. Posteriormente, es fácil obtener a partir de la teoría ATMS una secuencia de reglas y una especificación de la BH inicial que permiten deducir la inconsistencia. Ha sido posible superar algunas limitaciones y restricciones impuestas por otros métodos. En este sentido, los aspectos más destacables e innovadores de este método son: primero, este método puede verificar SBCs híbridos; segundo, los SBCs pueden utilizar ciertas clases de razonamiento no monótono; tercero, MECORI puede tratar reglas de producción que incluyan fórmulas expresadas en una lógica de segundo orden restringida; cuarto, MECORI puede verificar SBCs que representen razonamiento con incertidumbre, y quinto, nuestro método puede tratar reglas de producción que incluyan restricciones aritméticas sobre los valores de los atributos y los factores de certeza.","abstract_has_math":false,"creators":["Ramírez Rodríguez, Jaime"],"institution":"Informatica","degree_name":"phd","degree_level":"doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2002,"date_issued":"2002-05","date_published":"2002-05","updated_at":"2026-07-24T05:40:09Z","subjects":["Robótica e Informática Industrial","Matemáticas"],"languages":["es"],"rights":["by-nc-nd"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.20868/UPM.thesis.1050","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Ramírez Rodríguez, Jaime"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2002-05"]},{"key":"dc:date.issued","label":"Date","values":["2002-05"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Inteligencia_Artificial"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["Informatica"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://oa.upm.es/1050/"]},{"key":"dc:type","label":"Dc Type","values":["Tesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["phd"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Robótica e Informática Industrial","Matemáticas"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["es"]},{"key":"dc:rights","label":"Dc Rights","values":["by-nc-nd"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.20868/UPM.thesis.1050"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://oa.upm.es/1050/1/JAIME_RAMIREZ_RODRIGUEZ.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Esta tesis supone un paso hacia delante en el área de la Verificación de Sistemas Basados en el Conocimiento (SBCs). Así pues, se va a presentar un método, al que se ha llamado MECORI, capaz de detectar inconsistencias semánticas en SBCs Híbridos (basados en reglas de producción y jerarquías de marcos). Como parte del proceso de verificación, se construye una teoría ATMS simulando el proceso deductivo que sigue en el SBC para deducir una inconsistencia semántica. Posteriormente, es fácil obtener a partir de la teoría ATMS una secuencia de reglas y una especificación de la BH inicial que permiten deducir la inconsistencia. Ha sido posible superar algunas limitaciones y restricciones impuestas por otros métodos. En este sentido, los aspectos más destacables e innovadores de este método son: primero, este método puede verificar SBCs híbridos; segundo, los SBCs pueden utilizar ciertas clases de razonamiento no monótono; tercero, MECORI puede tratar reglas de producción que incluyan fórmulas expresadas en una lógica de segundo orden restringida; cuarto, MECORI puede verificar SBCs que representen razonamiento con incertidumbre, y quinto, nuestro método puede tratar reglas de producción que incluyan restricciones aritméticas sobre los valores de los atributos y los factores de certeza."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Método para la verificación de sistemas híbridos basado en la propagación de etiquetas"]}]}],"canonical_facts":{"dc:creator":["Ramírez Rodríguez, Jaime"],"dc:date":["2002-05"],"dc:date.issued":["2002-05"],"dc:description.abstract":["Esta tesis supone un paso hacia delante en el área de la Verificación de Sistemas Basados en el Conocimiento (SBCs). Así pues, se va a presentar un método, al que se ha llamado MECORI, capaz de detectar inconsistencias semánticas en SBCs Híbridos (basados en reglas de producción y jerarquías de marcos). Como parte del proceso de verificación, se construye una teoría ATMS simulando el proceso deductivo que sigue en el SBC para deducir una inconsistencia semántica. Posteriormente, es fácil obtener a partir de la teoría ATMS una secuencia de reglas y una especificación de la BH inicial que permiten deducir la inconsistencia. Ha sido posible superar algunas limitaciones y restricciones impuestas por otros métodos. En este sentido, los aspectos más destacables e innovadores de este método son: primero, este método puede verificar SBCs híbridos; segundo, los SBCs pueden utilizar ciertas clases de razonamiento no monótono; tercero, MECORI puede tratar reglas de producción que incluyan fórmulas expresadas en una lógica de segundo orden restringida; cuarto, MECORI puede verificar SBCs que representen razonamiento con incertidumbre, y quinto, nuestro método puede tratar reglas de producción que incluyan restricciones aritméticas sobre los valores de los atributos y los factores de certeza."],"dc:format":["application/pdf"],"dc:identifier.doi":["10.20868/UPM.thesis.1050"],"dc:identifier.uri":["https://oa.upm.es/1050/1/JAIME_RAMIREZ_RODRIGUEZ.pdf"],"dc:language":["es"],"dc:publisher.department":["Inteligencia_Artificial"],"dc:publisher.institution":["Informatica"],"dc:relation.isreferencedby":["https://oa.upm.es/1050/"],"dc:rights":["by-nc-nd"],"dc:subject":["Robótica e Informática Industrial","Matemáticas"],"dc:title":["Método para la verificación de sistemas híbridos basado en la propagación de etiquetas"],"dc:type":["Tesis"],"dc:type.qualificationlevel":["doctoral"],"dc:type.qualificationname":["phd"]},"updated_at":"2026-07-24T05:40:09Z"}