Please enable JavaScript.

Coggle requires JavaScript to display documents.

Интеллектуальные алгоритмы и искусственный интеллект - Coggle Diagram

- - - - Квантор
      - Предикат
    - - "И"
      - "ИЛИ"
      - "НЕ"
      - "ЕСЛИ..., ТО..."
      - "...ТОГДА И ТОЛЬКО ТОГДА, КОГДА..."
    - - Конъюнкция
      - Дизъюнкция
      - Отрицание
      - Импликация
      - Эквиваленция
    - - Тождественно истинные
      - Тождественно ложные
      - Равносильные
    - - Переместительный
      - Распределительный
      - Сочетательный
      - Де Моргана
      - Идемпотентности
      - Исключения 3-го
      - Операции с константами
      - Поглощение
- - - - Классификация онтологий по степени формализации и способу предоставления знаний
        
        Словари
        
        Тезаурусы
        
        Таксономии
        
        Семантические сети
        
        Логические модели
        
        Фреймы
    - - Продукционная модель
      - Логическая модель
      - Семантическая сеть
      - Фреймовая модель
  - - - База знаний
      - Машина логического вывода
      - Конкретные факты