
doi: 10.1093/logcom/5.1.1
Abstract We present a development of the theory of default information structures, combining ideas from domain theory with ideas from non-monotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Reiter's default rules are viewed as non-deterministic algorithms for generating preferred partial models. Using domain-theoretical notions, we suggest a robust alternative to the standard definition of extensions in default logic, by introducing the notion of dilation. We prove the existence of such dilations for a new class of default information structures, called the class of rational structures, which properly includes the class of semi-normal structures.
default information structures, Logic in artificial intelligence, domain theory, default logic, nonmonotonic logic, dilation, Other nonclassical logic
default information structures, Logic in artificial intelligence, domain theory, default logic, nonmonotonic logic, dilation, Other nonclassical logic
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 7 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
