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 Permalink: https://agi.topicbox.com/groups/agi/T5001c9a8fb62c696-Mc1f21049f00bcd841e127e2b Delivery options: https://agi.topicbox.com/groups/agi/subscription
