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.
Submitted by Jens Claßen on 1. April 2014 - 18:07 categories [ ]
In this seminar we will study several modeling and reasoning techniques for knowledge and belief in dynamic systems. Knowledge is an important aspect of intelligent programs: while most of today's systems assume a closed world, i.e., everything they don't know to be true is assumed to be false, an intelligent system needs to consider possible that there are truths not known to the system. In a dynamic environment, i.e., an environment where one or multiple agents (inter)act, the system will usually have to acquire new knowledge through sensing. Potentially it may even revise its beliefs when it realizes some beliefs were wrong. In this seminar we will study various aspects of action, knowledge, and belief.
We plan to 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.
Submitted by Christoph Schwering on 6. January 2014 - 0:08 categories [ ]
Submitted by Jens Claßen on 1. February 2013 - 16:05 categories [ ]
In this seminar we will study several different approaches to and aspects of plan and activity recognition. Recognizing what other agents are doing is an important aspect of intelligent systems. For example, a domestic service robot needs to understand what the human is doing in order to interact with him in a reasonable way. And a self-driving car should know what the other traffic participants are doing right now and infer what they are going to do in the next moments. Different domains bring along different problems and needs for levels of expressiveness like partial observability, incomplete knowledge, non-deterministic actions, adversarial agents, potentially hazardous situations. We will study some of the latest research on these problems and work out the particular strengths and weaknesses.
The topics include recent papers on plan and activity recognition.
Submitted by Christoph Schwering on 11. January 2013 - 15:14 categories [ ]
The SS 2013 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".
Submitted by stf on 7. January 2013 - 18:38 categories [ ]
Together with the IMA/ZLW & IFU Institute Cluster, RWTH Aachen University and the Department for Electrical Engineering and Information Technology, Robotics Group, FH Aachen we founded a new joined team to participate in the Festo RoboCup Logistics League
To kick off the team, and as a preparation for RoboCup 2012 in Mexico City, there will be a Hackathon from May 28th to June 1st (excursion week). The goal of this Hackathon is to integrate a robotics system based on the Robotino robot, that can complete certain logistics task in a restricted environment.
Submitted by tim on 18. April 2012 - 18:40 categories [ ]
Submitted by Daniel Beck on 3. April 2012 - 11:29 categories [ ]
This semester's proseminar will be on different (sub-)topics from artificial intelligence. We mainly follow the lines of the well known textbook by Stuart Russell and Peter Norvig "Artificial Intelligence - A Modern Approach".
Submitted by stf on 9. January 2012 - 16:37 categories [ ]
In this seminar we will study several aspects of robust and reliable robotics. Robots are machines created to fulfill particular tasks instead of or in cooperation with humans. In virtually all scenarios a failure is annoying or even catastrophic. Planetary rovers cannot be repaired easily or at all, broken factory robots can become vastly expensive not only due to the cost to repair the robot itself, but the problems they cause for the overall supply chain; and domestic service robots operate in close proximity to humans in their habitats and must take special precautions as not to harm a human or damage the interior. These considerations make it necessary to develop techniques and systems that enable a robot system to detect failures or unexpected behavior and at least stop, better even work around the problem.
The topics include recent papers on execution monitoring, robot system debugging, and fault detection.
Submitted by tim on 9. January 2012 - 13:10 categories [ ]
Only students that do not need to enroll at the ZPA for the exam need to register here. For instance, these are diploma students or students who are currently pursuing their Bachelor degree but intend to use the exam for their Master's studies.
The registratration will be open until September 21.
Fields marked with an asterisk are mandatory.
Submitted by Daniel Beck on 13. September 2011 - 10:10 categories [ ]