Logical Structures for Representation of Knowledge and Uncertainty
Ellen Hisdal · Studies in fuzziness and soft computing · 1998
of Book Logical Structures for Representation of Knowledge and Uncertainty, by Ellen Hisdal, Physica Verlag Heidelberg, A Springer Verlag Company. A knowledge representation system must be able to draw inferences or answer questions concerning previously supplied knowledge and information. For this purpose the book uses a new truth table logic with built-in probabilities in addition to truth values. (Truth values are also called `possibilities' in fuzzy set theory). A conditional or IF THEN sentence is interpreted as a statement (or enquiry) concerning a conditional probability value. A result of this probability logic, which is built on top of a yes-no logic, is that in contrast to ørst-order logic (propositional + predicate calculus) no `predicate calculus' is needed to represent quantiøcation and classiøcation statements. The 8 and 9 symbols are superAEuous. Conjunctions of quantiøcation sentences are represented as conjunctions of IF THEN sentences with variables. This simpliøes t...