[Semantic Web]Monotonic Rules and Nonmonotonic Rules

读书笔记 Lee 发表于 2006/3/4 12:16:39 Predicate logic and its special cases are monotonic in the following sense: if a conclusion can be drawn, it remains valid even if new knowledge becomes available. Nonmonotonic rules are to distinguish from monotonic rules (which are a special case of predicate logic). Horn logic is a subset of predicate logic that allows efficient reasoning. It forms a subset orthogonal to description logics. Horn logic is the basis of monotonic rules. Nonmonotonic rules are useful in situations where the available information is incomplete. They are rules that may be overridden by contrary evidence (other rules). Priorities are used to resolve some conflicts between nonmonotonic rules.

阅读全文(1488) | 回复(0) | 编辑 | 精华