Just an update – I’m back working on the system. However, I’ve discovered a problem with the logic system, and it’s not a small one either.
Consider this statement: if @1 is a A && @2 is the letter that comes after @1, then @2 is B.
This may seem simple enough, but there’s a problem regarding how to store this argument in such a way that all of the statements are transferable. What I mean by “transferable” is that the pieces can be plugged into other arguments so that the truth values assigned elsewhere can be utilized, which is the whole point of this system. For example, let’s say someone else comes along and makes this argument:
if @1 is the letter that comes before C, then @1 is B.
Now we have two different statements – @2 is B from the first argument, and @1 is B from the second argument. That’s really bad, because two different statements could say exactly the same thing but have two different values based on the variable numbers used.
Long story short, this means I need to not only enforce a common format for all statements, I need to also keep track of how the variables are applied in arguments. Which means I need to rewrite a bunch of perl code, sql code, and probably clear the databases too (if any statements don’t meet the required format, that’s bad data). It also doesn’t help that I was still a lawyer when I created the databases and had little clue about designing a database correctly. So it’ll be a lengthy process. But I’m about halfway there already, and expect that the result will finally *actually* be a complete logical system.
Posted in: Uncategorized