A deductive database based on aristotelian logic*

Under an Elsevier user license
open archive

The paper proposes a new type of deductive database, whose structure is based on Aristotle's rules of the syllogism. This type of database demonstrates the advantages of Aristotelian logic over more modern formalisms for applications in which natural and informative interaction with human users is important. The structure and deductive procedures of the database are described and compared to other work in the area, and the unique capabilities of its user interaction are demonstrated by examples from a session with a prototype system.

Download full text in PDF

References

Adlassnig, et al, 1985
Adlassnig K.-P., Kolarz G., Scheitauer W., Effenberger H., Grabner G.CADIAG: Approaches to computer-assisted medical diagnosis
Comp. Biol. Med., 15 (1985), pp. 315-335
Atzeni and Parker, 1986
Atzeni P., Parker D.S.Set containment inference
Proceedings of the International Conference of Database Theory, Lecture Notes in Computer Science, Vol. 243 (1986)
Barachini, 1984
Barachini F.Konsistenzprüfung von Wissenbasen Medizinischer Expertensysteme
Ph.D. dissertation, Technical University of Vienna, Vienna (1984)
Corcoran, 1973
Corcoran J.A mathematical model of Aristotle's syllogistic
Archiv für Geschichte der Philosophie, 5 (1973), pp. 191-219
Gallaire and Minker, 1978
Gallaire H., Minker J. (Eds.), Logic and Data Bases, Plenum, New York (1978)
Gallaire, et al, 1984
Gallaire H., Minker J., Nicolas J.Logic and databases: a deductive approach
ACM Computing Surveys, 16 (1984), pp. 153-185
Joseph, 1916
Joseph H.W.B.
(2nd edition), An Introduction to Logic, Oxford University Press, Oxford (1916)
Lipski, 1979
Lipski W.On semantic issues connected with incomplete information databases
ACM Transactions on Database Systems, 4 (1979), pp. 262-296
Lipski and Marek, 1977
Lipski W., Marek W.On information storage and retrieval systems
A. Mazurkiewicz, Z. Pawlak (Eds.), Mathematical Foundations of Computer Science, Vol. 2, Banach Center Publications (1977), pp. 215-259
Lukasiewicz, 1951
Lukasiewicz J.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Oxford University Press, Oxford (1951)
Maritain, 1937
Maritain J.
An Introduction to Logic, Sheed & Ward, London (1937)
Mozes, 1987
Mozes E.
A Deductive Database Based on Aristotelian Logic, CS87-18, Department of Applied Mathematics, Weizmann Institute of Science, Israel (1987)
Ross, 1949
Ross W.D. (Ed.), Aristotle's Prior and Posterior Analytics, Oxford University Press, Oxford (1949)
Veatch, 1952
Veatch H.B.
Intentional Logic, Yale University Press, New Haven (1952)
*

This paper describes the author's Master's thesis, written at the Weizmann Institute of Science, under the supervision of Professor Amir Pnueli (Mozes, 1987).

Copyright © 1989 Published by Elsevier Ltd.