One of the most impressive Lisp applications is Cyc . Cyc is a project started by Doug Lenat who is trying to incorporate common sense knowledge into a knowledge-based system. Not just a little, but really really a lot of knowledge. People learned a lot of different things, and the limitation of artificial intelligence software was noticed to not know anything about it. What is the typical color of honey? Are we sitting on a chair or under a chair? A cup of fresh coffee is hot. When it rains, there is no rain inside. Sea water contains salt, but there is no water in the pond. Most birds can fly. Some birds cannot fly. It is amazing how many of these facts, rules and concepts people know.
Cyc has been constantly evolving since 1984, and the knowledge base contains (figures from 2004) more than 2.5 million facts and rules. It also contains over 150 thousand concepts (similar to classes in OOP). Cyc is developed in SubL (a dialect of Common Lisp).
Knowledge is entered into CycL (a language with declarative logic). Specially trained people enter into knowledge. Cyc verifies that this new knowledge does not contradict existing knowledge. He can also draw new conclusions, and you can request it. For his answers, he can also generate explanations. Cyc also implements many domain-specific heuristics.
In the early days, the project began to develop on Lisp machines, but today the software is portable and accessible to interested students and researchers (OpenCyc and ResearchCyc).
Rainer Joswig Feb 22 '09 at 11:40 2009-02-22 11:40
source share