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

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

Свободный язык также может быть представлен функцией, отбрасывая аргумент времени. Например, ящик на столе может быть представлен как ${ displaystyle on (поле, таблица)}$ , куда ${ displaystyle on}$ это функция, а не предикат. В логике первого порядка преобразование предикатов в функции называется овеществление; по этой причине флейенты, представленные функциями, считаются овеществленными. При использовании reified fluents требуется отдельный предикат, чтобы определить, истинно ли слово fluent или нет. Например, ${ displaystyle HoldsAt (на (поле, таблица), t)}$ означает, что коробка действительно стоит на столе во время ${ displaystyle t}$ , где предикат ${ displaystyle HoldsAt}$ тот, который говорит, когда беглый язык верен. Это представление fluents используется в исчисление событий, в беглый расчет, а в особенности и свободная логика.

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

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

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

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

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

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

^ Л. Кунце, М. Э. Долха и М. Битц (2011). Логическое программирование с временной проекцией на основе моделирования для повседневного манипулирования объектами роботов. 2011 Международная конференция IEEE / RSJ по интеллектуальным роботам и системам. IEEE. Дои:10.1109 / iros.2011.6094743.
^ Якоб Сучан и Мехул Бхатт (2017). Обоснованная семантика сцены для когнитивной робототехники: к обоснованию воплощенных визуально-локомотивных взаимодействий. Международная конференция IEEE 2017 по семинарам по компьютерному зрению (ICCVW). IEEE. arXiv:1709.05293. Дои:10.1109 / iccvw.2017.93.
^ Цаймин Сюн и Нишант Шукла, Вэньлун Сюн и Сон-Чун Чжу (2016). Обучение роботов с помощью пространственного, временного и причинно-следственного и / или графического представления. Международная конференция IEEE по робототехнике и автоматизации, 2016 г. (ICRA). IEEE. Дои:10.1109 / icra.2016.7487364.

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

{ displaystyle Gamma vdash x: { text {Int}}}

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

[1] Л. Кунце, М. Э. Долха и М. Битц (2011). Логическое программирование с временной проекцией на основе моделирования для повседневного манипулирования объектами роботов. 2011 Международная конференция IEEE / RSJ по интеллектуальным роботам и системам. IEEE. Дои:10.1109 / iros.2011.6094743.

[2] Якоб Сучан и Мехул Бхатт (2017). Обоснованная семантика сцены для когнитивной робототехники: к обоснованию воплощенных визуально-локомотивных взаимодействий. Международная конференция IEEE 2017 по семинарам по компьютерному зрению (ICCVW). IEEE. arXiv:1709.05293. Дои:10.1109 / iccvw.2017.93.

[3] Цаймин Сюн и Нишант Шукла, Вэньлун Сюн и Сон-Чун Чжу (2016). Обучение роботов с помощью пространственного, временного и причинно-следственного и / или графического представления. Международная конференция IEEE по робототехнике и автоматизации, 2016 г. (ICRA). IEEE. Дои:10.1109 / icra.2016.7487364.

[1]

[2]

[3]