Skip to main content

and
  1. No Access

    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...

    Yinsheng Zhang in Intelligent and Fuzzy Systems (2023)

  2. No Access

    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 ...

    Yinsheng Zhang in Intelligent and Fuzzy Techniques for Emerg… (2022)

  3. No Access

    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, ...

    Yinsheng Zhang in Intelligent and Fuzzy Systems (2022)

  4. No Access

    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...

    Yinsheng Zhang in Intelligent and Fuzzy Systems (2022)