Some Algorithms for Extension Computation of Nonmonotonic Rule Systems

• Autorzy: Zhao X. , Ding D.
• Języki publikacji: EN

Abstrakty

EN

In this paper, we will place our emphasis on the problem of existence of extensions and on finding more efficient algorithms for computing extensions of nonmonotonic rule systems. First, in order to dedicate further research into nonmonotonic rule systems a new characterization and some new results are given. This characterization and these results lead to new algorithms for computing extensions. Second, a class of nonmonotonic rule systems, called regular nonmonotonic rule systems, is developed. The existence of extensions and semi-monotonicity of regular nonmonotonic rule systems are proved. Third, we prove that each regular nonmonotonic rule system has at most 1.47n extensions, where n is the number of elements occurring in the system.

Słowa kluczowe

EN

nonmonotonic rule system; regular nonmonotonic rule system; extension; algorithm

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 48, nr 1
• Strony: 930--106
• Opis fizyczny: bibllogr. 13 poz.

Twórcy

autor

Zhao X.

autor

Ding D.

• Institute of Logic and Cognition Zhongshan University, Guangzhou, 510275, P.R. China,