1. Introduzione; 2. Nozioni preliminari; 3. Il sistema sociale SOCS; 3.1. Descrizione del linguaggio; 3.2. Semantica dichiarativa; 3.3. Semantica operazionale; 3.4. Operatori deontici; 3.5. Descrizione degli operatori deontici; 3.6. Relazioni fra operatori; 3.7. Semantica di Kripke per operatori deontici; 4. Corrispondenza fra operatori deontici e aspettative abduttive; 4.1. La relazione; 4.2. Giustificazione semantica; 4.3. Relazioni fra operatori deontici come vincoli di integrità abduttivi; 5. Esempio: clausole di un contratto di licenza software; 5.1. Specifica; 5.2. Esempi di interazione e verifica; 6. Lavori correlati; 7. Conclusioni
Un sistema basato su logica computazionale per il trattamento degli operatori deontici
ALBERTI, Marco;GAVANELLI, Marco;LAMMA, Evelina;
2006
Abstract
1. Introduzione; 2. Nozioni preliminari; 3. Il sistema sociale SOCS; 3.1. Descrizione del linguaggio; 3.2. Semantica dichiarativa; 3.3. Semantica operazionale; 3.4. Operatori deontici; 3.5. Descrizione degli operatori deontici; 3.6. Relazioni fra operatori; 3.7. Semantica di Kripke per operatori deontici; 4. Corrispondenza fra operatori deontici e aspettative abduttive; 4.1. La relazione; 4.2. Giustificazione semantica; 4.3. Relazioni fra operatori deontici come vincoli di integrità abduttivi; 5. Esempio: clausole di un contratto di licenza software; 5.1. Specifica; 5.2. Esempi di interazione e verifica; 6. Lavori correlati; 7. ConclusioniI documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
