Description: Intelligent industrial systems. Expert-system and knowledge-based decision and control examples. Propositional logic, resolution principle for deduction, Horn-clause systems of logic, ...