Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Deontic logic for autonomous vehicles

2017/26/M/HS1/01092

Keywords:

deontic logic autonomous vehicles formal representation of norms decision modeling

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • ST6_7: Artificial intelligence, intelligent systems, multi-agent systems
  • HS1_2: Ontology and metaphysics, particular ontologies

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

woj. lubelskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Piotr Kulicki 

Number of co-investigators in the project: 7

Call: HARMONIA 9 - announced on 2017-06-14

Amount awarded: 422 800 PLN

Project start date (Y-m-d): 2018-05-08

Project end date (Y-m-d): 2022-05-07

Project duration:: 48 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (7)
  • Articles in post-conference publications (4)
  1. Brings it about that operators deconstructed with relating semantics
    Authors:
    Tomasz Jarmużek, Mateusz Klonowski, Piotr Kulicki
    Academic press:
    Studia Logica (rok: 2023, tom: brak, strony: brak), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-022-10030-5 - link to the publication
  2. Dynamic Logic of Legal Competences
    Authors:
    Huimin Dong, Olivier Roy
    Academic press:
    Journal of Logic, Language and Information (rok: 2021, tom: 30, strony: 701–724), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10849-021-09340-z - link to the publication
  3. Tableaux for some deontic logics with the explicit permission operator
    Authors:
    Daniela Glavanicová, Tomasz Jarmużek, Mateusz Klonowski, Piotr Kulicki
    Academic press:
    Bulletin of the Section of Logic (rok: 2022, tom: brak, strony: early view), Wydawca: University of Łódź
    Status:
    Published
    DOI:
    10.18778/0138-0680.2022.11 - link to the publication
  4. Ontology of autonomous driving based on the SAE J3016 standard
    Authors:
    Robert Trypuz, Piotr Kulicki, Mirek Sopek
    Academic press:
    Semantic Web Journal , Wydawca: IOS Press
    Status:
    Submitted
    DOI:
    brak - link to the publication
  5. A unified logical framework for reasoning about deontic properties of actions and states
    Authors:
    Piotr Kulicki, Robert Trypuz, Robert Craven, Marek Sergot
    Academic press:
    Logic and Logical Philosophy (rok: 2023, tom: brak, strony: brak), Wydawca: Nicolaus Copernicus University in Toruń
    Status:
    Published
    DOI:
    10.12775/LLP.2023.004 - link to the publication
  6. Free Choice Permission, Legitimisation and Relating Semantics
    Authors:
    Daniela Glavanicová, Tomasz Jarmużek, Mateusz Klonowski, Piotr Kulicki
    Academic press:
    Logic Journal of the IGPL (rok: 2022, tom: bd, strony: jzac047), Wydawca: Oxford Academic
    Status:
    Published
    DOI:
    10.1093/jigpal/jzac047 - link to the publication
  7. Rational solution with subjective risk concept for AV
    Authors:
    Marcin Czakon, Piotr Kulicki
    Academic press:
    Bulletin of the Section of Logic , Wydawca: University of Łódź
    Status:
    Submitted
    DOI:
    brak - link to the publication
  1. From Classical to Non-monotonic Deontic Logic Using ASPIC+
    Authors:
    Huimin Dong, Beishui Liao, Reka Markovich, Leendert van der Torre
    Conference:
    The International Conference on Logic, Rationality and Interaction (LORI) 2019 (rok: 2019, ), Wydawca: Springer
    Data:
    konferencja 18-21 października 2019
    Status:
    Published
  2. Virtue Ethics for Autonomous Cars (short version)
    Authors:
    Piotr Kulicki, Michael P. Musielewicz, Robert Trypuz
    Conference:
    Workshop on Logics for the Formation and Dynamics of Social Norm (rok: 2019, ), Wydawca: ResearchGate
    Data:
    konferencja 43589
    Status:
    Published
  3. A Multi-agent Default Theory of Permission
    Authors:
    Huimin Dong
    Conference:
    the 8th International Workshop on Logic and Cognition (rok: 2020, ), Wydawca: Springer Singapore
    Data:
    konferencja 42705
    Status:
    Published
  4. Subset Spaces for Conditional Norms
    Authors:
    Huimin Dong, R. Ramanujam, Yì N. Wáng
    Conference:
    International Conference on Principles and Practice of Multi-Agent Systems PRIMA 2019 (rok: 2019, ), Wydawca: Springer
    Data:
    konferencja 28-31 października 2019
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy