Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants.
Teresa AlsinetLluís GodoPublished in: Int. J. Intell. Syst. (2002)
Keyphrases
- logic programming
- automated deduction
- classical first order logic
- logic programs
- fuzzy linguistic
- deductive databases
- possibilistic logic
- fuzzy numbers
- fuzzy sets
- knowledge representation
- nonmonotonic reasoning
- logic programming language
- knowledge base
- answer set programming
- classical logic
- first order logic
- default logic
- constraint logic programming
- programming language
- fuzzy rules
- propositional variables
- stable models
- fuzzy logic
- answer sets
- inductive logic programming
- horn clauses
- answer set programs
- normal logic programs
- database