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 = o n (b o x, t a b l e) \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:

S t a t e (D o (m o v e (b o x, t a b l e, f l o o r), s)) \circ o n (b o x, t a b l e) = S t a t e (s) \circ o n (b o x, f l o o r)

Ova formula navodi da se u stanje nakon poteza dodaje termin $o n (b o x, f l o o r)$ i uklonjen termin $o n (b o x, t a b l e)$ . Aksiomi koji specificiraju da je $\circ$ komutativno i neidempotentno su neophodni da bi takvi aksiomi funkcionirali.

Vidi još

Reference

Шаблон:Reflist

Шаблон:Authority control-lat

↑ 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]

Fluentni račun

Vidi još

Reference

Мени за навигацију

Претрага