Płynna rachunek - Fluent calculus

Biegle rachunek jest formalizm do wyrażania domen dynamicznych w logice pierwszego rzędu . Jest to wariant rachunku sytuacji ; Główną różnicą jest to, że sytuacje są uważane reprezentacje państw. Funkcja binarny symbol jest używany do łączenia warunków, które stanowią fakty, które trzymają w sytuacji. Na przykład, że skrzynka na stole sytuacji jest reprezentowany przez wzór . Problemem rama jest rozwiązany przez twierdząc, że sytuacja po wykonaniu działania jest identyczna jak wcześniej, ale na warunkach zmienionych przez działanie. Na przykład, działanie przesuwania okna ze stołu na podłogę jest sformalizowane jako: ${\ Displaystyle \} Circ$${\ S} displaystyle$${\ Displaystyle \ istnieje ts = od (polu tabela) \ t} Circ$

${\ Stan displaystyle (DO (MOVE (pole tabela podłogowe) a)) \ Circ na (pole tabela) = stan (e) \ Circ na (pole podłogowe)}$

Ten wzór wskazuje, że stan po przeniesieniu dodano termin odciągano termin . Aksjomaty określając, że jest przemienne i nie są niezbędne do idempotent takie aksjomaty do pracy. ${\ Displaystyle na (pole podłogowe)}$${\ Displaystyle na (pole tabela)}$${\ Displaystyle \} Circ$

Zobacz też

• Fluent (sztuczna inteligencja)
• problem rama
• rachunek sytuacji
• rachunek wydarzenie

Referencje

• M. Thielscher (1998). Wprowadzenie do płynnego rachunku . Transakcje elektroniczne na sztucznej inteligencji , 2 (3-4): 179-192.
• M. Thielscher (2005). Rozumowanie Robots - Sztuka i nauka programowania Robotic pełnomocników. Tom 33 Applied Logic Series. Springer, Dordrecht.

Ta logika kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi