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.

iamwil

@interjectedfuture.com

18 Sept

Wait, I don’t get what Jev’s role is here. It seems like this is a datalog/prolog for reasoning, and Haiku converts question to query for the reasoning system…what does Jev have to decide?

Shawn Simister

@narphorium.com

Jev decides if two statements can be unified. So it can do fuzzy matching on natural language statements

18/9/26, 6:00 pm0 reposts9 likes

Amber 🌸

@shimmermathlabs.com

18 Sept

does it still do prolog style order of matching and stuff with normal backtracking? i want jev to decide which way to go in the resolution

Good idea! 😍

That would be awesome but this version just does simple exhaustive search through the facts. I have some ideas for smarter search. I think it would probably need a proper generative model to predict the best search queries though.