A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms

In Mehdi Dastani, Huimin Dong & Leon van der Torre (eds.), Logic and Argumentation. pp. 219 - 241 (2020)
Download Edit this record How to cite View on PhilPapers
Abstract
We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property.
PhilPapers/Archive ID
VANADM-8
Upload history
Archival date: 2020-07-02
View other versions
Added to PP index
2020-07-02

Total views
92 ( #44,009 of 2,439,471 )

Recent downloads (6 months)
28 ( #25,368 of 2,439,471 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.