How would I get into formal logic, like AI, Prolog, etc.
-
-
I am not quite sure yet. A better way of representing knowledge than just opaque tags?
-
that's probably the single biggest step up in expressivity. But it makes reasoning more complicated/expensive.
- 5 more replies
New conversation -
-
-
Although the first step is just to get a feel for how it would it fit into my toolbox.
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.