A System of Knowledge Representation Based in Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A "Fuzzy"Terminological Logic.
Rita Maria da SilvaAntônio Eduardo C. PereiraMárcio L. Andrade NettoPublished in: IPMU (1994)
Keyphrases
- predicate calculus
- knowledge representation
- first order logic
- valued logic
- predicate logic
- knowledge representation and reasoning
- natural language
- knowledge base
- fuzzy variable
- formal model
- theorem proving
- lambda calculus
- semantic network
- expressive power
- proof procedure
- logic programming
- propositional logic
- knowledge acquisition
- automated reasoning
- horn clauses
- logical formulas
- highly expressive
- fuzzy sets
- knowledge based systems
- fuzzy numbers
- expert systems
- theorem prover
- representation language
- inference rules
- fuzzy logic
- incomplete information
- probabilistic reasoning
- fuzzy set theory
- description logics
- machine learning
- membership functions
- real numbers
- semantic web
- natural language processing
- relational algebra
- fuzzy rules
- semantic net
- facial expressions
- knowledge sources
- truth values
- representing knowledge
- random variables
- data mining