Fuzzy order-sorted feature logic

DOI10.1016/J.FSS.2023.108800MaRDI QIDQ6932808zbMATH OpenFDO

Authors Gian Carlo Milanese, Gabriella Pasi

Publication date 8 September 2025

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.FSS.2023.108800

zbMATH Keywords

approximate reasoningfuzzy ontologiesfuzzy subsumptionfuzzy unificationknowledge representationorder-sorted feature logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites work

• A similarity-based resolution rule
• Approximate reasoning by similarity-based SLD resolution.
• Foundations of fuzzy logic and semantic web languages
• Fuzzy Description Logics – A Survey
• Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
• Fuzzy sets and systems. Theory and applications
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• Login: a logic programming language with built-in inheritance
• Proximity-based unification theory
• Solving proximity constraints
• The fuzzy logic programming language FASILL: design and implementation
• The Logic of Typed Feature Structures
• Towards a meaning of life

This page was built for publication: Fuzzy order-sorted feature logic

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