Logika deontyczna na potrzeby samochodów autonomicznych
2017/26/M/HS1/01092
Słowa kluczowe
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
Kierownik projektu (z jednostki realizującej)
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 (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
-
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
-
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
-
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
-
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
Teksty w publikacjach pokonferencyjnych (4)
-
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, strony: 46027), Wydawca: ResearchGate
- Data:
- konferencja 43589
- Status:
- Opublikowana
-
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, strony: 71-85), Wydawca: Springer
- Data:
- konferencja 18-21 października 2019
- Status:
- Opublikowana
-
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, strony: 289-304), Wydawca: Springer
- Data:
- konferencja 28-31 października 2019
- Status:
- Opublikowana
-
A Multi-agent Default Theory of Permission
- Autorzy:
- Huimin Dong
- Konferencja:
- the 8th International Workshop on Logic and Cognition (rok: 2020, strony: 105-121), Wydawca: Springer Singapore
- Data:
- konferencja 42705
- Status:
- Opublikowana