A Unified Treatment for Knowledge Dynamics

摘要

Using morpho-logics we show how to find explanations of observations, how to perform revision, contraction, fusion, in an 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.