An abductive approach to disjunctive log
β
Jia-Huai You; Li Yan Yuan; Randy Goebel
π
Article
π
2000
π
Elsevier Science
π
English
β 282 KB
Nonmonotonic reasoning has been explored as a form of abductive reasoning where default assumptions are treated as abductive hypotheses. While the semantics and proof theories under this approach have been studied extensively, the question of how disjunctive programs may be used to reason abductivel