Moment Semantics for Reversible Rule-Based Systems.
Vincent DanosTobias HeindelRicardo Honorato-ZimmerSandro StuckiPublished in: RC (2015)
Keyphrases
- rule based systems
- knowledge representation
- security systems
- rule base
- rule based expert systems
- expert systems
- knowledge based systems
- cellular automata
- procedural semantics
- semantic information
- logic programming
- markov chain
- formal models
- neural network
- backward chaining
- inference engine
- preprocessing
- pattern recognition
- computer vision
- genetic algorithm