A reasoning method for a paraconsistent logic |
| |
Authors: | Arthur Buchsbaum Tarcisio Pequeno |
| |
Institution: | (1) Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rua Marquês de São Vicente 225, 22451-041 Rio de Janeiro, RJ, Brazil;(2) Laboratório de Inteligência Artificial, Universidade Federal do Ceará, Campus do Pici — Bloco 910 Caixa Postal 12.166, 60021-970 Fortaleza, CE, Brazil |
| |
Abstract: | A proof method for automation of reasoning in a paraconsistent logic, the calculus C1* of da Costa, is presented. The method is analytical, using a specially designed tableau system. Actually two tableau systems were created. A first one, with a small number of rules in order to be mathematically convenient, is used to prove the soundness and the completeness of the method. The other one, which is equivalent to the former, is a system of derived rules designed to enhance computational efficiency. A prototype based on this second system was effectively implemented. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|