Fluentni račun

Fluentni račun je formalizam za izražavanje dinamičkih domena u logici prvog reda. To je varijanta situacionog računa; glavna razlika je u tome što se situacije smatraju reprezentacijama stanja.^[1]^[2] Simbol binarne funkcije $\circ$ se koristi za spajanje pojmova koji predstavljaju činjenice koje važe u datoj situaciji. Na primer, da je kutija na stolu u situaciji $s$ predstavljena formulom $\exists t.s=on(box,table)\circ t$ . Problem okvira se rešava tvrdnjom da je situacija nakon izvršenja radnje identična onoj od ranije, ali za uslove koje je radnja promenila. Na primer, akcija premeštanja kutije sa stola na pod je formalizirana kao:

State(Do(move(box,table,floor),s))\circ on(box,table)=State(s)\circ on(box,floor)

Ova formula navodi da se u stanje nakon poteza dodaje termin $on(box,floor)$ i uklonjen termin $on(box,table)$ . Aksiomi koji specificiraju da je $\circ$ komutativno i neidempotentno su neophodni da bi takvi aksiomi funkcionirali.

Vidi još

Reference

^ M. Thielscher (1998). Introduction to the fluent calculus. Electronic Transactions on Artificial Intelligence, 2(3–4):179–192.
^ M. Thielscher (2005). Reasoning Robots - The Art and Science of Programming Robotic Agents. Volume 33 of Applied Logic Series. Springer, Dordrecht.

[1] M. Thielscher (1998). Introduction to the fluent calculus. Electronic Transactions on Artificial Intelligence, 2(3–4):179–192.

[2] M. Thielscher (2005). Reasoning Robots - The Art and Science of Programming Robotic Agents. Volume 33 of Applied Logic Series. Springer, Dordrecht.

[1]

[2]