Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi formali per la modellazione di relazioni di trustworthiness in sistemi compless |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal methods for the modeling of trustworthiness relations in complex systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | La fiducia (trust) è un concetto che supporta i sistemi di decisione in scenari in cui l’incertezza è un fattore non trascurabile. Nella gestione dell’informazione digitale e delle interazioni online (che coinvolgono sia uomo che macchina) rappresenta un elemento costitutivo, insieme ad altri strettamente correlati quali la reputazione, dei meccanismi di sicurezza cosiddetti soft, in quanto hanno lo scopo di integrare i classici strumenti crittografici alla base della cybersecurity. Esistono diverse formalizzazioni computazionali di questo concetto che ne favoriscono l’inserimento nei sistemi decisionali, automatici e non, basati su modelli comportamentali e logiche modali ed epistemiche. Il programma di ricerca prevede la formalizzazione di un framework generale per il calcolo del trust e la manipolazione di valori di trust in sistemi dinamici multi-agente. |
| Descrizione sintetica in inglese | Trust is a multifaceted notion supporting decision making systems in scenarios in which uncertainty is non-negligible. In digital information management and online interactions (involving both humans and machines), it represents a constitutive element, together with other strictly related aspects such as reputation, of the so-called soft security mechanisms, as they have the objective of integrating the classical cryptographic systems at the base of cybersecurity. There exist several computational formalizations of this concept favouring its deployment in decision making systems, both automated and semi-automated, based on behavioral models and modal and epistemic logics. The research program covers the formalization of a general framework for the computation of trust and the manipulation of trust values in dynamic, multi-agent systems. |
| Data del bando | 22/10/2019 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
OTHER |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | http://www.uniurb.it/assegnidiricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | UNIVERSITA' DEGLI STUDI DI URBINO CARLO BO |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | URBINO |
| Sito web | http://www.uniurb.it |
| amministrazione.reclutamento.pdoc@uniurb.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 25/11/2019 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |