Nonmonotonic reasoning systems address applications where an agent reasoning about the world wants to draw conclusions that are not logically entailed by its (incomplete) knowledge about the world. Under such circumstances it is only possible to build a set of (additional) beliefs of hypothetical nature. Such a set of beliefs represents a hypothetical view on the world. In general it is not unique: multiple views are possible; an agent may (temporarily) commit itself to one view and switch its commitment to another one later. Such a view does not necessarily give a complete world description either. Each view leaves open a number of possible complete world descriptions. However, the additional knowledge defining the view an agent is committing to, may be sufficient for the agent to draw the required (defeasible) conclusions (within the context of that view).
|Title of host publication||Dynamics and Management of Reasoning Processes|
|Publication status||Published - 2001|
|Name||Series in Defeasible Reasoning and Uncertainty Management Systems,|