Interpretation STIT Logic

Abstract

STIT logic is a logic that can model choices. STIT is an abbreviation of "seeing to it that".Herzig and Troquard defined in 2006 a new version of the STIT logic that combines knowledge with STIT. This logic has a version of the STIT operator that models knowingly seeing to it. However, defining a generally accepted notion of knowledge has historically proved to be very difficult. In this thesis an alternative for a knowledge operator is suggested, namely the interpretation operator. This operator models an agent "acting as if" some proposition holds. A more abstract operator like the interpretation operator can help give new insight in the problems where a notion of knowledge seems to be necessary without defining a notion of knowledge. For instance, problems concerning responsibility can be modeled with interpretation instead of knowledge.