Show simple item record

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorBroersen, J.M.
dc.contributor.authorHermans, A.N.
dc.date.accessioned2013-07-25T17:01:45Z
dc.date.available2013-07-25
dc.date.available2013-07-25T17:01:45Z
dc.date.issued2013
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/13403
dc.description.abstractDeviant causal chain examples were first introduced as counterexamples to the philosophical causal theory of action, which encompasses the view that actions are events and that an event is an action if and only if it is rationalized and caused by the agent's beliefs and desires. This thesis investigates if it is possible to model deviant causal chains in XSTIT logic, a form of STIT logic. STIT logic is a philosophical logic of agency and can model properties and aspects of agency such that an agent is making a choice. With the help of theorem prover SPASS, logical properties of the logical frameworks are investigated. Deviant causal chains cannot be modeled in XSTIT logic, at least not within one step. Modeling deviant causal chains in multiple steps seems possible, but does not capture the essence of the deviant causal chain examples. More research is necessary to answer the question if causal relations can be modeled in STIT logic.
dc.description.sponsorshipUtrecht University
dc.format.extent769511 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleDeviant Causal Chains in XSTIT Logic
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsDeviant causal chains, XSTIT logic, STIT logic, causal theory of action, SPASS, theorem prover, causal relations, causal chains, agency.
dc.subject.courseuuKunstmatige Intelligentie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record