*Reasoner.js* is a conceptual term graph rewriting system I'm developing for a while now. It specifically takes an s-expr input (may be AST or other data), transforms the input, and outputs another s-expr (again may be AST or something else).
Until now, (1st step) input would be validated against grammar specifying input type, and output would be constructed (2nd step) from grammar specifying output type with additional transformation rules abducing backwards the inference line. In this iteration, I separated transformation rules from output rules while input kept the same treatment. So now it does: (1st step) validating input forwards, (2nd step) applying transformation rules, and (3rd step) validating output backwards. All steps are performed using the same AST processing algorithm, changing only input, output, and direction parameters. This separation enabled isolating the step of applying transformation rules from initially imbued output type checking, labelling the project as gradually typed system. There is still some interesting work to do like non-deterministic inference with left side conjunctions and right side disjunctions, which would place this system side-by-side with Hilbert calculus, natural deduction calculus, and sequent calculus. Nevertheless, already implemented functionality provides possibilities for many interesting definitions like rudimentary equality predicate implementation, branching choice decision, boolean calculator, and a lot more since the internal AST processing algorithm is already Turing complete. This iteration also provides rudimentary insight to AST construction path which will be advanced to simplified proof elaboration in the future versions. So, things go on bit by bit, and I'm slowly approaching the production version, hoping to be finally used by hobby programmers researching and fastly prototyping custom formal systems. To check out the current project iteration, please refer to online playground <https://contrast-zone.github.io/reasoner.js/playground/> and the project home page <https://github.com/contrast-zone/reasoner.js>. ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T7dd1229de3815c6d-Mec22fb7ce8e8577f0ff4af82 Delivery options: https://agi.topicbox.com/groups/agi/subscription
