Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

24

CADE
2015
Springer

favoriteEmaildiscussreport

26views Logical Reasoning» more CADE 2015»

A Computational Logic Approach to Syllogisms in Human Reasoning

8 years 1 months ago

A Computational Logic Approach to Syllogisms in Human Reasoning

Download ceur-ws.org

Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had di culties to reason with syllogistic statements that contradicted their own beliefs. This paper discusses syllogisms in human reasoning and proposes a formalization under the weak completion semantics.

Emanuelle-Anna Dietz

Real-time Traffic

CADE 2015 | Logical Reasoning |

claim paper

Related Content

» Probabilistic Quantifier Logic for General Intelligence An Indefinite Probabilities Approa...

» Logics and Networks for Human Reasoning

» Bilatticebased Logical Reasoning for Human Detection

» Reasoning about Computations Using TwoLevels of Logic

» A Multiadjoint Logic Approach to Abductive Reasoning

» Computational Models of Ethical Reasoning Challenges Initial Steps and Future Directions

» Towards HighLevel Human Activity Recognition through Computer Vision and Temporal Logic

» A ReasoningBased Support Tool for Ontology Mapping Evaluation

» Representation and Reasoning on RBAC A Description Logic Approach

» LogicBased Rhetorical Structuring for Natural Language Generation in HumanComputer Dialogu...

Post Info
More Details (n/a)

Added	17 Apr 2016
Updated	17 Apr 2016
Type	Journal
Year	2015
Where	CADE
Authors	Emanuelle-Anna Dietz

Comments (0)