A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth Degrees.
Pascual Julián IranzoGinés MorenoJaime PenabadCarlos VázquezPublished in: RuleML (2016)
Keyphrases
- declarative semantics
- logic programming language
- fuzzy logic
- deductive databases
- logic programming
- operational semantics
- logic programs
- constraint logic programming
- neural network
- integrity constraints
- partial order
- inference rules
- expert systems
- fuzzy sets
- defeasible reasoning
- control system
- fixpoint
- stable models
- model theoretic
- artificial intelligence
- decision making
- formal semantics
- bayesian networks
- programming language
- query evaluation
- rough sets
- machine learning
- knowledge representation and reasoning
- legal reasoning
- fuzzy set theory
- fuzzy rules
- intelligent agents