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

18 Sept

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

Amber 🌸

@shimmermathlabs.com

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

18/9/26, 6:58 pm0 reposts4 likes

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.