BDBComp
Parceria:
SBC
Revisão Sintática e Semântica da Lógica Defaut

Raimundo Robledo Pontes FilhoMarcelino Cavalcante PequenoRobson Teixeira da Silva

A two-valued semantics for Reiter's default logic based on a rather simple notion of maximality is presented. Reiter's logic is sound with respect to this semantics and an extended version of it is complete. We adopt a new notation for a default rule introducing a new binary connective reading unless . A further modification on the logic precludes the derivation of anomalous extensions. We end up with a nonmonotonic logic in which defaults are treated as formulae, sound and complete with respect to a very natural semantics, and, which derives no anomalous extension. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD