Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Zintegrowana formalizacja rozumowań normatywnych dotyczących własności deontycznych działań i stanów rzeczy

2015/17/B/HS1/02569

Słowa kluczowe:

logika deontyczna rozumowania normatywne normy postępowania normy dotyczące stanów rzeczy

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki

Panel:

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

Jednostka realizująca:

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

woj. lubelskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Robert Trypuz 

Liczba wykonawców projektu: 2

Konkurs: OPUS 9 - ogłoszony 2015-03-16

Przyznana kwota: 160 200 PLN

Rozpoczęcie projektu: 2016-01-25

Zakończenie projektu: 2018-07-24

Planowany czas trwania projektu: 30 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 (1)
  1. Towards a formal ethics for autonomous cars
    Autorzy:
    Michael Musielewicz, Piotr Kulicki, Robert Trypuz
    Czasopismo:
    Deontic Logic and Normative Systems (rok: 2018, tom: 14, strony: 193-209), Wydawca: College Publications
    Status:
    Opublikowana
  2. A deontic machine for prima facie duties
    Autorzy:
    Piotr Kulicki i Robert Trypuz
    Czasopismo:
    Journal of Logic and Computation (rok: 2016, tom: brak, strony: brak), Wydawca: Oxford Academic
    Status:
    Złożona
  3. nC+ as a unified logical framework for reasoning about deontic properties of actions and states
    Autorzy:
    Piotr Kulicki, Robert Trypuz, Marek Sergot
    Czasopismo:
    Erkenntnis , Wydawca: Springer
    Status:
    Złożona
  4. Connecting actions and states in deontic logic
    Autorzy:
    Robert Trypuz, Piotr Kulicki
    Czasopismo:
    Studia Logica (rok: 2017, tom: 105(5), strony: 915-942), Wydawca: Stringer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-017-9716-1 - link do publikacji
  5. A unified logical framework for reasoning about deontic properties of actions and states of affairs
    Autorzy:
    Piotr Kulicki, Robert Trypuz, Marek Sergot
    Czasopismo:
    Synthese , Wydawca: Springer
    Status:
    Złożona
  6. Self-driving cars, conflicting norms and moral reasoning
    Autorzy:
    Piotr Kulicki, Robert Trypuz
    Czasopismo:
    FUNDAMENTA INFORMATICAE , Wydawca: IOS Press
    Status:
    Złożona
  7. Judging actions on the basis of prima facie duties. The case of self-driving cars
    Autorzy:
    Piotr Kulicki i Robert Trypuz
    Czasopismo:
    Logic and Logical Philosophy (rok: 2019, tom: online, strony: 45312), Wydawca: Nicolaus Copernicus University
    Status:
    Opublikowana
  1. Towards a formal ethics for autonomous cars
    Autorzy:
    Michael Musielewicz, Piotr Kulicki, Robert Trypuz
    Konferencja:
    Deontic Logic and Normative Systems (rok: 2018, ), Wydawca: College Publications
    Data:
    konferencja 3-6 lipca 2018
    Status:
    Opublikowana