artificial intelligence directory
Directory of Web Resources for the Artificial Intelligence Community

Ask questions to experts in the
Artificial Intelligence Forum or the Data Mining Forum

Recent Messages
There are no recent messages
Home > Reasoning

Abductive Reasoning (1) Analogical Reasoning (0) Case-Based Reasoning (5)
Commonsense Reasoning (0) Companies (0) Reasoning About Uncertainty (0)
Temporal Reasoning (2) Toolkits and Software (0)  

Logical Graph 
A logical graph is a graph-theoretic structure in one of the systems of graphical syntax that Charles Sanders Peirce developed for logic.

Propositional Equation Reasoning Systems 
This article develops elementary facts about a family of formal calculi described as "propositional equation reasoning systems" (PERS). The work is based on the logical graphs of Charles Sanders Peirce and the indication calculus of George Spencer Brown.

©2006-2017 Philippe Fournier-Viger
Promote this website