|  | Oct 31, 2025 |  |  | 
	     
			
		  	|  | 
              
                | COSC 470 - Artificial Intelligence3 credits
 3 lecture hours.
 
 This course is an introduction to the agent-oriented approach to artificial intelligence. The course covers: foundations and history of artificial intelligence, intelligent agents, search techniques, knowledge and reasoning, logic (propositional and predicate logic), reasoning with logic, forward and back- ward chaining, resolution, and applications (mechanical theorem proving and expert systems).
 
 Prerequisite(s) COSC 220  completed with a grade of “C” or higher
 Offered (FALL OR SPRING)
 
 
 Add to Portfolio (opens a new window)
 |  |