Re:Dataspace 3: It Came from the S-Expressions
by imglorp on Friday August 17, 2018 @08:40AM
(#17782336)
I feel like Cyc was left out of his list of lisp representations of universal quantification (prologgy lisps).
They did several interesting things, going way back to the 90s. I'm probably going to grossly misrepresent the idea, but they have a way to structure and represent knowledge (an ontology) as an atomic frame, a way to represent relations between frames, a way to reason about it (eg check that assertions and relations are consistent), and then--brute force by hand--wrote thousands of common sense meatspace frames. The idea was a lispy prolog that came with a database of things a five year old human might know about.
They did several interesting things, going way back to the 90s. I'm probably going to grossly misrepresent the idea, but they have a way to structure and represent knowledge (an ontology) as an atomic frame, a way to represent relations between frames, a way to reason about it (eg check that assertions and relations are consistent), and then--brute force by hand--wrote thousands of common sense meatspace frames. The idea was a lispy prolog that came with a database of things a five year old human might know about.
http://opencyc.org
https://en.wikipedia.org/wiki/Cyc