Talk:Cyc/Archives/2020
 | This page is an archive of past discussions. Do not edit the contents of this page. If you wish to start a new discussion or revive an old one, please do so on the current talk page. |
Inference engine section
In the "Inference engine" section, universal and existential quantification is mentioned as examples of logical deduction. But universal and existential quantification are not inference rules. I guess universal/existential generalization and universal/existential instantiation were meant. LoMaPh (talk) 03:00, 21 November 2017 (UTC)
I am currently working through "Building Large Knowledge-Based Systems - Representation and Inference in the Cyc Project"- an early RLL-1 report of Cyc from 1989 that while it does not reflect the state of the system, I encourage all authors of this page to obtain and read.
From the 1989 report, when they were still using a frame system to store the KB, they were very proud to implement 'universal and existential' reasoning. However, it is INTENSIONAL logic only (i.e. working only with known individuals in the KB), not EXTENSIONAL (working with the potentially infinite set of individuals).
From my understanding of this text, their use of existential and universal quantifiers appear to be little more than an OnInsert rule- basically deduced at assert time.
There is no suggestion from this early work that they have any ability to perform more than a rudimentary Modus-Ponens, with existential/universal quantifiers as a fancy syntax for a relational DB query.
Can anyone else confirm? 109.155.137.132 (talk)
Lucid - a new company to commercialise Cyc ? - 2016
and discussion at: https://news.ycombinator.com/item?id=11300567
- added by: Snori (talk) 00:42, 11 February 2019 (UTC)
- Afaik, it did.
A Commons file used on this page or its Wikidata item has been nominated for speedy deletion
The following Wikimedia Commons file used on this page or its Wikidata item has been nominated for speedy deletion:
You can see the reason for deletion at the file description page linked above. —Community Tech bot (talk) 18:22, 12 July 2020 (UTC)