Sequences, Obligations, and the Contrary-to-Duty Paradox

In order to provide an implemented language of deontic concepts on complex actions for the purposes of social simulation, we consider the logical representation of obligations, sequences of actions, and the Contrary to Duty (CTD) Paradox. We show that approaches which follow Standard Deontic Logic (...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Wyner, Adam Zachary
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Artificial intelligence Complex Action Computer science control theory systems Computer systems and distributed systems. User interface Deontic Logic Dynamic Logic Exact sciences and technology Logical, boolean and switching functions Social Simulation Software Theoretical computing Violation Condition
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!