On Special Functions and Theorem Proving in Logics for 'Generally'

Sheila R. M. VelosoPaulo A. S. Veloso

Logics for 'generally' are intended to express some vague notions, such as 'generally', 'most', 'several', etc., by means of the new generalized quantifier Ñ and to reason about assertions with Ñ (important issues in Logic and in Artificial Intelligence). We introduce the ideas of special functions: generic and coherent ones. Generic functions (akin to Skolem functions) enable elimination of Ñ and coherent functions reduce consequence to the classical case. These devices permit using proof procedures and theorem provers for classical first-order logic to reason about assertions involving 'generally'.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: