Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Logiche non-monotone per contratti |
|---|---|
| Titolo del progetto di ricerca in inglese | Non-monotonic contract logics |
| Campo principale della ricerca | Mathematics |
| Sottocampo della ricerca | Applied mathematics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il progetto riguarda lo studio di logiche per modellare contratti in sistemi orientati ai servizi. Il punto di partenza è la Propositional Contract Logic (PCL), una estensione della logica intuizionista che permette di modellare la creazione di “debiti”, e la possibilità di raggiungere degli accordi a condizione che tutti i debiti saranno, prima o poi, onorati. Il candidato svilupperà una estensione non-monotona di PCL, al fine di modellare situazioni in cui gli accordi non sono possibili in determinati contesti, o quando le preferenze dei partecipanti devono essere tenute in considerazione. Lo scopo principale della ricerca è quello di studiare la logica da una prospettiva “proof-theoretic”, stabilendo risultati come, ad esempio, l’eliminazione del taglio e la decidibilità. |
| Descrizione sintetica in inglese | The project concerns the study of logics for modelling contracts in service-oriented systems. The starting point is Propositional Contract Logic (PCL), an extension of intuitionistic logic which allows for modelling the creation of “debts”, and the possibility of reaching agreements on the promise that all debts will be eventually honoured. The candidate will develop a non-monotonic extension of PCL, in order to model situations where agreements are not possible in certain contexts, or when the preferences of participants have to be taken into account. The main goal of the research is that of studying the logic from a proof-theoretic perspective, by establishing results like, for instance, cut elimination and decidability. |
| Data del bando | 16/07/2013 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://unica2.unica.it/concorsi/index.php?page=assegni |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Regione Autonoma della Sardegna Legge7/2007 |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.regione.sardegna.it |
| bart@unica.it | |
| Telefono | 00390706758540 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 31/07/2013 |
|---|