PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.)
Vol. 69(83), pp. 8--12 (2001)
A LOGIC OF APPROXIMATE REASONING
Miodrag Raskovi\'c, Radosav Djordjevi\'c and Zoran Markovi\'cPrirodno-matematicki fakultet, Kragujevac, Yugoslavia
Abstract: We introduce a logic with approximate reasoning as a modification of the probability logic LPP introduced by Raskovi\'c in . The usual probability logics have probabilistic quantifiers, whereas we have probability operators that behave like a kind of modal operators. The main improvement here is a new axiom which ensures that probable premises will yield a probable conclusion. Using techniques introduced in , a completeness theorem is proved.
Classification (MSC2000): 03B48, 03C70; 03C80
Full text of the article:
Electronic fulltext finalized on: 5 Feb 2002. This page was last modified: 5 Feb 2002.
© 2002 Mathematical Institute of the Serbian Academy of Science and Arts