Мир Вампира
Definition
Мир Вампира — это сеточная среда, описанная в учебнике по ИИ Рассела и Норвига. Агент …
Logic
Terms tagged with Logic
Символический искусственный интеллект
Definition
Символический искусственный интеллект, часто называемый GOFAI (Good Old-Fashioned AI — …
Статистическое реляционное обучение
Definition
Статистическое реляционное обучение (SRL) сочетает теорию вероятностей со структурами …
Логика STIT
Definition
STIT расшифровывается как ‘See To It That’ (Делать так, чтобы). Это раздел …
Модель рассуждений
Definition
В отличие от стандартных генеративных моделей, ориентированных на беглость речи, модели …
Решение задач
Definition
В искусственном интеллекте решение задач относится к систематическому подходу к переходу …
Рекомендательная система на основе знаний
Definition
В отличие от коллаборативной фильтрации, опирающейся на прошлое поведение пользователей, …
Компиляция знаний
Definition
Компиляция знаний относится к техникам в области искусственного интеллекта, которые …
Индуктивная вероятность
Definition
Индуктивная вероятность количественно оценивает истинность гипотезы при наличии …
Теорема разделения Габбая
Definition
Теорема разделения Габбая является фундаментальным понятием в математической логике, …
GOLOG
Definition
GOLOG — это язык программирования на основе логики, используемый преимущественно в …
Эпистемическая модальная логика
Definition
Эпистемическая модальная логика расширяет классическую логику операторами, обозначающими …
Динамическая эпистемическая логика
Definition
Динамическая эпистемическая логика (DEL) расширяет модальную логику для моделирования …
Атрибутивный исчисление
Definition
Атрибутивное исчисление — это раздел модальной логики, сосредоточенный на рассуждениях о …
Фреймворк аргументации
Definition
Фреймворки аргументации обеспечивают математическую основу для представления аргументов, …
Агентивная логика
Definition
Она расширяет традиционную логику, учитывая агентность, позволяя системам представлять …
Reasoning
Definition
В ИИ рассуждение включает алгоритмы, имитирующие логический вывод, индукцию или абдукцию …
Планирование
Definition
Планирование в ИИ включает определение последовательности действий, которые приведут от …
многошаговый
Definition
Многошаговые методы включают разбиение сложного запроса или задачи на меньшие, …
первого порядка
Definition
В искусственном интеллекте и математике термин «первого порядка» обычно описывает системы …
Не похоже (оператор NOT LIKE)
Definition
В запросах к базам данных и логике термин «Не похоже» обычно относится к оператору NOT …
Заданное (условие)
Definition
В контекстах ИИ и информатики «заданное» (given) относится к начальному состоянию, набору …
Принятие решений
Definition
Принятие решений в ИИ включает выбор оптимального действия из множества возможных на …