Commonsense reasoning by distance semantics
Ofer Arieli · 2007
We introduce a uniform distance semantics for different paradigms that require nonmonotonic and paraconsistent reasoning, among which are mediators of independent data-sources, integrators of prioritized knowledge-bases, operators for iterated belief revision, and analytic tools of decision support systems. We show that the consequence relations that are induced by our framework share some desirable properties and demonstrate this by relevant applications.