An announcement of the course can also be found in the course information system CAMPUS. Contents Topics covered in the course The course introduces techniques for knowledge representation and reasoning. The topics covered are:
An announcement of the course can also be found in the course information system CAMPUS. Content In this proseminar we discuss selected topics from the textbook Stuart Russel, Peter Norvig: Artificial Intelligence - A Modern Approach, 3rd Edition, Prentice Hall, 2010.
Knowledge Representation (KR) is a vibrant and exciting field in artificial intelligence. The endeavor rests on two fundamental ideas. First, to reason about the problem domain one must formalize it, perhaps in some logical formalism such as propositional logic or first-order logic.