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

Свободное исчисление — это формализм для выражения динамических областей в логике первого порядка . Это вариант ситуационного исчисления ; Основное отличие состоит в том, что ситуации считаются представлениями состояний. Символ двоичной функции $\circ$ используется для объединения терминов, которые представляют факты, имеющие место в ситуации. Например, что коробка лежит на столе в ситуации $s$ представляется формулой $\exists t.s=on(box,table)\circ t$. Проблема фрейма решается утверждением, что ситуация после выполнения действия идентична предыдущей, но для условий, измененных действием. Например, действие по перемещению коробки со стола на пол формализуется как:

$State(Do(move(box,table,floor),s))\circ on(box,table)=State(s)\circ on(box,floor)$

Эта формула гласит, что к состоянию после переезда добавляется член $on(box,floor)$ и удалил термин $on(box,table)$. Аксиомы, указывающие на то, что $\circ$ коммутативна необходимы и неидемпотентна , для того, чтобы такие аксиомы работали.

См. также

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

Ссылки

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