Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
120 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms (2403.02933v1)

Published 5 Mar 2024 in cs.AI and cs.LO

Abstract: One of the main challenges in the area of Neuro-Symbolic AI is to perform logical reasoning in the presence of both neural and symbolic data. This requires combining heterogeneous data sources such as knowledge graphs, neural model predictions, structured databases, crowd-sourced data, and many more. To allow for such reasoning, we generalise the standard rule-based language Datalog with existential rules (commonly referred to as tuple-generating dependencies) to the fuzzy setting, by allowing for arbitrary t-norms in the place of classical conjunctions in rule bodies. The resulting formalism allows us to perform reasoning about data associated with degrees of uncertainty while preserving computational complexity results and the applicability of reasoning techniques established for the standard Datalog setting. In particular, we provide fuzzy extensions of Datalog chases which produce fuzzy universal models and we exploit them to show that in important fragments of the language, reasoning has the same complexity as in the classical setting.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (42)
  1. Foundations of Databases. Addison-Wesley, 1995.
  2. Fuzzy extension of Datalog. Acta Cybernetica, 12(2):153–166, 1995.
  3. Generative Datalog with stable negation. In Proceedings of PODS, pages 21–32, 2023.
  4. Kay R Amel. From shallow to deep interactions between knowledge representation, reasoning and machine learning. In Proceedings of SUM, pages 16–18, 2019.
  5. On rules with existential variables: Walking the decidability line. Artificial Intelligence, 175(9-10):1620–1654, 2011.
  6. Machine learning and logical reasoning: The new frontier (Dagstuhl Seminar 22291). In Dagstuhl Reports, 2023.
  7. The implication problem for data dependencies. In Automata, Languages and Programming: Eighth Colloquium Acre (Akko), pages 73–85, 1981.
  8. Vadalog: A modern architecture for automated reasoning with large knowledge graphs. Information Systems, 105:101528, 2022.
  9. The space-efficient core of vadalog. ACM Trans. Database Syst., 47(1):1:1–1:46, 2022.
  10. fuzzyDL: An expressive fuzzy description logic reasoner. In Proceedings of IEEE International Conference on Fuzzy Systems, pages 923–930, 2008.
  11. Semi-oblivious chase termination: The sticky case. Theory of Computing Systems, 65(1):84–121, 2021.
  12. Taming the infinite chase: Query answering under expressive relational constraints. Journal of Artificial Intelligence Research, 48:115–174, 2013.
  13. A general Datalog-based framework for tractable query answering over ontologies. In Proceedings of PODS, pages 77–86, 2009.
  14. Query answering under non-guarded rules in datalog+/-. In Proceedings of Web Reasoning and Rule Systems, pages 1–17, 2010.
  15. Syntax and semantics of multi-adjoint normal logic programming. Fuzzy Sets and Systems, 345:41–62, 2018.
  16. From statistical relational to neuro-symbolic artificial intelligence. arXiv preprint arXiv:2003.08316, 2020.
  17. Rafee Ebrahim. Fuzzy logic programming. Fuzzy Sets and Systems, 117(2):215–230, 2001.
  18. Neural fuzzy logic programming. IEEE Transactions on Neural Networks, 3(5):815–818, 1992.
  19. Data exchange: semantics and query answering. Theoretical Computer Science, 336(1):89–124, 2005.
  20. Comparison of different t-norm operators in classification problems. arXiv preprint arXiv:1208.1955, 2012.
  21. Fuzzy set-theoretic operators and quantifiers. In Fundamentals of Fuzzy Sets, pages 125–193. 2000.
  22. Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning. arXiv preprint arXiv:1905.06088, 2019.
  23. Neurosymbolic AI: The 3rd wave. Artificial Intelligence Review, pages 1–20, 2023.
  24. Datalog+/-: Questions and answers. In Proceedings of KR, 2014.
  25. Datalog+/-: Questions and answers. In Proceedings KR, 2014.
  26. Anatomy of the chase. Fundamenta Informaticae, 157(3):221–270, 2018.
  27. Petr Hájek. Metamathematics of Fuzzy Logic, volume 4 of Trends in Logic. Kluwer, 1998.
  28. A fuzzy Datalog deductive database system. IEEE Transactions on Fuzzy Systems, 26(5):2634–2648, 2018.
  29. Triangular Norms, volume 8 of Trends in Logic. Springer, 2000.
  30. MV-Datalog+-: Effective rule-based reasoning with uncertain observations, 2022.
  31. New perspectives for fuzzy Datalog (extended abstract). In Proceedings of Datalog 2.0, pages 42–47, 2022.
  32. Logic tensor networks: Theory and applications. Neuro-Symbolic Artificial Intelligence: The State of the Art, 342:370, 2022.
  33. Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics, 6(4):291–308, 2008.
  34. Neural probabilistic logic programming in DeepProbLog. Artificial Intelligence, 298:103504, 2021.
  35. Lyrics: A general interface layer to integrate logic inference and deep learning. In Proceedings of ECML PKDD, pages 283–298, 2019.
  36. A procedural semantics for multi-adjoint logic programming. In Proceedings of EPIA, pages 290–297, 2001.
  37. George A Miller. WordNet: A lexical database for English. Communications of the ACM, 38(11):39–41, 1995.
  38. Luciano Serafini and Artur S d’Avila Garcez. Learning and reasoning with logic tensor networks. In Proceedings of AIxIA, pages 334–348, 2016.
  39. Neural-probabilistic answer set programming. In Proceedings of KR, pages 463–473, 2022.
  40. Umberto Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14:137–166, 2001.
  41. NeurASP: Embracing neural networks into answer set programming. arXiv preprint arXiv:2307.07700, 2023.
  42. A fuzzy logic system based on Schweizer-Sklar t-norm. Science in China Series F: Information Sciences, 49(2):175–188, 2006.

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now