Re: [agi] A deductive reasoner

2023-04-12 Thread 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:

Re: [agi] A deductive reasoner

2023-04-12 Thread 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