Логіко-обчислювальна семантична мережа як модель подання знань

Розробка моделей подання знань і методів їх обробки. Створення логіко-обчислювальної семантичної мережі. Побудова початкового стану процесу прямого логічного виводу. Методи статичної верифікації знань, поданих у логіко-обчислювальній семантичній мережі.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.