Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems.

William Durand Sébastien Salva

Published in: FM (2015)

Keyphrases

production system
certainty factor
main contribution
production process
multistage
multiprocessor architecture
production rules
inference process
control structure
markov decision
data sets
neural network
search algorithm
probabilistic model
theoretical framework