Knowledge Mining Based on the Valid Generalized Syllogism MMI-3 with the Quantifier ‘Most’

Volume 8, Issue 2, April 2024     |     PP. 84-94      |     PDF (267 K)    |     Pub. Date: April 18, 2024
DOI: 10.54647/isss120347    20 Downloads     729 Views  

Author(s)

Baoxiang Wu, School of Philosophy, Sichuang Normal University, Chengdu, China

Abstract
This paper firstly presents knowledge representations of generalized syllogisms, and then uses relevant facts and reasoning rules to conduct knowledge reasoning on the basis of the generalized syllogism MMI-3 with the quantifier ‘most’. The main conclusion is that there are at least the other 25 valid generalized syllogisms that can be deduced from the validity of this syllogism. The paper achieves the initial goal of knowledge mining for this generalized syllogism logical fragment.

Keywords
generalized syllogisms; knowledge representation; knowledge reasoning; knowledge mining

Cite this paper
Baoxiang Wu, Knowledge Mining Based on the Valid Generalized Syllogism MMI-3 with the Quantifier ‘Most’ , SCIREA Journal of Information Science and Systems Science. Volume 8, Issue 2, April 2024 | PP. 84-94. 10.54647/isss120347

References

[ 1 ] Endrullis, J. and Moss, L. S. (2015). Syllogistic Logic with ‘Most’. In: V. de Paiva et al. (eds. ), Logic, Language, Information, and Computation (pp. 124-139). https://doi.org/10.1007/978 -3-662-47709-0_10
[ 2 ] Hamilton, A. G. (1978). Logic for Mathematicians. Cambridge: Cambridge University Press.
[ 3 ] Hui, L. (2023). Reduction between categorical syllogisms based on the syllogism EIO-2. Applied Science and Innovative Research, 7, 30-37.
[ 4 ] Jing, X. and Xiaojun Z. (2023). How to obtain valid generalized modal syllogisms from valid generalized syllogisms. Applied Science and Innovative Research, 7(2), 45-51.
[ 5 ] Johnson, F. (2004). Aristotle’s modal syllogisms. Handbook of the History of Logic, I, 247-338.
[ 6 ] Liheng, H. (2024). Generalized Syllogism Reasoning with the Quantifiers in Modern Square{no} and Square{most}, Applied Science and Innovative Research, 8(1): 31-38.
[ 7 ] Long, W. and Xiaojun Z. (2023). How to Dedrive the other 37 Valid Modal Syllogisms from the Syllogism ◇A口I◇I-1. International Journal of Social Science Studies, 11(3): 32-37.
[ 8 ] Łukasiewicz, J. (1957). Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic. second edition, Oxford: Clarendon Press.
[ 9 ] Malink, M. (2013). Aristotle’s Modal Syllogistic. Cambridge, MA: Harvard University Press.
[ 10 ] Moss, L. S. (2008). Completeness theorems for syllogistic fragments. In F. Hamm and S. Kepser (eds.), Logics for Linguistic Structures, Mouton de Gruyter, Berlin, 143-173.
[ 11 ] Moss, L. S. (2010). Syllogistic Logics with Verbs. Journal of Logic and Computation, 20(4), 947-967.
[ 12 ] Peters, S. and Westerståhl, D. (2006). Quantifiers in Language and Logic. Clarendon Press, Oxford.
[ 13 ] Thomason, S. K. (1997). Relational Modal for the Modal Syllogistic. Journal of Philosophical Logic, (26), 129-1141.
[ 14 ] Yijiang, H. (2023). The Reductions between/among Aristotelian Syllogisms Based on the Syllogism AII-3. SCIREA Journal of Philosophy, 3(1): 12-22.