The Community for Technology Leaders
RSS Icon
Subscribe
Los Angeles, CA
March 31, 2009 to April 2, 2009
ISBN: 978-0-7695-3507-4
pp: 173-178
ABSTRACT
Several formal systems proving the valid forms of Aristotelian syllogism has been built. However, the previous research has not answered the two questions: (1) how to infer the primary forms of syllogism by which the other valid forms of syllogism can be deducted; and (2) whether formal system of Aristotelian syllogism can be run automatically; if yes, by which language and grammar it can be done. The paper solves the two questions. For the question (1), the paper sets up a rule system to product all the valid forms of syllogism including that primary ones for deducting the other valid forms of syllogism. For the question (2), the paper proposes the sufficient conditions for a formal system being an automata, to which the formal system FA created by the paper is conformable. So the paper asserts FA can prove all the valid forms of Aristotelian syllogism automatically in computers nowadays.
INDEX TERMS
Formal system; Aristotelian syllogism; automata; automatic reasoning
CITATION
Zhang Yinsheng, Qiao Xiaodong, "A Formal System of Aristotelian Syllogism Based on Automata Grammar", CSIE, 2009, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009, pp. 173-178, doi:10.1109/CSIE.2009.201
154 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool