KR

Knowledge Representation

Seminar Dynamics of Knowledge and Belief

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 [ ]

HiWi für Java-Programmierung in einem interdisziplinären Projekt gesucht

In einem interidziplinären Forschungsprojekt entwickeln wir am Lehrstuhl für Ingenieurgeologie und Hydrogeologie (http://www.lih.rwth-aachen.de) und in der Knowledge Based Systems Group ein neuartiges Modellierungs- und Simulationsframework für komplexe soziale Systeme. Zur Unterstützung suchen wir kurzfristig eine studentische Hilfskraft.

Submitted by Martin Liebenberg on 20. September 2013 - 16:14 categories [ ]

Lecture - Introduction to Knowledge Representation SS 2013

An announcement of the course can also be found in the course information system CAMPUS.

Submitted by Jens Claßen on 1. February 2013 - 16:05 categories [ ]

Lecture - Introduction to Knowledge Representation

An announcement of the course can also be found in the course information system CAMPUS.

Submitted by Daniel Beck on 3. April 2012 - 11:29 categories [ ]

Seminar Robust Reliable Robotics

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 [ ]

Registration for 2nd KR Exam 2011

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 [ ]

Open Master Thesis: Specification of a Trans-Disciplinary Knowledge-Based Planning and Simulation Framework Regarding the Interaction of Mega-Urbanization and Water Management

Humanity has crossed the line from being a rural to urban species since 2007. For the first time in history, more people live in cities and urban areas than in the countryside. Starting in the developed nations, where the urbanisation process has been significantly decelerated in the meantime, urbanisation has especially increased in Asia and South America as well as in Africa to a substantial extent in the second half of the last century.

Submitted by stf on 8. July 2011 - 14:47 categories [ ]

Registration for 1st KR Exam 2011

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 July 22.

Fields marked with an asterisk are mandatory.

Submitted by Daniel Beck on 4. July 2011 - 11:19 categories [ ]

Lecture - Introduction to Knowledge Representation

An announcement of the course can also be found in the course information system CAMPUS.

Submitted by Jens Claßen on 1. April 2011 - 13:38 categories [ ]

Knowledge Representation and Computational Tractability

Introduction


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. Second, for the representation to be useful one must be able to obtain reasonable and intuitive inferences in a timely fashion.

Unfortunately, propositional reasoning is intractable (Boolean reasoning is NP-COMPLETE) and first-order logic is undecidable. Thus, an important goal in the KR enterprise is to find a tradeoff be- tween the expressiveness of the representational language and the computational behavior of associated reasoning tasks. A main objective of this seminar is to discuss approaches bordering this tradeoff.

Submitted by vaishakbelle on 4. January 2011 - 18:11 categories [ ]