Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità

In questo articolo descriviamo la "logica multi-contestuale" e mostriamo come usarla per modellare il ragionamento contestuale. Questa logica formalizza, in modo preciso, le due fondamentali intuizioni su cui si basa il ragionamento contestuale: (i) il ragionamento è, in genere, "locale", e utilizza solo parte di quello che è potenzialmente disponibile (ad esempio, solo una parte della conoscenza o dei meccanismi inferenziali). Questo è quello che noi chiamiamo "contesto" (del ragionamento). Tuttavia, (ii) c'è compatibilità tra il ragionamento eseguito in diversi contesti. la definizione delle logiche multi-contestuali viene data seguendo uno schema tradizionale: per prima cosa vengono introdotti il linguaggio e la semantica, detta "Semantica a Modelli Locali". Poi viene fornita l'assiomatizzazione, che utilizza un sistema formale detto "Sistemi Multi-Contesto". Per rendere la presentazione più chiara e comprensibile, ma anche per mostrare come le logiche multi-contestuali possono essere applicate, utilizziamo un esempio classico di ragionamento contestuale: il "ragionamento prospettico"