Knowledge Deduction Based on the Generalized Modal Syllogism A□MM-1

Volume 9, Issue 2, April 2025     |     PP. 50-59      |     PDF (258 K)    |     Pub. Date: June 17, 2025
DOI: 10.54647/isss120405    8 Downloads     125 Views  

Author(s)

Haowei Shi, Institute of Logic and Information Technology, Sichuan Normal University, Chengdu, China

Abstract
This paper first formalizes the non-trivial generalized modal syllogism A□MM-1, then proves its validity according to the truth definitions of the quantifier all and most. Finally, based on the relevant definitions and facts, the other 27 valid non-trivial generalized modal syllogisms are derived from the syllogism A□MM-1. This knowledge deduction process has logical consistency. It hopes that this study will contribute to the further development of natural language information processing.

Keywords
Generalized Modal Syllogisms, Validity, Knowledge Deduction, Knowledge Mining

Cite this paper
Haowei Shi, Knowledge Deduction Based on the Generalized Modal Syllogism A□MM-1 , SCIREA Journal of Information Science and Systems Science. Volume 9, Issue 2, April 2025 | PP. 50-59. 10.54647/isss120405

References

[ 1 ] Hao, Y. J. (2024). The deductibility of categorical syllogisms based on the syllogism EIO-3 from the perspective of dialectics, SCIREA Journal of Information Science and Systems Science, 8(5): 194-201.
[ 2 ] Peters, S. and Westerståhl, D. (2006). Quantifiers in Language and Logic. Oxford: Claredon Press.
[ 3 ] Hao, L. H. (2024). The validity of generalized modal syllogisms based on the syllogism E口M◇O-1, SCIREA Journal of Mathematics, 9(1): 11-22.
[ 4 ] Hao, L. H., and Cao C. Z. (2024). Knowledge reasoning based on the generalized modal syllogism A口M◇M-1 with ‘most’, Transactions on Engineering and Computing Sciences, 12(5): 17-24.
[ 5 ] Xu, J., and Zhang X. J. (2023a). How to obtain valid generalized modal syllogisms from valid generalized syllogisms, Applied Science and Innovative Research, 7(2): 45-51.
[ 6 ] Xu, J., and Zhang X. J. (2023b). The reducibility of generalized modal syllogisms based on 口AM◇I-1. SCIREA Journal of Philosophy, 3(1): 1-11.
[ 7 ] Xu, J., and Zhang X. J. (2023c). How to obtain other valid generalized modal syllogisms from the syllogism 口EF◇O-1. SCIREA Journal of Computer, 8(2): 63-73.
[ 8 ] Xu, J., and Wang, Y. Z. (2024). The validity of generalized modal syllogisms with the quantifiers in Square{no} and Square{most}, International Journal of Social Science Studies, 2024, 12(6): 42-47.
[ 9 ] Halmos, P. R. (1974). Naive Set Theory. New York: Springer-Verlag.
[ 10 ] Westerståhl, D. (2007). Quantifiers in formal and natural languages, in: D. M. Gabbay and F. Guenthner(eds.), Handbook of Philosophical Logic, Dordrecht: Kluwer Academic Publishers, (14): 223-338.
[ 11 ] Chagrov, A., and Zakharyaschev, M. (1997). Modal Logic. Oxford: Clarendon Press.