FenixEdu™

Dissertação

Modal Logics for Reasoning about Distance Spaces EVALUATED

Detalhes: Começamos por dar uma visão global da lógica modal incluindo a sua linguagem, semântica de Kripke e axiomatização. São apresentados resultados gerais de correcção, completude e decidibilidade. Depois, concentramos a nossa atenção na lógica modal CSL (Comparative Similarity Logic) capaz de raciocinar sobre distâncias comparativas em espaços métricos. Depois de introduzirmos a linguagem e a semântica, provamos que a lógica é decidível sobre uma classe específica de espaços métricos. Finalmente, apresentamos uma definição de CSL usando a abordagem de multigrafos à definição de lógicas tendo em vista a possibilidade de combinar esta lógica com outras, seja por fibrilação seja por modalização "espacial".
Keywords: Lógica modal, espaços de distância, lógicas espaciais, decidibilidade, abordagem de multigrafos à definição de lógicas

Discussão: janeiro 20, 2011, 14:30