Uma nova abordagem para o raciocinio nÃo monotÃnico / New Boarding for the nonmonotonic reasoning

AUTOR(ES)

Rodrigo de Melo Sousa Veras

DATA DE PUBLICAÇÃO

2007

RESUMO

Default logic was introduced to manipulate reasoning with incomplete information and became the main paradigm to formalize nonmonotonic reasoning. Many variations have been proposed with the objective to solve some limitations of the formalism or to consider different intuitions on the role of inconclusive information. However, some of the main characteristics had been kept: inconclusive information is represented as default rules, objectifies the calculation of extensions and, because this, they use characterizations through fixed-point operators. We consider a new approach for nonmonotonic reasoning. In this dissertation, we present the Defeasible Logic with Exception-First. The main advantages of this approach are: it does not use fixed-points operators to define expansions (our correspondent of extensions) and exception-first property that does not allow that a inconclusive proposition intervenes with the derivation of its exception. Moreover, we present a new way to define the extensions of default logic and two of its main variants, justified default logic and constrained default logic.

ASSUNTO(S)

ciencia da computacao default logic lÃgica default raciocÃnio nÃo monotÃnico nonmonotonic reasoning

Documentos Relacionados

• A NEW APPROACH FOR TEACHING DIMENSIONAL METROLOGY
• EletrodeposiÃÃo de CuNi em meio de sulfato. uma nova abordagem
• Clinical Reasoning: the challenge of caring
• The economy of the governmental purchases in result of the electronic proclamation - a econometrical boarding
• The importance of intellectual protection to the public universities: a discussion under the New Institutional Economics boarding