Fuzzy types: A framework for handling uncertainty about types of objects

DOI10.1016/S0888-613X(00)00055-4zbMath0968.68026OpenAlexW2079210027MaRDI QIDQ1594851

Peter N. Creasy, Tru Hoang Cao

Publication date: 29 January 2001

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0888-613x(00)00055-4

zbMATH Keywords

taxonomic informationautomated reasoning systemsorder-sorted fuzzy logic systems

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION ⋮ A deductive probabilistic and fuzzy object-oriented database language. ⋮ A logic-based approach to incremental reasoning on multi-agent systems

Uses Software

• FRIL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning with inconsistency
• First-order fuzzy logic
• Fundamentals of Fuzzy Prolog
• Axiomatic approach to implication for approximate reasoning with fuzzy logic
• An order-sorted logic for knowledge representation systems
• Probabilistic logic programming
• Fuzzy logic and approximate reasoning
• Fuzzy sets as a basis for a theory of possibility
• Conceptual graphs for knowledge representation. 1st international conference on Conceptual structures, ICCS '93, Quebec City, Canada, August 4-7, 1993. Proceedings
• Algebraic structures in fuzzy logic
• Intuitionistic fuzzy Prolog
• Annotated fuzzy logic programs
• Computational aspects of an order-sorted logic with term declarations
• Conceptual structures: knowledge representation as interlingua. 4th international conference on conceptual structures, ICCS '96, Sydney, Australia, August 19-22, 1996. Proceedings
• L-fuzzy sets
• Systems of logic whose truth-values form lattices
• From Intervals to Fuzzy Truth-Values: Adding Flexibility to Reasoning Under Uncertainty
• Login: a logic programming language with built-in inheritance
• Support logic programming
• Fuzzy modus ponens: A new model suitable for applications in knowledge-based systems
• Lattice fuzzy logics
• The Logic of Typed Feature Structures
• Fuzzy And Uncertain Object-Oriented Databases
• Is the success of fuzzy logic really paradoxical?: Toward the actual logic behind expert systems
• Fuzzy Logic and the Resolution Principle
• Equality, types, modules, and (why not?) generics for logic programming

This page was built for publication: Fuzzy types: A framework for handling uncertainty about types of objects