Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning

摘要

We provide a general framework for constructing natural consequence relations for paraconsis-tent and plausible nonmonotonic reasoning. The framework is based on preferential systems whose preferences are based on the satisfaction of formulas in models. The framework encompasses different types of preferential systems that were developed from different motivations of paraconsis-tent reasoning and non-monotonic reasoning, and reveals an important link between them.