×

Expert systems with Boolean-valued uncertainties. (English) Zbl 0712.68094

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
PDFBibTeX XMLCite