Probabilistic Abduction in a Fuzzy Logic Framework
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Flaminio, Tommaso, Inoue, Katsumi, Kozhemiachenko, Daniil |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Complexity of Abduction in Łukasiewicz Logic
par: Inoue, Katsumi, et autres
Publié: (2025)
par: Inoue, Katsumi, et autres
Publié: (2025)
Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)
par: Bienvenu, Meghyn, et autres
Publié: (2024)
Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
par: Kozhemiachenko, Daniil, et autres
Publié: (2026)
par: Kozhemiachenko, Daniil, et autres
Publié: (2026)
Complexity of Łukasiewicz Modal Probabilistic Logics
par: Kozhemiachenko, Daniil, et autres
Publié: (2025)
par: Kozhemiachenko, Daniil, et autres
Publié: (2025)
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
par: Kozhemiachenko, Daniil
Publié: (2024)
par: Kozhemiachenko, Daniil
Publié: (2024)
Modal Logic for Reasoning About Uncertainty and Confusion
par: Bílková, Marta, et autres
Publié: (2025)
par: Bílková, Marta, et autres
Publié: (2025)
Paraconsistent Constructive Modal Logic
par: Gao, Han, et autres
Publié: (2025)
par: Gao, Han, et autres
Publié: (2025)
Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)
par: Bienvenu, Meghyn, et autres
Publié: (2024)
Non-distributive relatives of ETL and NFL
par: Kozhemiachenko, Daniil
Publié: (2024)
par: Kozhemiachenko, Daniil
Publié: (2024)
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
par: Bilkova, Marta, et autres
Publié: (2023)
par: Bilkova, Marta, et autres
Publié: (2023)
Neural Logic Networks for Interpretable Classification
par: Perreault, Vincent, et autres
Publié: (2025)
par: Perreault, Vincent, et autres
Publié: (2025)
Non-contingecy in a paraconsistent setting
par: Kozhemiachenko, Daniil, et autres
Publié: (2024)
par: Kozhemiachenko, Daniil, et autres
Publié: (2024)
Generalization of terms via universal algebra
par: Flaminio, Tommaso, et autres
Publié: (2025)
par: Flaminio, Tommaso, et autres
Publié: (2025)
A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)
par: Wang, Shanxia
Publié: (2026)
A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
par: Motoura, Shota, et autres
Publié: (2025)
par: Motoura, Shota, et autres
Publié: (2025)
Filter-induced entailment relations in paraconsistent Gödel logics
par: Frittella, Sabine, et autres
Publié: (2024)
par: Frittella, Sabine, et autres
Publié: (2024)
Logic of Fuzzy Paths
par: Grover, Kush, et autres
Publié: (2026)
par: Grover, Kush, et autres
Publié: (2026)
Non-Expansive Fuzzy Coalgebraic Logic
par: Gebhart, Stefan, et autres
Publié: (2025)
par: Gebhart, Stefan, et autres
Publié: (2025)
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
par: Kettmann, Pascal, et autres
Publié: (2025)
par: Kettmann, Pascal, et autres
Publié: (2025)
Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)
par: Takemura, Akihiro, et autres
Publié: (2026)
Why not? Developing ABox Abduction beyond Repairs
par: Haak, Anselm, et autres
Publié: (2025)
par: Haak, Anselm, et autres
Publié: (2025)
PFL: a Probabilistic Logic for Fault Trees
par: Nicoletti, Stefano M., et autres
Publié: (2023)
par: Nicoletti, Stefano M., et autres
Publié: (2023)
Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
par: Leneutre, Jean, et autres
Publié: (2024)
par: Leneutre, Jean, et autres
Publié: (2024)
Towards a Proof System for Probabilistic Dynamic Logic
par: Johnsen, Einar Broch, et autres
Publié: (2024)
par: Johnsen, Einar Broch, et autres
Publié: (2024)
First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)
par: Bloch, Isabelle, et autres
Publié: (2025)
Conditionals Based on Selection Functions, Modal Operators and Probabilities
par: Flaminio, Tommaso, et autres
Publié: (2025)
par: Flaminio, Tommaso, et autres
Publié: (2025)
Reducing Student Distraction Through Fuzzy Logic Based Seating Arrangements
par: Olges, Garrett, et autres
Publié: (2025)
par: Olges, Garrett, et autres
Publié: (2025)
Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)
par: Ding, Yiwen, et autres
Publié: (2025)
Tableaux for epistemic Gödel logic
par: Bílková, Marta, et autres
Publié: (2025)
par: Bílková, Marta, et autres
Publié: (2025)
Simple tableaux for two expansions of Gödel modal logic
par: Bilkova, Marta, et autres
Publié: (2024)
par: Bilkova, Marta, et autres
Publié: (2024)
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
par: Bienvenu, Meghyn, et autres
Publié: (2025)
par: Bienvenu, Meghyn, et autres
Publié: (2025)
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
par: Chodil, Miroslav, et autres
Publié: (2025)
par: Chodil, Miroslav, et autres
Publié: (2025)
Complexity of Faceted Explanations in Propositional Abduction
par: Schmidt, Johannes, et autres
Publié: (2025)
par: Schmidt, Johannes, et autres
Publié: (2025)
Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)
par: Nishimura, Yuki
Publié: (2024)
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)
par: Kettmann, Pascal, et autres
Publié: (2026)
Probabilistic Strategy Logic with Degrees of Observability
par: Mu, Chunyan, et autres
Publié: (2024)
par: Mu, Chunyan, et autres
Publié: (2024)
Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
par: Acclavio, Matteo, et autres
Publié: (2026)
par: Acclavio, Matteo, et autres
Publié: (2026)
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)
par: Lyon, Tim S.
Publié: (2023)
Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)
par: Marin, Sonia, et autres
Publié: (2025)
Integrating Fuzzy Logic into Deep Symbolic Regression
par: Gerdes, Wout, et autres
Publié: (2024)
par: Gerdes, Wout, et autres
Publié: (2024)
Documents similaires
-
Complexity of Abduction in Łukasiewicz Logic
par: Inoue, Katsumi, et autres
Publié: (2025) -
Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024) -
Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
par: Kozhemiachenko, Daniil, et autres
Publié: (2026) -
Complexity of Łukasiewicz Modal Probabilistic Logics
par: Kozhemiachenko, Daniil, et autres
Publié: (2025) -
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
par: Kozhemiachenko, Daniil
Publié: (2024)