REASONING WITH CONDITIONAL AXIOMS

Citation
E. Kounalis et M. Rusinowitch, REASONING WITH CONDITIONAL AXIOMS, Annals of mathematics and artificial intelligence, 15(2), 1995, pp. 125-149
Citations number
31
Categorie Soggetti
Computer Sciences",Mathematics,Mathematics,"Computer Science Artificial Intelligence
ISSN journal
10122443
Volume
15
Issue
2
Year of publication
1995
Pages
125 - 149
Database
ISI
SICI code
1012-2443(1995)15:2<125:RWCA>2.0.ZU;2-F
Abstract
We present methods for automatically proving theorems in theories axio matized by a set of Horn clauses. These methods address both deductive and inductive reasoning. They are based on the concept of simplificat ion and require minimal human interaction.