A FRAMEWORK FOR DEFAULT LOGIC WITH CASE REASONING

Authors
ZHANG MY ZHANG D
Citation
My. Zhang et D. Zhang, A FRAMEWORK FOR DEFAULT LOGIC WITH CASE REASONING, SCI CHINA E, 41(2), 1998, pp. 215-224
Citations number
11
Categorie Soggetti
Engineering,"Material Science
Journal title
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN journal
20950624 → ACNP
Volume
41
Issue
2
Year of publication
1998
Pages
215 - 224
Database
ISI
SICI code
2095-0624(1998)41:2<215:AFFDLW>2.0.ZU;2-U
Abstract
Brewka's framework for default logic is extended such that this new fr amework is possessed of more powerful expressivity when reasoning by c ases. Under this extended framework a characterization of extensions o f a default theory is given. From this characterization the algorithms for main reasoning tasks in default logic with case reasoning are der ived.