Свободно (искусственный интеллект)

В искусственном интеллекте флюент — это состояние, которое может меняться со временем. В логических подходах к рассуждениям о действиях флюенты могут быть представлены в логике первого порядка предикатами , имеющими аргумент, зависящий от времени. Например, условие «коробка находится на столе», если оно может меняться со временем, не может быть представлено с помощью ; для предиката необходим третий аргумент , чтобы указать время: означает, что коробка находится на столе в момент времени . Это представление флюентов модифицируется в исчислении ситуаций путем использования последовательности прошлых действий вместо текущего времени. ${\ displaystyle \ mathrm {On} (\ mathrm {box}, \ mathrm {table})}$ $\mathrm {Вкл.}$ ${\ displaystyle \ mathrm {On} (\ mathrm {box}, \ mathrm {table}, t)}$ $т$

Fluent также может быть представлен функцией, опуская аргумент времени. Например, то, что ящик находится на столе, может быть представлено как , где — функция, а не предикат. В логике первого порядка преобразование предикатов в функции называется овеществлением ; по этой причине флюенты, представленные функциями, называются овеществленными. При использовании овеществленных флюентов необходим отдельный предикат, чтобы определить, когда флюент на самом деле истинен или нет. Например, означает, что ящик на самом деле находится на столе в момент времени , где предикат — это тот, который сообщает, когда флюенты истинны. Это представление флюентов используется в исчислении событий , в исчислении флюентов , а также в логиках признаков и флюентов. $на(ящик,таблица)$ $вкл.$ $HoldsAt(on(box,table),t)$ $т$ $HoldsAt$

Некоторые флюенты могут быть представлены в виде функций другим способом. Например, положение ящика может быть представлено функцией , значением которой является объект, на котором стоит ящик в момент времени . Условия, которые могут быть представлены таким образом, называются функциональными флюентами . Высказывания о значениях таких функций могут быть заданы в логике первого порядка с равенством с использованием литералов, таких как . Некоторые флюенты представлены таким образом в исчислении ситуаций . $на(коробка,t)$ $т$ $on(box,t)=table$

Наивная физика

С исторической точки зрения, флюенты были введены в контексте качественного рассуждения. Идея состоит в том, чтобы описать модель процесса не математическими уравнениями, а естественным языком. Это означает, что действие определяется не только его траекторией, но и символической моделью, очень похожей на текстовое приключение. Наивная физика противостоит движку числовой физики и обязана предсказывать результат действий. ^[1] Флюент осознает здравый смысл, лежащий в основе движения робота и описания задачи на естественном языке. ^[2]

С технической точки зрения, fluent равен параметру, который анализируется наивным физическим движком. Анализатор преобразует между fluent естественного языка и числовыми значениями, измеряемыми датчиками. ^[3] В результате взаимодействие человека и машины улучшается.

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

Ссылки

^ Л. Кунце и М. Долха и М. Битц (2011). Логическое программирование с использованием временной проекции на основе моделирования для повседневной манипуляции объектами робота . Международная конференция IEEE/RSJ по интеллектуальным роботам и системам 2011 г. IEEE. CiteSeerX 10.1.1.391.7309 . doi :10.1109/iros.2011.6094743.
^ Якоб Сучан и Мехул Бхатт (2017). Семантика здравого смысла сцены для когнитивной робототехники: на пути к обоснованию воплощенных визуально-локомотивных взаимодействий . Международная конференция IEEE по семинарам по компьютерному зрению (ICCVW) 2017 года. IEEE. arXiv : 1709.05293 . doi : 10.1109/iccvw.2017.93.
^ Caiming Xiong и Nishant Shukla и Wenlong Xiong и Song-Chun Zhu (2016). Обучение робота с помощью пространственного, временного и причинного и/или графа . Международная конференция IEEE по робототехнике и автоматизации (ICRA) 2016 года. IEEE. doi :10.1109/icra.2016.7487364.