The Computer Science Department reports on its activities on an annual basis. In the following, we provide the KBSG's contributions to those annual reports
In a project funded by the ICT project house Foundations of a Digitized Industry, Economy, and Society of RWTH Aachen University we are investigating how to optimize the performance of robot fleets in production logistics scenarios.
For more information visit the POPL-SMT project page at our partners from the Theory of Hybrid Systems Group
- To access the L2P room, you need to register for the course in Campus ("Zum klassischen Anmeldeverfahren"). There we publish slides, announcements, etc.
- To take the exam, you need to do the modular registration process which closes 18 November.
Note: This course starts on Monday, 18 April 2016.
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.
The proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig "Artificial Intelligence - A Modern Approach".
We implement a peer review process for this seminar. That is, every student will read some other students' term paper and provide feedback in form of a written review. This shall not only deepen your understanding of the other topics, but it also introduces you to the academic review process.
In this seminar we will study concepts of forgetting and relevance developed in the field of Knowledge Representation. Humans not only forget unintentionally but also intentionally, for example, when they obtain new information and delete previous contradicting and apparently false information. In fact, humans usually do not forget irrevocably; we can bring back memories and reconstruct forgotten knowledge. In formal languages as studied in KR, however, even supposedly simple forgetting often turns out very difficult. In this seminar, we will study techniques for forgetting in KR languages such as predicate logic, description logics, or answer set programs. Related to forgetting is the concept of relevance among different facts. For example, when some fact is to be forgotten, this may also affect other facts relevant to the forgotten fact. Relevance is useful to develop tractable reasoning and handling inconsistencies in a knowledge base.