Show simple item record

dc.contributor.authorvan Berkel, K
dc.contributor.authorLyon, T
dc.contributor.authorOlivieri, F
dc.date.accessioned2022-02-03T04:04:23Z
dc.date.available2022-02-03T04:04:23Z
dc.date.issued2020
dc.identifier.isbn9783030446376
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-030-44638-3_14
dc.identifier.urihttp://hdl.handle.net/10072/411959
dc.description.abstractWe 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.
dc.publisherSpringer International Publishing
dc.relation.ispartofconferencenameThird International Conference on Logic and Argumentation (CLAR 2020)
dc.relation.ispartofconferencetitleLecture Notes in Computer Science
dc.relation.ispartofdatefrom2020-04-06
dc.relation.ispartofdateto2020-04-09
dc.relation.ispartoflocationHangzhou, China
dc.relation.ispartofpagefrom219
dc.relation.ispartofpageto241
dc.relation.ispartofvolume12061
dc.titleA Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms
dc.typeConference output
dcterms.bibliographicCitationvan 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
dc.date.updated2022-02-03T03:46:08Z
dc.description.versionAccepted Manuscript (AM)
gro.rights.copyright© 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
gro.hasfulltextFull Text
gro.griffith.authorOlivieri, Francesco


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record