scientific article; zbMATH DE number 2063019

Authors Lluís Godo, Petr Hájek, Francesc Esteva

Publication date 29 March 2004

applied modal logic belief functions Dempster's rule mathematical fuzzy logic probabilistic Kripke models probability logic t-norm based logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Review text

In this paper the authors offer, extending earlier joint work [``Reasoning about probabilities using fuzzy logic, Neural Network World 10, 811--824 (2000)], a logical system, i.e. a logical calculus together with an adequate semantics, to reason explicitly about Dempster-Shafer belief functions, interpreting belief degrees as truth degrees of suitable belief sentences. The core idea behind the semantics is to treat belief degrees as probabilities of necessities. Thus the main semantical structures are suitable probabilistic Kripke models. The corresponding logical calculus derives from a combination of the (infinite-valued) Łukasiewicz and product logics, if necessary combined with truth degree constants for all rationals from the real unit interval, with a modal logic, particularly with S5 or KB4. Using these tools, the authors are able to mirror inside this logic naïve arguments which refer to Dempster's rule in belief theory.

Recommendations

Cited in

(38)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4460673)