This course surveys a wide range of reasoning, optimization and determination making methodologies for creating extremely autonomous techniques and determination help aids. The main focus is on rules, algorithms, and their utility, taken from the disciplines of synthetic intelligence and operations analysis.
Reasoning paradigms embrace logic and deduction, heuristic and constraint-based search, model-based reasoning, planning and execution, and machine studying. Optimization paradigms embrace linear programming, integer programming, and dynamic programming. Determination-making paradigms embrace determination theoretic planning, and Markov determination processes.