Automated deduction techniques for studying Rough Algebras

• Autorzy: Vigneron L.
• Języki publikacji: EN

Abstrakty

EN

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 dalac 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).

Słowa kluczowe

EN

automated deduction; theorem proving; equational theories; first-order logic; constraint deduction; modal logic; rough sets

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 33, nr 1
• Strony: 85--103
• Opis fizyczny: bibliogr. 46 poz.

Twórcy

autor

Vigneron L.

• LORIA - Universite nancy 2 B.P. 239, 54506 Vandoeuvre-les-Nancy Cedex, France,