Fuzzy rewriting -soft program semantics for children.
Yasunori HaradaRichard PotterPublished in: HCC (2003)
Keyphrases
- fuzzy sets
- intended meaning
- membership functions
- fuzzy logic
- formal semantics
- control flow
- fuzzy numbers
- programming language constructs
- fuzzy description logics
- semantically equivalent
- declarative semantics
- stable model semantics
- fuzzy clustering
- fuzzy rules
- fuzzy set theory
- computer programs
- fuzzy controller
- conjunctive queries
- semantic information
- school children
- magic sets
- query rewriting
- transformation rules
- rewrite rules
- logic rules
- programming language
- rough sets