PUBLICATIONS DE L'INSTITUT MATHÉMATIQUE (BEOGRAD) (N.S.) Vol. 69(83), pp. 8--12 (2001) |
|
A LOGIC OF APPROXIMATE REASONINGMiodrag Raskovi\'c, Radosav Djordjevi\'c and Zoran Markovi\'cPrirodno-matematicki fakultet, Kragujevac, YugoslaviaAbstract: We introduce a logic with approximate reasoning as a modification of the probability logic LPP introduced by Raskovi\'c in [7]. 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 [6], 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
|