80-314 Logic and Artificial Intelligence

Units: 9-12 Department: Philosophy Cross-listed: 80-614 Related URLs: http://www.hss.cmu.edu/philosophy An introduction to several formalisms used in knowledge representation and database theory. The emphasis is placed on nonmonotonic logic, conditional logic and belief revision methods. We will also study recent issues in the logics of knowledge and belief and consider applications in distributed AI. Several methodological problems in AI are discussed.

Popularity index Rank for this semester: #888 Rank in this department: #24   Students also scheduled 15-212 Principles of Programming 73-200 Macroeconomics 21-301 Combinatorics 73-469 Economics of E-Commerce 80-311 Computability and Incompleteness 18-202 Mathematical Foundations of Electri... 88-184 Topics of Law: The Bill of Rights 76-270 Writing for the Professions 18-545 Advanced Digital Design Project 18-396 Signals and Systems

Spring 2005 times

Sec	Time	Day	Instructor	Location
A	3:00 - 4:20 pm	T	Arlo-Costa	PH A18B
		R	Arlo-Costa	PH A18B