A syllogistic system for propositions with intermediate quantifiers
This paper describes a formalism that subsumes Peterson's intermediate quantifier syllogistic system, and extends the ideas by van Eijck on Aristotle's logic. Syllogisms are expressed in a concise form making use of and extending the Monotonicity Calculus. Contradictory and contrary relationships are added so that deduction can derive propositions expressing a form of negation.
Code (0)
등록된 구현이 없습니다.
Tasks
FormNegationSimilar Papers 제목 키워드 기반
Some Reflections on the Set-based and the Conditional-based Interpretations of Statements in Syllogistic Reasoning
Two interpretations about syllogistic statements are described in this paper. One is the so-called set-based interpretation, which assumes that quantified statements and syllogisms talk about quantity-relationships betwe…
A Fuzzy Syllogistic Reasoning Schema for Generalized Quantifiers
In this paper, a new approximate syllogistic reasoning schema is described that expands some of the approaches expounded in the literature into two ways: (i) a number of different types of quantifiers (logical, absolute,…
On the analysis of set-based fuzzy quantified reasoning using classical syllogistics
Syllogism is a type of deductive reasoning involving quantified statements. The syllogistic reasoning scheme in the classical Aristotelian framework involves three crisp term sets and four linguistic quantifiers, for whi…
validA New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams
In this paper, we deal with a calculus system SLCD (Syllogistic Logic with Carroll Diagrams), which gives a formal approach to logical reasoning with diagrams, for representations of the fundamental Aristotelian categori…
Logical ReasoningvalidA Hybrid System to apply Natural Language Inference over Dependency Trees
This paper presents the development of a natural language inference engine that benefits from two current standard approaches; i.e., shallow and deep approaches. This system combines two non-deterministic algorithms: the…
Natural Language Inference