Biegły rachunek różniczkowy

Rachunek biegły to formalizm służący do wyrażania dziedzin dynamicznych w logice pierwszego rzędu . Jest to wariant rachunku sytuacyjnego ; główna różnica polega na tym, że sytuacje są uważane za reprezentacje stanów. Symbol funkcji binarnej $.$ do łączenia terminów reprezentujących fakty, które mają miejsce w danej sytuacji Na przykład, że pudełko jest na stole w sytuacji ${\ Displaystyle \ istnieje ts = na (pudełko, stół) \ circ t}$ przez wzór ${\ displaystyle s}$ . Problem ramowy rozwiązuje się, stwierdzając, że sytuacja po wykonaniu akcji jest identyczna z sytuacją przed, ale dla warunków zmienionych przez akcję. Na przykład czynność przenoszenia pudełka ze stołu na podłogę jest sformalizowana jako:

${\ stan displaystyle (wykonaj (ruch (pudełko, stół, podłoga), s)} \ circ on (pudełko, stół) = stan (s)\circ on(pudełko, podłoga)}$

$dodano$ termin ${\ Displaystyle na (pudełko, stół)}$ termin . Aksjomaty określające, że $idempotentne,$ są niezbędne, aby takie aksjomaty działały.

Zobacz też

• Biegły (sztuczna inteligencja)
• Problem z ramą
• Rachunek sytuacyjny
• Rachunek zdarzeń

• M. Thielschera (1998). Wprowadzenie do płynnego rachunku różniczkowego . Transakcje elektroniczne dotyczące sztucznej inteligencji , 2 (3–4): 179–192.
• M. Thielschera (2005). Roboty rozumujące — sztuka i nauka programowania agentów robotów . Tom 33 serii Applied Logic. Springera w Dordrechcie.