What is it about?
When new information A can be aggregated to a knowledge base K, some revision on the consistency of (K and A) has to be done, also we consider how to do minimum changes on K in order to resume a new knowledge base K' such that (K and A) is infered from K'.
Featured Image
Why is it important?
This kind of revisions is relevant when you are working with intelligent agents, or with dynamic knowledge bases.
Perspectives
The article shows a novel revision operator based on conjunctive normal forms that can be improving. It was an experience to build logical inference procedures.
Guillermo De Ita
Read the Original
This page is a summary of: Belief revision between conjunctive normal forms, Journal of Intelligent & Fuzzy Systems, May 2018, IOS Press,
DOI: 10.3233/jifs-169499.
You can read the full text:
Contributors
The following have contributed to this page
