Quantitative Disjunctive Logic Programming: semantics and computation

摘要

A new knowledge representation language, called QDLP, which extends DLP to deal with uncertain values is intro- duced. Each (quantitative) rule is assigned a certainty degree interval (a subinterval of [0,1]). The propagation of uncer- tainty information from the premises to the conclusion of a quantitative rule is achieved by means of triangular norms (T-norms).