A modal computational framework for default reasoning

Usually a default rule A : B/C is intended to mean that if A holds in a state of affairs a B is consistent, then C follows by default. However, C is not a necessary conclusion: different states of affairs are possible (conceivable). According to this view, Meyer and van der Hoek developed a multimodal logic, called S5P(n), for treating non-monotonic reasoning in a monotonic setting. In this paper we shall describe a proof search algorithm for S5P(n) which has been implemented as a Prolog Interpreter

Corpora e interpretazione simultanea

In questo volume è presentata una proposta di applicazione del corpus-based approach agli studi sull’interpretazione, con particolare riferimento alla modalità simultanea. A tal fine, sono discusse le principali questioni teorico-pratiche e metodologiche implicate nella creazione di corpora elettronici per lo studio e la didattica dell’interpretazione. Inoltre, sono illustrati due progetti di ricerca appartenenti ai Corpus-based Interpreting Studies (CIS) che hanno portato alla realizzazione di due corpora elettronici di interpretazione: EPIC (European Parliament Interpreting Corpus) e DIRSI-C (Directionality in Simultaneous Interpreting Corpus). Tali risorse linguistiche, la prima trilingue (italiano, inglese e spagnolo), la seconda bilingue (italiano e inglese), con i rispettivi archivi multimediali su cui si basano, offrono molteplici possibilità di indagine e attività didattiche, a conferma del grande potenziale di questo innovativo paradigma di ricerca, frutto dell’incontro interdisciplinare tra la linguistica dei corpora e gli studi sull’interpretazione