I have worked with Prolog a bit so FOL is somewhat familiar (I wouldn't call myself an expert by any means). FOL is quite an amazing tool to reduce the problem space in well defined environments. I enjoy board games and rules based FOL AIs are pretty well suited in that domain. Modelling non-trivial domains as a set of rules is pretty tough though (+Gödel applies). Creating game like structures for everyday stuff is one of my remaining AI research interests (the idea being that expert knowledge can somehow be modelled as AIs that compete in the game and thus be made comparable).
The "Inductive Logic Programming" chapter in "Prolog Programming for AI" (best intro Prolog book imo) is very interesting and has lead to a couple of entries in my todo list :)
Non-Standard logics are also very fascinating.
I love "AI A Modern Approach" but the chapter on PGMs wasn't the best in my opinion. I think the dentist example just bothered me/it wasn't all that obvious how useful they really are. Thankfully the book is amazing and they provide plenty of references to move on :)
That being said I think PGMs are immensely powerful and my gut says this approach is the one that I like the best.
I love "AI A Modern Approach" but the chapter on PGMs wasn't the best in my opinion. I think the dentist example just bothered me/it wasn't all that obvious how useful they really are. Thankfully the book is amazing and they provide plenty of references to move on :) That being said I think PGMs are immensely powerful and my gut says this approach is the one that I like the best.