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:
- Progression of knowledge bases: what is the new knowledge base after an update action?
- Incomplete knowledge and relation with (incomplete) databases.
- Knowledge precondition for plans: what knowledge is required to successfully execute a plan?
- 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:
-
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian SardiƱa: Incomplete Causal Laws in the Situation Calculus Using Free Fluents. IJCAI 2016: 907-914
-
Nitin Yadav and Sebastian Sardina. Using strategic logics to reason about agent programs. In Francesca Rossi, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 3101-3105, Beijing, China, August 2013. AAAI Press. In Best Papers Sister Conferences track (Best Paper Award at JELIA'12).
-
Stavros Vassos and Sebastian Sardina. A database-type approach for progressing action theories with bounded effects. In Gerhard Lakemeyer and Sheila A. McIlraith, editors, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, chapter 29, pages 467-486. College Publications, July 2011.
-
Sebastian Sardina, Giuseppe De Giacomo, Yves LespƩrance, and Hector J. Levesque. On the limits of planning over belief states under strict uncertainty. In Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 463-471, Lake District, UK, June 2006.
Obs: picture produced by my very good friend Diego Martinez.