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

Loading...
Thumbnail Image
File version

Accepted Manuscript (AM)

Author(s)
van Berkel, K
Lyon, T
Olivieri, F
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2020
Size
File type(s)
Location

Hangzhou, China

License
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.

Journal Title
Conference Title

Lecture Notes in Computer Science

Book Title
Edition
Volume

12061

Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement

© Springer Nature Switzerland AG 2020. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com

Item Access Status
Note
Access the data
Related item(s)
Subject
Persistent link to this record
Citation

van Berkel, K; Lyon, T; Olivieri, F, A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms, Lecture Notes in Computer Science, 2020, 12061, pp. 219-241