Post

Jev can't reason. So I built an interpreter that reasons for it. It runs a logic language where the facts and rules are plain English.

Shawn Simister

@narphorium.com

18 Sept

To match a goal against a fact or a rule, the interpreter asks Jev questions like: Could "Abe is the father of Y" and "Abe is Homer's father" state the same fact? Jev answers with a probability. The rest is ordinary proof search, written in code.

Shawn Simister

@narphorium.com

Jev doesn't generate text, so I used Claude Haiku to turn the question into a logic query first. After that, this query took 100 Jev calls in 8.5 seconds, for roughly a quarter of a cent.

18/9/26, 4:28 pm0 reposts20 likes

Shawn Simister

@narphorium.com

19 Sept

The natural-language logic interpreter is now open source, and you don't need Jev early access to try it. It runs against a local Jev-compatible server too. github.com/narphorium/n...

github.comGitHub - narphorium/nl-logic-interpreter: A step-through logic interpreter for natural-language facts and rules, unified with JevA step-through logic interpreter for natural-language facts and rules, unified with Jev - narphorium/nl-logic-interpreter