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

DOI10.1007/978-3-319-94205-6_14zbMATH Open1468.68199OpenAlexW2810505337WikidataQ117022075 ScholiaQ117022075MaRDI QIDQ1799080FDOQ1799080

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• Deciding Koopman's qualitative probability
• Rota's Fubini lectures: the first problem
• Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
• An efficient algorithm for representing piecewise linear functions into logic
• LIPSAT
• Quantitative Logic Reasoning

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)