Fluent calculus
id:
fluent-calculus-257-388197
title:
Fluent calculus
text:
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 s is represented by the formula ∃ t . s = o n ∘ t . The frame problem is solved by asserting that the situation after th
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Fluent_calculus
date created:
date modified:
2023-10-03T17:24:47Z
main entity:
{"identifier":"Q5462656","url":"https://www.wikidata.org/entity/Q5462656"}
image:
fields total:
13
integrity:
13