CSCI 5690 - Knowledge Representation for Intelligent Systems

An in-depth study of different types of knowledge representation in artificial intelligence for the efficient control of complex real-world systems like autonomous robots, space vehicles, and military units. Major emphasis is on search algorithms and heuristics, logical representation with applications to planning, formal linguistic representation. At the conclusion, all the theories studied are combined in the form of introduction to the state-of-the-art linguistic geometrical representation of complex control systems. Prereq: CSCI 3412. Semester Hours: 3 to 3