We were using a sort of fuzzy Prolog tool that tried to match predicates with slightly different names - this caused one of our issues because pretty much everything matches with _some_ degree of certainty if you go down that route which then creates a massive search space. Since, it turns out, chatGPT is quite good at formalising stuff if you give it a template to work with, we've now more or less abandoned the fuzzy Prolog idea.
(no subject)
Date: 2024-06-03 01:48 pm (UTC)