Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic

DOI10.1007/978-3-319-94205-6_14MaRDI QIDQ1799080zbMATH OpenOpenAlexWikidataFDO

Authors Marcelo Finger, Sandro Preto

Publication date 18 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-94205-6_14

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• Complexity of fuzzy probability logics
• A logic for reasoning about probabilities
• Probabilistic satisfiability
• The coherence of Łukasiewicz assessments is NP-complete

Cited in

(9)

• Rota's Fubini lectures: the first problem
• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• An efficient algorithm for representing piecewise linear functions into logic
• Deciding Koopman's qualitative probability
• Quantitative logic reasoning
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• LIPSAT
• Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
• Unimodular triangulations in Łukasiewicz logic: complexity bounds of probabilistic coherence

Describes a project that uses

Uses Software

• SCIP
• Yices

This page was built for publication: Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic

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