scholarly journals Spider Diagrams: A Diagrammatic Reasoning System

2001 ◽  
Vol 12 (3) ◽  
pp. 299-324 ◽  
Author(s):  
JOHN HOWSE ◽  
FERNANDO MOLINA ◽  
JOHN TAYLOR ◽  
STUART KENT ◽  
JOSEPH YOSSI GIL
Keyword(s):  
Diagrammatic Reasoning ◽  
Reasoning System ◽  
Spider Diagrams

scholarly journals Spider Diagrams

2005 ◽  
Vol 8 ◽  
pp. 145-194 ◽  
Author(s):  
John Howse ◽  
Gem Stapleton ◽  
John Taylor
Keyword(s):  
Diagrammatic Reasoning ◽  
Abstract Syntax ◽  
Topological Properties ◽  
Formal Reasoning ◽  
First Order ◽  
Transformation Rules ◽  
Reasoning System ◽  
Concrete Syntax ◽  
Monadic Logic ◽  
Spider Diagrams

AbstractThe use of diagrams in mathematics has traditionally been restricted to guiding intuition and communication. With rare exceptions such as Peirce's alpha and beta systems, purely diagrammatic formal reasoning has not been in the mathematician's or logician's toolkit. This paper develops a purely diagrammatic reasoning system of “spider diagrams” that builds on Euler, Venn and Peirce diagrams. The system is known to be expressively equivalent to first-order monadic logic with equality. Two levels of diagrammatic syntax have been developed: an ‘abstract’ syntax that captures the structure of diagrams, and a ‘concrete’ syntax that captures topological properties of drawn diagrams. A number of simple diagrammatic transformation rules are given, and the resulting reasoning system is shown to be sound and complete.

REDRAW — a diagrammatic reasoning system for qualitative structural analysis

1996 ◽  
Vol 25 (2-3) ◽  
pp. 149-159 ◽  
Author(s):  
Shirley Tessler ◽  
Yumi Iwasaki ◽  
Kincho H. Law
Keyword(s):  
Structural Analysis ◽  
Diagrammatic Reasoning ◽  
Reasoning System

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

DECISION-MAKING ON INVESTMENT OF IT-INNOVATION BASED ON FUZZY EXPERT INFORMATION

2018 ◽  
pp. 103-111
Author(s):  
Olga Olegovna Eremenko ◽  
Lyubov Borisovna Aminul ◽  
Elena Vitalievna Chertina
Keyword(s):  
Decision Making ◽  
Individual Characteristics ◽  
Production Model ◽  
Investment Management ◽  
It Projects ◽  
Product Model ◽  
Project Cost ◽  
Reasoning System ◽  
Managerial Decisions ◽  
The Individual

The subject of the research is the process of making managerial decisions for innovative IT projects investing. The paper focuses on the new approach to decision making on investing innovative IT projects using expert survey in a fuzzy reasoning system. As input information, expert estimates of projects have been aggregated into six indicators having a linguistic description of the individual characteristics of the project type "high", "medium", and "low". The task of decision making investing has been formalized and the term-set of the output variable Des has been defined: to invest 50-75% of the project cost; to invest 20-50% of the project cost; to invest 10-20% of the project cost; to send the project for revision; to turn down investing project. The fuzzy product model of making investment management decisions has been developed; it adequately describes the process of investment management. The expediency of using constructed production model on a practical example is shown.

Sign in / Sign up

Export Citation Format

Share Document