Logic & AI seminar: Epistemic Logics with Strategies by Andrés R. Saravia

Abstract

“We present an epistemic logic that models the awareness an agent has about her own abilities and whether, with this knowledge and initial conditions, she can achieve a certain goal. Also we introduce a deontic interpretation of this logic in order to represent a notion of knowingly complying --associated with an agent's consciousness of taking a normative course of action for achieving an objective. Moreover, for the epistemic logic we define a plethora of dynamic operators for updating the models' ontic (the factual setting) and epistemic information (the knowledge of the agents). For each of these topics we present their corresponding axiom systems, expressivity, and some interesting results for its complexity problems such as model checking and SAT.”