Evaluation of Consistency of the Knowledge in Agents

Abstract

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.