#MIRI has some great talks online, such as this one about the 'current' (2016 anyway 😅) state of symbolic AI / problem solvers
https://invidio.us/watch?v=35BWlvPcYvg
sadly he doesn't name the systems he's talking about.
oooh, i get it! this is a whole thing:
basically you translate problems into the form of the boolean satisfiability problem (SAT) and there are SAT-solvers that can do very clever shortcuts.
and yes, it seems the solvers tend to be open source. 🎉
https://invidio.us/watch?v=d76e4hV1iJY
https://en.wikipedia.org/wiki/Boolean_satisfiability_problem#Algorithms_for_solving_SAT
btw, is there like a _good_ #language for #logic expressions? cuz i got some ideas:
my biggest one is using gauss brackets for "and" and "or" (or generalized to "min" and "max")
⌊a b⌋ means: "a and b"
⌈a b c d⌉: "a or b or c or d"
⌊a ⌈b c⌉⌋: "a and (b or c)"
you can also add a slash (or something) for negation:
⌊a / b c⌋: "a and not b and not c"
and yes the traditional logical symbols are upside down. "∧" for minimum and "∨" for maximum. mathematicians are really bad at language design 🙄.
@tigzikk acually, i was mostly thinking of notations, now that you mention it.
but also i think it's unfortunate that most scientific notations have no quick and unambiguous pronunciation. one-syllable-per charakter and #postfix (or prefix 🤷) syntax may help quite a bit, i think.
i have some basic understanding of #lojban and i think i does a lot of things right. i wanted to get fluent at some point, but i also have half-baked ideas for a more radical #conlang.