Monotonic qualitative logic programs: computation and applications

摘要

If we are reasoning with rules that are guidelines rather than absolute statements of truth, we need a mechanism for selecting the most plausible conclusion. There may be a choice of rules that can be applied in some situations, and using one may result in a conclusion that is contradictory to that obtained using another.