Evaluation of Consistency of the Knowledge in Agents

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...

Full description

Bibliographic Details
Main Authors: Pedro Bello, Rodolfo Aguirre, Miguel Rodriguez, Meliza Contreras
Format: Article
Language:Spanish
Published: Universidad de Guanajuato 2012-03-01
Series:Acta Universitaria
Subjects:
Online Access:http://www.actauniversitaria.ugto.mx/index.php/acta/article/view/340
id doaj-8d15eab332814289a01d9ab237c7565d
record_format Article
spelling doaj-8d15eab332814289a01d9ab237c7565d2020-11-24T22:51:55ZspaUniversidad de GuanajuatoActa Universitaria0188-62662012-03-012204247Evaluation of Consistency of the Knowledge in AgentsPedro BelloRodolfo AguirreMiguel RodriguezMeliza ContrerasDado 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.<br>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. Further more, 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.http://www.actauniversitaria.ugto.mx/index.php/acta/article/view/340Knowledge baseAGM model2SATcon- sistency.
collection DOAJ
language Spanish
format Article
sources DOAJ
author Pedro Bello
Rodolfo Aguirre
Miguel Rodriguez
Meliza Contreras
spellingShingle Pedro Bello
Rodolfo Aguirre
Miguel Rodriguez
Meliza Contreras
Evaluation of Consistency of the Knowledge in Agents
Acta Universitaria
Knowledge base
AGM model
2SAT
con- sistency.
author_facet Pedro Bello
Rodolfo Aguirre
Miguel Rodriguez
Meliza Contreras
author_sort Pedro Bello
title Evaluation of Consistency of the Knowledge in Agents
title_short Evaluation of Consistency of the Knowledge in Agents
title_full Evaluation of Consistency of the Knowledge in Agents
title_fullStr Evaluation of Consistency of the Knowledge in Agents
title_full_unstemmed Evaluation of Consistency of the Knowledge in Agents
title_sort evaluation of consistency of the knowledge in agents
publisher Universidad de Guanajuato
series Acta Universitaria
issn 0188-6266
publishDate 2012-03-01
description 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.<br>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. Further more, 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.
topic Knowledge base
AGM model
2SAT
con- sistency.
url http://www.actauniversitaria.ugto.mx/index.php/acta/article/view/340
work_keys_str_mv AT pedrobello evaluationofconsistencyoftheknowledgeinagents
AT rodolfoaguirre evaluationofconsistencyoftheknowledgeinagents
AT miguelrodriguez evaluationofconsistencyoftheknowledgeinagents
AT melizacontreras evaluationofconsistencyoftheknowledgeinagents
_version_ 1725668134587727872