Kramosil, Ivan Expert systems with Boolean-valued uncertainties. (English) Zbl 0712.68094 Comput. Artif. Intell. 10, No. 1, 43-55 (1991). Summary: Expert systems with databases containing statements and implication-like rules are investigated. To each statement or rule, a pair of uncertainty or weight values is ascribed; these values are supposed to be taken from the Boolean algebra generated by an appropriate logical calculus. Hence, these uncertainty values can be understood as a necessary and a sufficient condition of the validity of the statement or rule in question, known to a particular expert. A system of transformations of such databases is proposed which enable one to obtain each “conservative extension” of the original database, i.e. the database which contains the original one but defines the same class of models as that defined by the original database. MSC: 68T30 Knowledge representation Keywords:rule-based expert systems; non-numerical quantification of uncertainty; model-preserving transformations of databases; Boolean algebra PDFBibTeX XMLCite \textit{I. Kramosil}, Comput. Artif. Intell. 10, No. 1, 43--55 (1991; Zbl 0712.68094)