Automated Deduction Techniques for Studying Rough Algebras - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Fundamenta Informaticae Année : 1998

Automated Deduction Techniques for Studying Rough Algebras

Résumé

We present a non-exhaustive state of the art in the domain of deduction in first-order logic with equality, describing different strategies introduced over the years: strategies for selecting deduction steps, for eliminating redundant information, for delaying the resolution of unsolved or too difficult problems, for applying deductions with built-in properties. We also present the system daTac that implements our deduction techniques modulo associative-commutative properties. Finally we detail an application of those techniques to the study of non-classical logics, work realised in collaboration with Prof. Wasilewska (Stony Brook University, New York).
Fichier non déposé

Dates et versions

inria-00098614 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098614 , version 1

Citer

Laurent Vigneron. Automated Deduction Techniques for Studying Rough Algebras. Fundamenta Informaticae, 1998, 33 (1), pp.85-103. ⟨inria-00098614⟩
36 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More