An announcement of the course can also be found in the course information system CAMPUS.
This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.
In this proseminar we will discuss selected topics from the textbook
An announcement of the course can also be found in the course information system CAMPUS.
For Material and other information visit the L²P-learning room for this ProSeminar.
Contents
The foundations of Artificial Intelligence, and the scope of the discipline has benefited from significant insights for the last 50 years: from symbolic representation and reasoning to theoretical assertiveness for learning programs. In this seminar, we cover a few ideas on the foundations of the aforementioned approaches, such as the situation calculus and the Frame Problem in logical formalisms for action and effects, non-monotonic reasoning, and graphical representations for decision-making and learning. Recently, Artificial Intelligence has also benefited from the use of important results in the field of game theory. To this extent, we also include topics in non-cooperative game theory and the impact of game theory on Artificial Intelligence.