Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic.
Giovanni CasiniUmberto StracciaPublished in: LPAR (2013)
Keyphrases
- fuzzy logic
- decision making
- multi valued
- neural network
- artificial intelligence
- propositional logic
- sound and complete axiomatization
- probabilistic logic
- control system
- logic programming
- computational intelligence
- expert systems
- horn clauses
- back propagation
- valued logic
- fuzzy set theory
- automated reasoning
- general logic programs
- propositional variables
- neural networks and genetic algorithms
- deductive reasoning
- logical framework
- soft computing
- rule base
- case base
- evolutionary computation
- first order logic
- fuzzy sets
- rough sets
- genetic algorithm