Fusing Logic and Control with Local Transformations: An Example Optimization.

Patricia Johann Eelco Visser

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

control system
optimization algorithm
optimization problems
control strategy
optimal control
optimization process
knowledge base
control method
digital circuits
real time
defeasible logic
classical logic
logical framework
process control
adaptive control
global optimization
data acquisition
neural network