Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers.
Hannes StrassSusana Muñoz-HernándezVictor Pablos CerueloPublished in: IFSA/EUSFLAT Conf. (2009)
Keyphrases
- logic programming
- operational semantics
- declarative semantics
- default logic
- logic programs
- nonmonotonic reasoning
- fuzzy linguistic
- default reasoning
- logic programming language
- answer set programming
- formal semantics
- deductive databases
- knowledge representation
- model theoretic
- knowledge base
- default theories
- mental states
- programming language
- knowledge representation and reasoning
- fuzzy sets
- answer sets
- fuzzy logic
- constraint logic programming
- stable models
- classical logic
- data model
- nonmonotonic logics
- inductive logic programming
- fuzzy numbers
- probabilistic reasoning
- autoepistemic logic
- speech acts
- natural language
- cooperative