A deductive model of control of a problem solver.

Published in: SIGART Newsl. (1977)

Keyphrases

statistical model
mathematical model
formal model
management system
computational model
information retrieval
high level
control system
probabilistic model
input data
theoretical framework
petri net
hierarchical structure
neural network model
network model