Search
Now showing items 1-4 of 4
Defaults in domain theory
(University of Georgia, 1994-12-07)
This paper uses ideas from artificial intelligence to show how default notions
can be defined over Scott domains. We combine these ideas with ideas arising in domain
theory to shed some light on the properties of ...
Attunement to constraints in nonmonotonic reasoning
(University of Georgia, 1994-12-07)
Nonmonotonic consequence in default model theory
(University of Georgia, 1994-12-07)
Default model theory is a nonmonotonic formalism for representing and
reasoning about commonsense knowledge. Although this theory is motivated by ideas in
Reiter’s work on default logic, it is a very different, in some ...
Logical considerations on default semantics
(University of Georgia, 1994-12-07)
We consider a reinterpretation of the rules of default logic. We make Reiter’s
default rules into a constructive method of building models, not theories. To allow reasoning
in first order systems, we equip standard ...