AUTOMATIC SOLUTION OF SORITES
M. ALFONSECA
(IBM Madrid Scientific Center, Paseo de la Castellana 4, Madrid (Spain))
19
Abstract
A classical theory of syllogisms is shown that reduces to three‐set theoretical inference rules, which have been used as the basis to produce a sorites (chain argument) solving programs.
Citation
ALFONSECA, M. (1980), "AUTOMATIC SOLUTION OF SORITES", Kybernetes, Vol. 9 No. 1, pp. 37-44. https://doi.org/10.1108/eb005540
Publisher
:MCB UP Ltd
Copyright © 1980, MCB UP Limited