dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Rin, B | |
dc.contributor.advisor | Broersen, J | |
dc.contributor.author | Hendriks, T. | |
dc.date.accessioned | 2020-02-20T19:03:54Z | |
dc.date.available | 2020-02-20T19:03:54Z | |
dc.date.issued | 2019 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/34875 | |
dc.description.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. | |
dc.description.sponsorship | Utrecht University | |
dc.language.iso | en_US | |
dc.title | Interpretation STIT Logic | |
dc.type.content | Master Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | Interpretation;STIT;Logic;Modal;Knowledge;Deontic | |
dc.subject.courseuu | Artificial Intelligence | |