WikiDer > Свободный расчет

В беглый расчет формализм для выражения динамических областей в логика первого порядка. Это вариант ситуационное исчисление; основное отличие состоит в том, что ситуации считаются репрезентациями состояний. Символ двоичной функции ${ displaystyle circ}$ используется для объединения терминов, которые представляют факты, имеющие место в ситуации. Например, что ящик стоит на столе в ситуации ${ displaystyle s}$ представлен формулой ${ displaystyle существует t.s = on (коробка, таблица) circ t}$. В проблема с рамой решается утверждением, что ситуация после выполнения действия идентична предыдущей, но для условий, измененных действием. Например, перемещение ящика со стола на пол оформляется как:

${ displaystyle State (Do (move (box, table, floor), s)) circ on (box, table) = State (s) circ on (box, floor)}$

В этой формуле указано, что к состоянию после перемещения добавляется член ${ displaystyle on (коробка, пол)}$ и удалил термин ${ displaystyle on (поле, таблица)}$. Аксиомы, определяющие, что ${ displaystyle circ}$ коммутативен и неидемпотентен, чтобы такие аксиомы работали.

Смотрите также

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

Рекомендации

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

Этот логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е