Forrester's paradox using typicality

Chingoma, Julian and Meyer, Thomas (2019) Forrester's paradox using typicality, Proceedings of South African Forum for Artificial Intelligence, 3-6 December 2019, Cape Town, CEUR.

[img] Text
2019 Chingoma.pdf - Published Version

Download (364kB)


Deonticlogicisalogicoftenusedtoformalisescenariosinthe legal domain. Within the legal domain there are many exceptions and conflicting obligations. This motivates the enrichment of deontic logic with a notion of typicality which is based on defeasibility, with defeasi- bility allowing for reasoning about exceptions. Propositional Typicality Logic (PTL) is a logic that employs typicality. Deontic paradoxes are often used to examine logic systems as they provide undesirable results even if the scenarios seem intuitive. Forrester’s paradox is one of the most famous of these paradoxes. This paper shows that PTL can be used to represent and reason with Forrester’s paradox in such a way as to block undesirable conclusions without sacrificing desirable deontic properties.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Date Deposited: 01 Jun 2020 13:39
Last Modified: 01 Jun 2020 13:39

Actions (login required)

View Item View Item