Беглый расчет - Fluent calculus

Свободно Исчисление является формализмом для выражения динамических доменов в логике первого порядка . Это вариант ситуационного исчисления ; основное отличие состоит в том, что ситуации считаются репрезентациями состояний. Символ двоичной функции используется для объединения терминов, которые представляют факты, которые имеют место в ситуации. Например, то, что поле находится на столе в ситуации , представлено формулой . Проблема фрейма решается путем утверждения, что ситуация после выполнения действия идентична предыдущей, но для условий, измененных действием. Например, действие по перемещению ящика со стола на пол оформляется следующим образом: ${\ displaystyle \ circ}$${\ displaystyle s}$${\ displaystyle \ существует ts = 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 т е