An efficient algorithm for representing piecewise linear functions into logic

DOI10.1016/J.ENTCS.2020.08.009MaRDI QIDQ2229157zbMATH OpenOpenAlexWikidataFDO

Authors Sandro Preto, Marcelo Finger

Publication date 22 February 2021

Full work available at URL https://doi.org/10.1016/j.entcs.2020.08.009

zbMATH Keywords

piecewise linear functionsrational McNaughton functionsŁukasiewicz infinitely-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
• scientific article; zbMATH DE number 2030507
• A constructive proof of McNaughton's theorem in infinite-valued logic
• scientific article; zbMATH DE number 2030506
• Semi-normal forms and functional representation of product fuzzy logic.

Cites work

• A constructive proof of McNaughton's theorem in infinite-valued logic
• A representation method for PWL functions oriented to parallel processing
• A theorem about infinite-valued sentential logic
• Algebraic foundations of many-valued reasoning
• scientific article; zbMATH DE number 2042622 (Why is no real title available?)
• scientific article; zbMATH DE number 3238721 (Why is no real title available?)
• Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic
• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• Region configurations for realizability of lattice piecewise-linear models.
• Satisfiability in many-valued sentential logic is NP-complete
• The L and L 12 logics: Two complete fuzzy systems joining Łukasiewicz and product logics
• The complexity of McNaughton functions of one variable

Cited in

(7)

• An effective logarithmic formulation for piecewise linearization requiring no inequality constraint
• Modeling linear logic with implicit functions
• A constructive proof of McNaughton's theorem in infinite-valued logic
• scientific article; zbMATH DE number 2209902 (Why is no real title available?)
• Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability
• Nash meets Łukasiewicz: computing equilibria through logic
• Regional, lattice and logical representations of neural networks

Describes a project that uses

Uses Software

• LIPSAT

This page was built for publication: An efficient algorithm for representing piecewise linear functions into logic

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