Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Logika deontyczna na potrzeby samochodów autonomicznych

2017/26/M/HS1/01092

Słowa kluczowe:

logika deontyczna samochody autonomiczne formalna reprezentacja norm modelowanie decyzji

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
  • HS1_2: Ontologia i metafizyka, ontologie szczegółowe

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

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

woj. lubelskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Piotr Kulicki 

Liczba wykonawców projektu: 7

Konkurs: HARMONIA 9 - ogłoszony 2017-06-14

Przyznana kwota: 422 800 PLN

Rozpoczęcie projektu: 2018-05-08

Zakończenie projektu: 2022-05-07

Planowany czas trwania projektu: 48 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy