Fundamental methods for reasoning and planning of AI agents in smart environments

Bachelor Thesis, Master Thesis

Ubiquitous computing is in need of techniques that allow the system to act intelligently and autonomously. In this respect, one of the main concerns is the automated and dynamic creation of plans, which give the system the capabilities to reason about heterogenous and uncertain changes in the environment in an efficient manner. In spite of the important advancements that the field of Artificial Intelligence (AI) have made in automated planning and reasoning techniques, efficient planning for large sequence of actions in ever changing environments remains an open problem.

Goal

Devise, implement, and evaluate an approach that can contribute to the basis of the development of ubiquitous computing services able to plan and reason efficiently for large set of actions in smart environments.

Requirements

  • Programming experience required (C, C++, Java, Python, Javascript, or similar)
  • Some basic knowledge of boolean logic can be advantageous
  • Eagerness to learn and work hard