Título
Evaluation of Consistency of the Knowledge in Agents
Autor
MELIZA CONTRERAS GONZALEZ
MIGUEL RODRIGUEZ HERNANDEZ
PEDRO BELLO LOPEZ
Nivel de Acceso
Acceso Abierto
Materias
CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA - (CTI) LÓGICA - (CTI) FILOSOFÍA DEL CONOCIMIENTO - (CTI) Knowledge base - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) AGM Model (Alchourrón, Gárdenfors and Makinson) - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) 2SAT (Computational problem) - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Consistency - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Artificial intelligence - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Base de conocimiento - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Modelo AGM (Alchourrón, Gárdenfors y Makinson) - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) 2SAT (Problema computacional) - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Consistencia - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)]) Inteligencia artificial - ([Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)])
Resumen o descripción
Dado un conjunto de agentes con una base previa de conocimiento, se desea saber cómo el nuevo conocimiento afecta a todos los agentes. Para modelar el nuevo conocimiento, se utilizó la lógica booleana, expresada mediante clausulas 2CNF, para reducir la complejidad. Mediante la incorporación de nuevo conocimiento en los agentes, éstos podrían ser afectados de tal forma que su base de conocimiento sea inconsistente, por tanto se aplica un mecanismo, el cual elimina conocimiento mediante el uso de una operación de contracción, descrita por el modelo AGM. El objetivo es determinar si un conocimiento con contradicciones afecta significativamente al conjunto de creencias de cada agente. Por lo tanto, se modela un problema en el cual, dado un conjunto de agentes y su conocimiento base, se agregan algunas cláusulas que representan nuevo conocimiento con el objetivo de determinar cuál agente es el más afectado debido a una contradicción con el conocimiento previo / Meliza Contreras, Miguel Rodriguez, Pedro Bello, Rodolfo Aguirre.
Given a set of agents with valid previous knowledge bases, we wish to know how new knowledge affects each agent. To model the new knowledge, boolean logic is used, expressed by 2CNF clauses, to reduce the complexity. Upon recieving new knowledge, one or more agents may find it inconsistent with their previous knowledge base, so a mechanism is applied which
removes knowledge by using a contraction operation,described by the AGM model. The goal is to determinate if that contradicting knowledge significantly affects the set of beliefs of each agent. Furthermore, a problem is modeled in which, given a set of agents and their knowledge base, some clauses representing new knowledge are added with the aim of determining which
agent is the most affected, due to contradiction with the previous knowledge / Meliza Contreras, Miguel Rodriguez, Pedro Bello, Rodolfo Aguirre.
Editor
Universidad de Guanajuato
Fecha de publicación
1 de marzo de 2012
Tipo de publicación
Artículo
Versión de la publicación
Versión publicada
Recurso de información
Formato
application/pdf
Fuente
Acta Universitaria: Multidisciplinary Scientific Journal. Vol. 22, No. NE-1 ENC (2012)
Idioma
Inglés
Relación
https://doi.org/10.15174/au.2012.340
Repositorio Orígen
Repositorio Institucional de la Universidad de Guanajuato
Descargas
0