Jason Morris09/10/2022, 7:21 PM
Nick Smith09/11/2022, 2:36 AM
Jason Morris09/11/2022, 3:08 AM
Nick Smith09/11/2022, 3:12 AM
Jason Morris09/12/2022, 4:55 PM
Jack Rusher09/13/2022, 1:19 PM
Jason Morris09/13/2022, 7:23 PM
has a logically negated opposite
. And you can force at least one to be true in every model with
, which has a shorthand
-p(X) :- not p(X). p(X) :- not -p(X).
, which is what I mean by "maybe". So similar to the semweb approach (mutually exclusive opposites), but I maybe not with regard to multiple world semantics, or even loops over negation, etc? Not sure. If what I'm trying to model is what the user knows, I need to be able to model "I know it is either true or false, but I don't know which". Which is why I think of the "maybe" as part of the model, not part of the reasoning. Does that make sense, or am I missing something.
Jack Rusher09/14/2022, 10:02 PM
Jason Morris09/21/2022, 10:21 PM