Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description.
Teresa AlsinetLluís GodoSandra A. SandriPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- logic programming
- context dependent
- logic programs
- fuzzy linguistic
- high level
- nonmonotonic reasoning
- answer set programming
- knowledge representation
- possibilistic logic
- reasoning tasks
- logic programming language
- low level
- deductive databases
- knowledge base
- computational logic
- function symbols
- programming language
- fuzzy numbers
- natural language
- fuzzy sets
- fuzzy logic
- fuzzy information
- classical logic
- stable models
- probabilistic reasoning
- default logic
- constraint logic programming
- answer sets
- propositional variables
- probabilistic knowledge
- inductive logic programming
- fuzzy rules
- membership functions
- multi agent systems
- theorem prover
- artificial intelligence
- fixpoint
- relational databases
- default reasoning