2017

2017

Lecture - Introduction to Artificial Intelligence WS 2017/2018

Submitted by Jens Claßen on 26. September 2017 - 13:57
See Campus for announcements for Note:
  • 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 10 November.

Master's Thesis: Reasoning about Plausibility for the Winograd Schema Challenge [completed]

Submitted by Jens Claßen on 4. May 2017 - 14:57

The Winograd Schema Challenge (WSC) has been proposed as an alternative to the Turing Test for measuring a machine’s intelligence by letting it solve pronoun resolution problems that cannot be tackled by statistical analysis alone, but require commonsense, everyday background knowledge and some form of deeper "understanding" of the question. WSCs are thus hard to solve for machines, but easy for humans.

Many solutions so far are based on machine learning and natural language processing, and achieve results that are hardly better than guessing. Moreover, most knowledge-based approaches to the WSC have been purely theoretical. The goal of this thesis was to develop and implement a knowledge-based WSC solver. In particular, a logic of conditional beliefs called BO is employed that is capable of dealing with incomplete or even inconsistent information (which commonsense knowledge often is). It does so by formalising the observation that humans often reason by picturing different contingencies of what the world could be like, and then choose to believe what is thought to be most plausible. Relevant commonsense background information furthermore is obtained from the ConceptNet semantic network and translated into BO, and processed by the Limbo reasoner.

Lecture - Introduction to Knowledge Representation SS 2017

Submitted by Jens Claßen on 3. February 2017 - 12:26
See Campus for announcements for Note:
  • 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.

Seminar "Selected Topics on Planning and Plan Execution for Robotic Systems" SS 2017

Submitted by Till Hofmann on 9. January 2017 - 18:41

In this seminar we will study plan generation and plan execution in robotic domains. While planning deals with the problem of finding suitable actions to accomplish a certain goal, plan execution and monitoring on robots come with additional problems: The agent's knowledge is no longer complete, the environment may change during plan execution, humans and other agents may interfere with the agent's actions, and resource and temporal constraints need to be honored. The plan executive needs to execute actions physically on a robot, adapt to changes during execution, and repair the current plan or replan if necessary. In this seminar, we will look at various methods to deal with those problems and we will investigate how these methods are applied on real-world robotic systems.

Proseminar Artificial Intelligence SS 2017

Submitted by stf on 9. January 2017 - 17:36

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.

Optimizing the Performance of Robot Fleets in Production Logistics Scenarios Using SMT Solving

Submitted by stf on 10. October 2016 - 19:05

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