(function(doc, html, url) { var widget = doc.createElement("div"); widget.innerHTML = html; var script = doc.currentScript; // e = a.currentScript; if (!script) { var scripts = doc.scripts; for (var i = 0; i < scripts.length; ++i) { script = scripts[i]; if (script.src && script.src.indexOf(url) != -1) break; } } script.parentElement.replaceChild(widget, script); }(document, '

A new lrevision operator for propositional calculus.

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

Why is it important?

This kind of revisions is relevant when you are working with intelligent agents, or with dynamic knowledge bases.

Read more on Kudos…
The following have contributed to this page:
Guillermo De Ita
' ,"url"));