PS: A simplification is to break the consequence operator into "single steps", which is a trick known in classical logic-based AI. So Cn(F) = Lim St^k(F) as k -> infinity, where St is the single-step deduction operator.
Even then, the St operator seems more complex than matrix multiplication, as it involves matching the KB of facts with quantified logic formulas (known as "rules"), via the unification algorithm. ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
