How would I get into formal logic, like AI, Prolog, etc.
-
-
Replying to @JurieHorneman @jurieongames
Paging
@ianhorswill to a conversation about Prolog and games... :)1 reply 0 retweets 1 like -
Replying to @rzubek @jurieongames
depends in part on what you want to learn. Learning Prolog hacking is straightforward but takes some time.
3 replies 0 retweets 0 likes -
so the question is what you want to do.
2 replies 0 retweets 0 likes -
Replying to @ianhorswill @rzubek
I am not quite sure yet. A better way of representing knowledge than just opaque tags?
3 replies 0 retweets 0 likes -
that's probably the single biggest step up in expressivity. But it makes reasoning more complicated/expensive.
3 replies 0 retweets 1 like -
Replying to @ianhorswill @rzubek
So far I’ve been working with tags (hasTag blah) and variables (daysPassed > 20).
1 reply 0 retweets 0 likes -
If you want to do queries like that, then version zero is conjunctions of predicates that share variables.
6 replies 0 retweets 1 like
and version 1 is you add the ability to specify rules for queries for specific predicates.
-
-
Replying to @ianhorswill @rzubek
Thank you! That will help me search in a more concrete direction :)
0 replies 0 retweets 0 likesThanks. 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.