Reasoning with extended Venn-Peirce diagrammatic systems
نویسنده
چکیده
ii
منابع مشابه
The Advent of Formal Diagrammatic Reasoning Systems
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a valuable aid to intuition and help to convey ideas and information in a clear way. On the other side, logicians have viewed diagrams as informal tools, but which cannot be used in the manner of formal argumentation. Ins...
متن کاملA Sound and Complete Diagrammatic Reasoning System
Simple spider diagrams are a system of Venn-type diagrams that can be used to reason diagrammatically about sets, their cardinalities and their relationships. They extend the systems of Venn-Peirce diagrams investigated by Shin to include lower bounds for the cardinalities of the sets represented by the diagrams. This paper summarises the main syntax and semantics of simple spider diagrams and ...
متن کاملConservativity for a hierarchy of Euler and Venn reasoning systems
This paper introduces a hierarchy of Euler and Venn diagrammatic reasoning systems in terms of their expressive powers in topological-relation-based formalization. At the bottom of the hierarchy is the Euler diagrammatic system introduced in Mineshima-Okada-Sato-Takemura [13, 12], which is expressive enough to characterize syllogistic reasoning in terms of unification and deletion rules. At the...
متن کاملBook review Logic and Visual Information
Researchers in the elds of philosophy, logic, computer science, and formal semantics are beginning to ask interesting questions concerning graphical representation. In addition to being a primary mode of human communication, such representations have been used even in the teaching of logic eg. Venn diagrams, or the Hyperproof" system. If the observation that the visual presentation of informati...
متن کاملProof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides
In the literature on diagrammatic reasoning, Venn diagrams are abstractly formalized in terms of minimal regions. In view of the cognitive process to recognize Venn diagrams, we modify slightly the formalization by distinguishing conjunctive, negative, and disjunctive regions among possible regions in Venn diagrams. Then we study a logic translation of the Venn diagrammatic system with the aim ...
متن کامل