Marc Lanctot on Tue, 27 Jul 2010 12:21:10 -0700 (MST)

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [game-lang] review of GDL

On 10-07-27 03:10 PM, Joel Uckelman wrote:

When I first encountered GDL, I thought it *was* a situation calculus.

The big issue with the situation calculus is the frame problem, which GDL
(and Datalog derivatives generally) don't have because there any formulas
which can't be proved to be true are automatically false.

The fluent calculus gets around this, aparently:

We might want a fluent calculus.

Did you see the two references on Wikipedia article for the fluent calculus? It's one of the main guys pushing GGP and GDL. In fact, it's also the sole author of GDL-II. I attended his talk at AAAI on GDL-II two weeks ago.

This is why I love academia. :)


game-lang mailing list