no code implementations • 31 Jul 2023 • Doug Lenat, Gary Marcus
Even long arguments produced this way can be both trustworthy and interpretable, since the full step-by-step line of reasoning is always available, and for each step the provenance of the knowledge used can be documented and audited.