On Mon, Feb 17, 2014 at 8:26 PM, John Rose <[email protected]> wrote:
> YKY, > > > > Here's a great tutorial I found on how to go from logic, temporal in this > case, to algebra using quantales J > > http://www.qu.edu.qa/RelMiCs11/documents/tutAlgebraLogics.pdf > > > > Great stuff here's more by Höfner: > > http://hoefner-online.de/home/html/publications.html > > > > John > Thanks, I read the first one which is a great tutorial. It deals with algebraization of temporal logics, and the technique can be extended to modal logics. My impression is that temporal logics and modal logics are enhanced versions of propositional logic, but they're different from predicate logic (unless we add predicates to the logics). So it's still unclear how to do the algebraization of predicate logic -- it seems not a popular research topic, perhaps due to its difficulty. But the technique described by Hofner is interesting because it deals with the models of temporal / modal logic which are "Kripke structures", ie, graphs / trees that can represent temporal processes, and possible worlds. The complexity of such models seems comparable to the models of predicate logic. Another insight is relational algebra. If we can simply use relational algebra as knowledge representation for AGI, we already have an algebraic formulation, and can proceed from there. Relational algebra is equal in expressive power as first-order logic. This is currently the path I'm exploring... Thanks for the recommendations... =) ------------------------------------------- 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
