Modelling Non-Classical Reasoning Patterns by Interacting Reasoning Modules

摘要

The paper considers a number of specific reasoning patterns which are known fromthe literature; sometimes they are called non-classical. The author shows how to model these non-classical reasoning patterns by interacting reasoning modules according to their framework for DEsign and Specification of Interacting REasoning modules (DESIRE). The following examples are treated: reasoning about changing world situations and actions; reasoning with uncertainty; reasoning based on the closed world assumption; reasoning from and about viewpoints; reasoning about knowledge; and hypothetical reasoning.