Towards a fuzzy logic programming system: a clausal form fuzzy logic.
Paul C. RhodesSabah Merad MenaniPublished in: Knowl. Based Syst. (1995)
Keyphrases
- logic programming
- fuzzy logic
- logic programs
- inductive logic programming
- fuzzy sets
- membership functions
- fuzzy set theory
- nonmonotonic reasoning
- programming language
- fuzzy rules
- logic programming language
- fuzzy linguistic
- knowledge representation
- answer set programming
- fuzzy inference system
- expert systems
- computational logic
- deductive databases
- answer sets
- fuzzy inference
- reasoning tasks
- knowledge base
- artificial intelligence
- knowledge representation and reasoning
- default logic
- rule base
- decision making
- fuzzy logic controller
- constraint logic programming
- stable models
- horn clauses
- defeasible logic
- pseudo boolean constraints
- rough sets
- fuzzy information
- constraint propagation
- data model
- classical first order logic
- multi criteria
- theorem proving
- fixpoint
- reasoning about actions
- fuzzy numbers
- linguistic variables
- machine learning
- probabilistic reasoning
- defeasible argumentation