Lógica não monotônica com prioridade às exceções
Resumo
Introduzimos um princípio regulador para o raciocínio baseado em evidências, o Princípio de Prioridade às Exceções. Argumentamos que este princípio explica a fonte da incorreção da formalização do raciocínio do senso comum em IA no que tange à manipulação de exceções para algumas inferências. Apresentamos uma nova formulação para a Lógica Default de Reiter e construímos uma variante da Lógica Default incorporando este princípio.
Referências
Buchsbaum, A.; Pequeno, T.; Pequeno, M. (2007) “A Logical Expression of Reasoning”. Synthese, v. 154, p. 431-466.
Delgrande, James P., Schaub, T. and Jackson W. Ken (1994) “Alternative Aproaches to Default Logic”. Artificial Intelligence, v. 70, p. 167-237.
Enderton B. Hebert (1997) “Elements of Set Theory”. Academic Press.
Israel, D. (1980) “What’s wrong with non-monotonic logic”. Proceedings of the Second American Association for Artificial Intelligence Conference (AAAI-1980), Stanford, CA, p. 99-101.
Janhunen, T. (2003) “Evaluating the effect of semi-normality on the expressiveness of defaults”. Artificial Intelligence, v. 144, p. 233-250.
Lukaszewicz, Witold (1988) “Considerations on Default Logic An Alternative Approach”. Computacional Intelligence, v. 4, p.1-16.
Martins, A.T.C., Pequeno, M., Pequeno, (1996) T. “Well-Behaved IDL Theories” Lecture Notes in Artificial Intelligence, 1159:11-20, Springer-Verlag.
Pequeno, Marcelino C. (1994) “Defeasible Logic with Exception-First”. PhD Thesis, Department of Computing Imperial College of Science, Technology and Medicine.
Reiter, Raymond. (1980) “A Logic of Default Reasoning”. Artificial Intelligence, v. 13, p. 81-132.
Steffen Lange, Gunter Grieser, Klaus P. Jantke (2003) “Advanced elementary formal systems”. Theor. Comput. Sci. 1(298): 51-70
Smullyan, R.M. (1961) “Theory of Formal Systems”. Annals of Mathematics Studies no.47, Princeton.
Delgrande, James P., Schaub, T. and Jackson W. Ken (1994) “Alternative Aproaches to Default Logic”. Artificial Intelligence, v. 70, p. 167-237.
Enderton B. Hebert (1997) “Elements of Set Theory”. Academic Press.
Israel, D. (1980) “What’s wrong with non-monotonic logic”. Proceedings of the Second American Association for Artificial Intelligence Conference (AAAI-1980), Stanford, CA, p. 99-101.
Janhunen, T. (2003) “Evaluating the effect of semi-normality on the expressiveness of defaults”. Artificial Intelligence, v. 144, p. 233-250.
Lukaszewicz, Witold (1988) “Considerations on Default Logic An Alternative Approach”. Computacional Intelligence, v. 4, p.1-16.
Martins, A.T.C., Pequeno, M., Pequeno, (1996) T. “Well-Behaved IDL Theories” Lecture Notes in Artificial Intelligence, 1159:11-20, Springer-Verlag.
Pequeno, Marcelino C. (1994) “Defeasible Logic with Exception-First”. PhD Thesis, Department of Computing Imperial College of Science, Technology and Medicine.
Reiter, Raymond. (1980) “A Logic of Default Reasoning”. Artificial Intelligence, v. 13, p. 81-132.
Steffen Lange, Gunter Grieser, Klaus P. Jantke (2003) “Advanced elementary formal systems”. Theor. Comput. Sci. 1(298): 51-70
Smullyan, R.M. (1961) “Theory of Formal Systems”. Annals of Mathematics Studies no.47, Princeton.
Publicado
30/06/2007
Como Citar
PEQUENO, Marcelino C.; VERAS, Rodrigo de M. S.; TAVARES, Wladimir A..
Lógica não monotônica com prioridade às exceções. In: ENCONTRO NACIONAL DE INTELIGÊNCIA ARTIFICIAL E COMPUTACIONAL (ENIAC), 6. , 2007, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2007
.
p. 1192-1201.
ISSN 2763-9061.
