Artificial Intelligence / AI 0232 · Atom · ~20 seconds
Sound and Complete
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
For fact-and-rule knowledge bases of this unit's form, both procedures are sound — everything derived is a true consequence — and complete: every true consequence can be derived.
Show
No false positives, no missed conclusions: within its fenced garden, deduction is finished business.
Watch for
The guarantee is about consequence, not truth — sound reasoning from wrong rules stays wrong.