Partial first-order logic relying on optimistic, pessimistic and average partial membership functions.
Tamás MihálydeákPublished in: EUSFLAT Conf. (2013)
Keyphrases
- first order logic
- membership functions
- expressive power
- propositional logic
- fuzzy logic
- inference rules
- fuzzy sets
- inductive logic programming
- fuzzy model
- theorem proving
- probabilistic reasoning
- markov networks
- theorem prover
- logical rules
- transitive closure
- input variables
- fuzzy rules
- knowledge representation
- probabilistic graphical models
- markov logic
- representation language
- horn clauses
- relational algebra
- pattern recognition
- quantifier elimination
- fuzzy membership functions
- data model