How would I get into formal logic, like AI, Prolog, etc.
-
-
So far I’ve been working with tags (hasTag blah) and variables (daysPassed > 20).
-
If you want to do queries like that, then version zero is conjunctions of predicates that share variables.
- 3 more replies
New conversation -
-
-
Yeah that still feels very doable, world state querying without, uh, math.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I guess the next step would be inferring state I didn’t explicitly enter? E.g. “location = house” => “inside = true”.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.