Re: [agi] A deductive reasoner

[WriterOfMinds]

Felipe, I think you'll have to do that yourself. Go to 
https://agi.topicbox.com/groups/agi, sign in, and click "Delivery Options" in 
the right-hand sidebar, then choose not to receive e-mails.
--
Artificial General Intelligence List: AGI
Permalink: 
https://agi.topicbox.com/groups/agi/T5001c9a8fb62c696-Ma3165f16296149b1d41c07d0
Delivery options: https://agi.topicbox.com/groups/agi/subscription

Re: [agi] A deductive reasoner

[Felipe Carmona Miquilini]

Please, remove me from your email list

On Fri, Mar 31, 2023 at 9:36 AM  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 *
> / AGI / see discussions  +
> participants  +
> delivery options 
> Permalink
> 
>


-- 
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