Наступна >

ІНТЕЛЕКТУАЛЬНІ СИСТЕМИ ВВЕДЕННЯ В ТЕОРІЮ ШТУЧНОГО ІНТЕЛЕКТУ Про поняття «штучний інтелект» НАПРЯМИ ДОСЛІДЖЕНЬ В ШТУЧНОМУ ІНТЕЛЕКТІ ПРЕДМЕТ І МЕТОД ШТУЧНОГО ІНТЕЛЕКТУ ОСНОВНІ ЗАВДАННЯ ШТУЧНОГО ІНТЕЛЕКТУ ТЕОРЕТИЧНІ ОСНОВИ ШТУЧНОГО ІНТЕЛЕКТУ ОСНОВНІ ПОНЯТТЯ ШТУЧНОГО ІНТЕЛЕКТУ ПРО КОМП'ЮТЕРИ П'ЯТОГО ПОКОЛІННЯ ПОДАННЯ ЗАВДАНЬ НА ПРИРОДНІЙ І ФОРМАЛІЗОВАНІЙ МОВАХ Що таке «уявлення завдання» СПОСОБИ І ЗАСОБИ ПРЕДСТАВЛЕННЯ ЗАВДАНЬ ПЕРШИЙ СПОСІБ ФОРМАЛІЗАЦІЇ ЗАДАЧ ДРУГИЙ СПОСІБ ФОРМАЛІЗАЦІЇ ЗАДАЧ ГРАФІЧНЕ ПРЕДСТАВЛЕННЯ ПРОСТОРУ СТАНІВ ГРАФІЧНЕ ПРЕДСТАВЛЕННЯ ПРОСТОРУ ПОДЗАДАЧ ЗАГАЛЬНИЙ ПІДХІД ДО ВИРІШЕННЯ ЗАВДАННЯ СТРАТЕГІЇ ТА ПРОЦЕДУРИ ВИРІШЕННЯ ЗАВДАННЯ СТРАТЕГІЇ ВИРІШЕННЯ ЗАВДАНЬ Формалізоване представлення задачі СТРАТЕГІЯ ПОШУКУ В ГЛИБИНУ СТРАТЕГІЯ ПОШУКУ В ШИРИНУ ЕВРИСТИЧНИЙ ПОШУК АЛГОРИТМ / 4 * ПРИКЛАД ЗАСТОСУВАННЯ АЛГОРИТМУ А * ПОРІВНЯННЯ ВАРІАНТІВ АЛГОРИТМУ Л * АЛГОРИТМ ПРОГРАМИ GPS ПРИКЛАД ВИКОРИСТАННЯ АЛГОРИТМУ ПРОГРАМИ GPS ФОРМАЛЬНІ СИСТЕМИ Загальне уявлення про формальну системі АКСІОМАТИЧНИЙ МЕТОД В ГЕОМЕТРІЇ ВИЗНАЧЕННЯ ТА ВЛАСТИВОСТІ ФОРМАЛЬНОЇ СИСТЕМИ ВИЗНАЧЕННЯ ПОНЯТТЯ МОДЕЛІ ВЛАСТИВОСТІ ФОРМАЛЬНИХ ТЕОРІЙ. ПОНЯТТЯ МЕТАТЕОРІЇ ПОНЯТТЯ АЛГОРИТМУ ТА МОЖЛИВОСТІ РОЗВ'ЯЗАННЯ ТЕОРІЇІнтуїтивне визначення алгоритму. ДОКАЗОВОЮ І ІСТИННІСТЬ ПРИКЛАДИ ФОРМАЛЬНИХ СИСТЕМ Обчислення висловлювань Визначення обчислення висловлювань КОН'ЮНКТИВНА І ДІЗ'ЮНКТІВНАЯ НОРМАЛЬНІ ФОРМИ АЛГОРИТМ ПЕРЕТВОРЕННЯ ФОРМУЛИ В КНФ І ДНФ ІНТЕРПРЕТАЦІЯ ЛОГІКИ ВИСЛОВЛЮВАНЬ ОБЧИСЛЕННЯ ПРЕДИКАТІВ ПЕРШОГО ПОРЯДКУ Визначення логіки предикатів ОПИС АЛФАВІТУ ЛОГІКИ ПРЕДИКАТІВ СИНТАКСИС ЛОГІКИ ПРЕДИКАТІВ СЕМАНТИКА ЛОГІКИ ПРЕДИКАТІВ ФОРМАЛЬНА АРИФМЕТИКА ПРОДУКЦІЙНІ СИСТЕМИБІБЛІОГРАФІЧНИЙ СПИСОКРЕКОМЕНДОВАНА ЛІТЕРАТУРА

 

Наступна >