Reasoning about action & change

This area is concerned with how to specify and verify dynamic systems. Different approaches to representing and reasoning about systems that change include temporal logic, model checking, dynamic logic, and modelling change in Artificial Intelligence. Some problems that I am interested include:

  1. Progression of knowledge bases: what is the new knowledge base after an update action?
  2. Incomplete knowledge and relation with (incomplete) databases.
  3. Knowledge precondition for plans: what knowledge is required to successfully execute a plan?
  4. Verification of properties in dynamic systems, even in infinite systems (i.e., systems manipulating infinite number of objects).

Some example of relevant papers in the area are:

Obs: picture produced by my very good friend Diego Martinez.

Sebastian Sardina
Sebastian Sardina
Professor in Artificial Intelligence

My research falls in the intersection between knowledge representation for reasoning about dynamic systems (reasoning about action and change), automated planning and reactive synthesis, and agent-oriented programming.

Related