A Unified Treatment for Knowledge Dynamics

Isabelle Bloch, Ramón Pino-Pérez, and Carlos Uzcátegui

Using morpho-logics we show how to find explanations of observations, how to perform revision, contraction, fusion, in a unified way. In the framework of abduction, we show how to deal with observations inconsistent with the background theory and introduce methods to treat multiple observations. Based on these ideas we introduce a dynamics for transforming the background theory in function of observations.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.