Изворни код странице Fluentni račun


'''Fluentni račun''' je formalizam za izražavanje dinamičkih domena u [[first-order logic|logici prvog reda]]. To je varijanta [[situation calculus|situacionog računa]]; glavna razlika je u tome što se situacije smatraju reprezentacijama stanja.<ref>M. Thielscher (1998). [http://www.ep.liu.se/ej/etai/1998/006 Introduction to the fluent calculus]. ''[[Electronic Transactions on Artificial Intelligence]]'', 2(3–4):179–192.</ref><ref>M. Thielscher (2005). [https://books.google.com/books?id=JdNYtz6YNd0C&q=%22Fluent+calculus%22&pg=PR9 Reasoning Robots - The Art and Science of Programming Robotic Agents]. ''Volume 33 of Applied Logic Series.'' Springer, Dordrecht.</ref> Simbol binarne funkcije <math>\circ</math> se koristi za spajanje pojmova koji predstavljaju činjenice koje važe u datoj situaciji. Na primer, da je kutija na stolu u situaciji <math>s</math> predstavljena formulom <math>\exists t . s = on(box,table) \circ t</math>. [[frame problem|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:

: <math>State(Do(move(box,table,floor), s)) \circ on(box,table) = State(s) \circ on(box,floor)</math>

Ova formula navodi da se u stanje nakon poteza dodaje termin <math>on(box,floor)</math> i uklonjen termin <math>on(box,table)</math>. Aksiomi koji specificiraju da je <math>\circ</math> [[commutative|komutativno]] i [[idempotent|neidempotentno]] su neophodni da bi takvi aksiomi funkcionirali.

== Vidi još ==
* [[Situacijski račun]]
* [[Račun događaja]]

== Reference ==
{{reflist|}}

{{Authority control-lat}}

[[Категорија:Математичка логика]]