Incremental version of the modern syllogistic method
Other Title(s)
الصورة التزايدية للطريقة الاستدلالية الحديثة
Joint Authors
al-Zarwan, Muhammad Muhsin
al-Shahri, Talib Mansur
Rushdi, Muhammad Ali
Rushdi, Ali Muhammad Ali
Source
Journal of King Abdulaziz University : Engineering Sciences
Issue
Vol. 26, Issue 1 (30 Jun. 2015), pp.25-51, 27 p.
Publisher
King Abdulaziz University Scientific Publishing Center
Publication Date
2015-06-30
Country of Publication
Saudi Arabia
No. of Pages
27
Main Subjects
Abstract EN
An algorithmic technique for truth-preserving deduction in propositional logic is the Modern Syllogistic Method (MSM).
This method casts a set of premises into a single switching function equated to zero, and then obtains the complete sum of this function as a disjunction of all prime consequents.
An incremental version of the MSM augments the original set of premises by new ones, and seeks the updated consequences incrementally, i.e., without having to recalculate the complete sum from scratch.
This paper presents a novel enhanced form of Blake-Tison method for computing the complete sum of a switching function, and explains how to use it efficiently in an incremental MSM.
The method is illustrated with four demonstrative examples with particular attention to the issues of inconsistency, selective deduction, optimal order of variables, and single-literal premises.
American Psychological Association (APA)
Rushdi, Ali Muhammad Ali& al-Zarwan, Muhammad Muhsin& al-Shahri, Talib Mansur& Rushdi, Muhammad Ali. 2015. Incremental version of the modern syllogistic method. Journal of King Abdulaziz University : Engineering Sciences،Vol. 26, no. 1, pp.25-51.
https://search.emarefa.net/detail/BIM-678284
Modern Language Association (MLA)
Rushdi, Muhammad Ali…[et al.]. Incremental version of the modern syllogistic method. Journal of King Abdulaziz University : Engineering Sciences Vol. 26, no. 1 (2015), pp.25-51.
https://search.emarefa.net/detail/BIM-678284
American Medical Association (AMA)
Rushdi, Ali Muhammad Ali& al-Zarwan, Muhammad Muhsin& al-Shahri, Talib Mansur& Rushdi, Muhammad Ali. Incremental version of the modern syllogistic method. Journal of King Abdulaziz University : Engineering Sciences. 2015. Vol. 26, no. 1, pp.25-51.
https://search.emarefa.net/detail/BIM-678284
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 48-50
Record ID
BIM-678284