JISE


  [1] [2] [3] [4] [5] [6] [7] [8]


Journal of Information Science and Engineering, Vol. 10 No. 2, pp. 159-176


Evidential Relaxation Labeling Scheme to Perform Non-Monotonic and Uncertain Reasoning


Wei-Chang Lin and Von-Wun Soo
Department of Computer Science 
National Tsing Hua University 
Hsinchu, Taiwan, R.O.C.


  To formulate common sense reasoning, the two most important elements are non-monotonic and uncertain reasoning. Traditional methods of formulating these two types of reasoning have been either from logical approaches or statistical approaches. In this paper, we propose a scheme called the evidential relaxation labeling (EVRL) scheme which can integrate both types of reasoning within one framework. The EVRL scheme is based on the Dempster-Shafer theory. The Dempster-Shafer theory was originally devised for uncertain reasoning, and we had shown its application in another paper[1]. We emphasize, therefore, how the EVRL scheme can be used to perform non-monotonic reasoning. In particular, we show howReiter's interacting default problems can be reformulated within the EVRL scheme.


Keywords: common sense reasoning, dempster-shafer theory, uncertain reasoning, relaxation labeling, non-monotonic reasoning

  Retrieve PDF document (JISE_199402_02.pdf)