Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | LOGICA DEONTICA: DILEMMI, COMPLESSITÀ, APPLICAZIONI |
|---|---|
| Titolo del progetto di ricerca in inglese | Deontic Logic: Dilemmas, Complexity, Applications |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Philosophy of law |
| Settore Concorsuale | 12 - Scienze giuridiche |
| S.S.D | - |
| Descrizione sintetica in italiano | La logica deontica si occupa dell’analisi di concetti giuridici e della loro trattazione formale mutuando metodi e tecniche dalla logica matematica; per questo essa è rilevante nell’ambito del Diritto e Nuove Tecnologie. Le logiche deontiche N-monotoniche, in particolare, offrono molti vantaggi: i sistemi N-monotonici sono completi rispetto alla classe delle Multi-relational Frame e permettono una trattazione raffinata di serialità, riflessività, simmetria. Non esiste al moento nessun risultato di decidibilità e complessità, rendendone impossibile una reale applicazione in informatica giuridica. Il progetto si propone pertanto di colmare questa lacuna, studiando l’effettiva decidibilità e complessità di tali logiche deontiche, e sviluppando un sistema multi-modale decidibile e applicabile in cui queste siano combinate con logiche dell’azione e logiche epistemiche per la modellazione e l’analisi dei concetti giuridici di buona fede soggettiva, di potere normativo e responsabilità. |
| Descrizione sintetica in inglese | Deontic logic concerns the analysis of juridical concepts and their formalization via the application of tools and techniques borrowed from mathematical and modal logic; thus it is currently relevant within the ?eld of AI and Law. Deontic N-monotonic logics offer several advantages: propositional N-monotonic systems are sound and complete with respect to the class of all multi-relational frames and hence they allow a deeper analysis of concepts such as seriality, symmetry, reflexivity. However decidability and complexity results for such systems have not yet been provided, preventing actual applications within legal informatics. This project aims at bridging this gap by providing decidability and complexity results for N-monotonic deontic logics, as well as by developing a decidable and applicable multi-modal system combining logics of action and epistemic logics, in order to model and analyse juridical concepts such as subjective good faith, normative power, and responsibility. |
| Data del bando | 06/08/2014 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - CENTRO INTERDIP. RICERCA IN STORIA DEL DIRITTO, FILOSOFIA E …(CIRSFID) |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| info.cirsfid@unibo.it | |
| Telefono | + 39 051 277211 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 29/08/2014 |
|---|---|
| Come candidarsi | Other |