Свободное исчисление

свободное исчисление - это формализм для выражения динамических областей в логике первого порядка. Это вариант ситуационного исчисления ; основное отличие состоит в том, что ситуации считаются репрезентациями состояний. Символ двоичной функции $\circ \; \{\backslash \; displaystyle\; \backslash \; circ\}$используется для объединения терминов, которые представляют факты, которые имеют место в ситуации. Например, то, что поле находится на столе в ситуации $s\; \{\backslash \; displaystyle\; s\}$, представлено формулой $\exists \; t.\; s\; знак\; равно\; о\; N\; (б\; о\; Икс,\; T\; a\; B\; L\; E)\; \circ \; T\; \{\backslash \; Displaystyle\; \backslash \; существует\; t.s\; =\; on\; (поле,\; таблица)\; \backslash \; circ\; t\}$. Проблема кадра решается путем утверждения, что ситуация после выполнения действия идентична предыдущей, но для условий, измененных действием. Например, действие по перемещению ящика со стола на пол формализуется как:

$S\; tate\; (D\; o\; (move\; (box,\; table,\; floor),\; s))\; \circ \; on\; (box,\; table)\; =\; S\; tate\; (s)\; \circ \; on\; (коробка,\; пол)\; \{\backslash \; displaystyle\; State\; (Do\; (move\; (box,\; table,\; floor),\; s))\; \backslash \; circ\; on\; (box,\; table)\; =\; State\; (s)\; \backslash \; circ\; on\; (box,\; floor)\; \}$

Эта формула утверждает, что к состоянию после перемещения добавлен термин $на\; (прямоугольник,\; пол)\; \{\backslash \; displaystyle\; on\; (box,\; floor)\}$и удален термин $на\; (коробка,\; таблица)\; \{\backslash \; displaystyle\; on\; (коробка,\; таблица)\}$. Аксиомы, определяющие, что $\circ \; \{\backslash \; displaystyle\; \backslash \; circ\}$коммутативны и неидемпотентны, необходимы для работы таких аксиом.

• Свободное владение (искусственный интеллект)
• Задача кадра
• Ситуационное исчисление
• Событийное исчисление

• М. Тильшер (1998). Введение в свободное исчисление. Электронные транзакции по искусственному интеллекту, 2 (3–4): 179–192.
• М. Тильшер (2005). Логические роботы - искусство и наука программирования роботов-агентов. Том 33 из серии «Прикладная логика». Springer, Dordrecht.

.