Mark for the Extension of a Constrained Default Theory

ZHANG Min,DENG An-sheng
DOI: https://doi.org/10.3321/j.issn:0438-0479.2006.03.010
2006-01-01
Abstract:Based on a constrained default logic,some concepts such as new constrain,rejection by constrain,C-reconstruction and C-epistemic process were defined for the constrained default theory Δ=(D,W,C).The aim of this paper is focused on the properties and acquisition of the extension in the constrained default theory,when its constrained condition set C is changing.The related theorems about the extension are proved.Further,dynamic characteristics about the constrained default theory are built to describe its nonmonotonicity of the constrained condition.The final result of extension by continually adding new constrain and rejection by constrain to the constrained condition set is discussed.Finally,the work is compared with the related work.
What problem does this paper attempt to address?