Please, remove me from your email list On Fri, Mar 31, 2023 at 9:36 AM <ivan.mo...@gmail.com> wrote:
> I'm in a process of programming a deductive reasoner. It is meant to be > a term graph rewriting tool for transforming any input s-expr to any output > s-expr using its own metalanguage as a rule-based system. I'm dealing with > sequent calculus inspired rules, and composing implications with > co-implications as symmetric processes in the same logic environment. > > The project is greatly influenced by OpenCog architecture. The plan is to > intertwine the computationally complete deductive reasoner with a > computationally complete state transition machine, all floating in a > searchable s-expr database. > > The project could be used for programming AGI among other purposes, > exposing its memory database and memory processes to the outer world, ready > to be connected to input sensors and output motorics. > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + > delivery options <https://agi.topicbox.com/groups/agi/subscription> > Permalink > <https://agi.topicbox.com/groups/agi/T5001c9a8fb62c696-Mc1f21049f00bcd841e127e2b> > -- Felipe Carmona Miquilini ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T5001c9a8fb62c696-M35411230d89d62e5f1c1f741 Delivery options: https://agi.topicbox.com/groups/agi/subscription