-
Chapter and Conference Paper
First-Order Representations and Calculi of Categorical Propositions
Against the three kinds of defaults of categorical propositions in traditional logic: (1) inconsistent interpretations by Euler circles, (2) monadic quantification, and (3) localization of representation and i...
-
Article
A unified classifiability analysis framework based on meta-learner and its application in spectroscopic profiling data
Spectroscopic profiling data (e.g., Raman spectroscopy and mass spectroscopy), combined with machine learning, have provided a data-driven approach for discriminative tasks. In these tasks, researchers often s...
-
Chapter and Conference Paper
Harmonization and Systematization of Categorical Propositions by Fuzzy Quantification
The paper serves to solve the problem how to instantiate and systematize categorical propositions, positing the quantitative and qualitative relation between two sets with the prerequisites of (1) consistency ...
-
Chapter and Conference Paper
Selectivity: The Essence of Natural and Artificial Intelligence
The paper summarizes definitions of (artificial) intelligence in three kinds of disciplines, which are (1) anthropology as well as relevant fields of biology, psychology and cognitive science on intelligence, ...
-
Chapter and Conference Paper
Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms
The paper solves how to reform Aristotelian syllogisms (ASs) to make it compatible with classic logic, and further formally deduct them in logic programming languages. It asserts that there exist two challengi...
-
Chapter and Conference Paper
Scientific Advances on Consciousness
The article summarizes scientific advances on consciousness up to the present (the year 2017). The remarkable milestones of experimental research on consciousness, in particular those in response to some philo...