A categorical semantics for fuzzy predicate logic.
Lawrence Neff StoutPublished in: Fuzzy Sets Syst. (2010)
Keyphrases
- predicate logic
- highly expressive
- predicate calculus
- knowledge representation language
- knowledge representation and reasoning
- logical formulas
- fluent calculus
- semantic net
- fuzzy sets
- temporal logic
- formal logic
- computational linguistics
- fuzzy logic
- fuzzy rules
- logic programming
- semantic network
- lower level
- higher level
- information extraction
- order sorted
- artificial intelligence
- logic programs
- object oriented
- keywords
- web services
- knowledge base