Logic Based AGI Projects
From AGIRI.org
Some major logic-based AGI projects include:
- Cyc, led by Doug Lenat; see http://www.cyc.com or http://en.wikipedia.org/wiki/Cyc
- NARS, Pei Wang's system based on uncertain term logic; see http://www.cogsci.indiana.edu/farg/peiwang/papers.html
[edit]
Mind Ontology Links
Supercategory: AGI Projects
Subcategory: NARS
Associated: Logic
