Predicate Logic and Inexact Reasoning
This paper presents a generalised approach for the incorporation of some inexact reasoning models in propositional and first order predicate logic. Incorporated in the proving mechanism is an extended resolution principle. The resolution takes place between geneneral clauses with an arbitrary selection for unification among these clauses.
Index TermsUncertainty theorem proving first order logic
Unable to display preview. Download preview PDF.
- M. Ishizuka, N. Kanai, “Prolog-Elf incorporating Fuzzy Logic”, in Proc. 9th Int. Joint Conf. Artificial Intelligence, Los Angeles, pp.701–703, Aug. 18–23, 1985.Google Scholar
- D. Dubois, J. Lang, H.Prade, “Theorem proving under uncertainty - a possibility theory-based approach”, in Proc. 10th Int. Joint Conf. Artificial Intelligence, pp.984–986, 1986.Google Scholar