A deductive database based on aristotelian logic
Reads0
Chats0
TLDR
A new type of deductive database is proposed, whose structure is based on Aristotle's rules of the syllogism, which demonstrates the advantages of Aristotelian logic over more modern formalisms for applications in which natural and informative interaction with human users is important.About:
This article is published in Journal of Symbolic Computation.The article was published on 1989-05-01 and is currently open access. It has received 8 citations till now. The article focuses on the topics: Deductive database & Database theory.read more
Citations
More filters
Book
Αριστοτελουσ Αναλυτικα = Aristotle's Prior and posterior analytics
Aristotle,Ross, W. D. , b. +1 more
Journal ArticleDOI
TFLPL: Programación con lógica de términos
TL;DR: Given the system Term Functor Logic and the concept of Aristotelian database, the development of a programming language called TFL is presented, which is a combination of TFL and TFL with semantics derived from TFL.
A tableaux method for term logic.
TL;DR: This goal should be of interest because the plus-minus calculus of Term Functor Logic features a peculiar algebra that, as of today, has not been used to produce a full tableaux method.
Journal ArticleDOI
Traditional Logic and Computational Thinking
TL;DR: It is shown that traditional Aristotelian logic can be useful (in a non-trivial way) for computational thinking and it is argued in favor of two statements: (i) that traditional logic is not classical and (ii) that logic programming emanating from traditional logic was not classical logic programming.
Book ChapterDOI
Moded Diagrams for Moded Syllogisms
TL;DR: This contribution presents an extension of Englebretsen’s linear diagrams in order to deal with non-classical quantifiers.
References
More filters
Journal ArticleDOI
Logic and Databases: A Deductive Approach
TL;DR: It is shown that logic provides a convenient formalism for studying classical database problems and the representation and manipulation of deduced facts and incomplete information is shown.
Journal ArticleDOI
On semantic issues connected with incomplete information databases
TL;DR: This work emphasizes the distinction between two different interpretations of the query language—the external one, which refers the queries directly to the real world modeled in an incomplete way by the system, and the internal one, under which the queries refer to the system's information about this world, rather than to the world itself.
Journal ArticleDOI
CADIAG: approaches to computer-assisted medical diagnosis.
TL;DR: CADIAG-2, a medical expert system based on fuzzy set theory and fuzzy logic, allows detailed specification of medical relationships and here the diagnostic process also provides confirmed and excluded diagnoses as well as diagnostic hypotheses.