Talk:Fluent (artificial intelligence)

I have written the article trying to avoid complications and trying to put together the different definitions of fluents in different formalisms. This caused some problems:


 * 1) I have assumed that fluents are truth-valued for the sake of simplicity, but this is not always the case; I think the better solution is to add a separate paragraph rather than making the definition more general from the beginning;
 * 2) I have used “the predicate $$On(box,table)$$ ... ”; this is of course not a predicate but a literal using that predicate. Is there any way to say something correct without introducing the complication “we use a predicate $$On$$ so that $$On(box,table)$$ ... ”?

Paolo Liberatore (Talk) 12:47, 13 October 2005 (UTC)