Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Knowledge Reasoning Based on the Generalized Modal Syllogism ⧠AM◇M-1 with ‘Most’
View through CrossRef
This paper firstly illustrates knowledge representation of generalized modal syllogisms based on the structure of generalized quantification propositions, and proves the validity of the generalized modal syllogism ⧠ AM◇M-1 on the basis of set theory and modal logic. And then the paper shows that the other 37 valid generalized modal syllogisms can be deduced from ⧠ AM◇M-1. Similarly, more valid generalized modal syllogisms can be derived from it. The reason why these syllogisms are reducible is that the necessary modality ⧠ and possible one ◇ are able to define mutually, and that the two Aristotelian quantifiers some and no are symmetric.
Scholar Publishing
Title: Knowledge Reasoning Based on the Generalized Modal Syllogism ⧠AM◇M-1 with ‘Most’
Description:
This paper firstly illustrates knowledge representation of generalized modal syllogisms based on the structure of generalized quantification propositions, and proves the validity of the generalized modal syllogism ⧠ AM◇M-1 on the basis of set theory and modal logic.
And then the paper shows that the other 37 valid generalized modal syllogisms can be deduced from ⧠ AM◇M-1.
Similarly, more valid generalized modal syllogisms can be derived from it.
The reason why these syllogisms are reducible is that the necessary modality ⧠ and possible one ◇ are able to define mutually, and that the two Aristotelian quantifiers some and no are symmetric.
Related Results
ANALISIS MODAL KERJA PADA KOPERASI SERBA USAHA DI KOTA METRO
ANALISIS MODAL KERJA PADA KOPERASI SERBA USAHA DI KOTA METRO
Modal kerja merupakan suatu kekayaan yang digunakan untuk membelanjai perusahaan sehari-hari. Modal kerja biasanya berbentuk uang kas, piutang, persediaan barang yang kesemuanya it...
Logical Challenges in Artificial General Intelligence
Logical Challenges in Artificial General Intelligence
The present thesis pertains to the research area of logic for artificial intelligence (AI), and is motivated by the critical role of automated reasoning in AI, particularly by the ...
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review
Objective:
The objective of this review was to examine the characteristics and processes of clinical reasoning used by registered nurses in clinical practice, and to id...
Kontribusi Modal Sosial dalam Mengefektifkan Modal Lingkungan (Kasus Komunitas Kampung Nelayan Untia Makassar)
Kontribusi Modal Sosial dalam Mengefektifkan Modal Lingkungan (Kasus Komunitas Kampung Nelayan Untia Makassar)
AbstractThe Untia fishing village community was formed from the relocation of the residents of Laelae Island in 1998. The community that was built from the results of relocation ha...
Madura Batik Ethnomatematics: Mathematical Reasoning in Plane Figures
Madura Batik Ethnomatematics: Mathematical Reasoning in Plane Figures
The ethnomathematics approach can simplify mathematical reasoning for students while introducing cultural knowledge. Mathematical concepts in culture are discovered through mathema...
How Large Language Models Can Affect Clinical Reasoning: A Randomized Clinical Trial
How Large Language Models Can Affect Clinical Reasoning: A Randomized Clinical Trial
Abstract
Importance
LLMs have encoded a vast array of medical knowledge and are being integrated into clinical settings as deci...
EXPLORING THE USE OF MODAL AUXILIARY VERBS IN CORPUS OF CONTEMPORARY OF AMERISCAN ENGLISH (COCA)
EXPLORING THE USE OF MODAL AUXILIARY VERBS IN CORPUS OF CONTEMPORARY OF AMERISCAN ENGLISH (COCA)
Abstract. This paper deals with the frequent use of modal auxiliary verbs in Corpus of Contemporary of American English (COCA). The modal auxiliary modal verbs mentioned as the dat...
SCALER: A Procedurally Generated, Leakage-Resistant Benchmark for Evaluating Multi-Step Reasoning in Large Language Models
SCALER: A Procedurally Generated, Leakage-Resistant Benchmark for Evaluating Multi-Step Reasoning in Large Language Models
Abstract
The evaluation of multi-step reasoning capabilities in Large Language Models (LLMs) faces three fundamental challenges that threaten the validity of curren...