Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Fluent_calculus> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Fluent_calculus abstract "The fluent calculus is a formalism for expressing dynamical domains in first-order logic. It is a variant of the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol is used to concatenate the terms that represent facts that hold in a situation. For example, that the box is on the table in the situation is represented by the formula . The frame problem is solved by asserting that the situation after the execution of an action is identical to the one before but for the conditions changed by the action. For example, the action of moving the box from the table to the floor is formalized as: This formula states that the state after the move is added the term and removed the term . Axioms specifying that is commutative and non-idempotent are necessary for such axioms to work.".
- Fluent_calculus wikiPageExternalLink 006.
- Fluent_calculus wikiPageID "2961091".
- Fluent_calculus wikiPageRevisionID "379378864".
- Fluent_calculus hasPhotoCollection Fluent_calculus.
- Fluent_calculus subject Category:Logical_calculi.
- Fluent_calculus comment "The fluent calculus is a formalism for expressing dynamical domains in first-order logic. It is a variant of the situation calculus; the main difference is that situations are considered representations of states. A binary function symbol is used to concatenate the terms that represent facts that hold in a situation. For example, that the box is on the table in the situation is represented by the formula .".
- Fluent_calculus label "Fluent calculus".
- Fluent_calculus sameAs m.08g8fl.
- Fluent_calculus sameAs Q5462656.
- Fluent_calculus sameAs Q5462656.
- Fluent_calculus wasDerivedFrom Fluent_calculus?oldid=379378864.
- Fluent_calculus isPrimaryTopicOf Fluent_calculus.