2.4.Исходные тексты базы знаний прототипа интеллектуальной системы

Примеры статей на SCg

Рисунок 2.1- Ассоциативное исчисление или система Туэ

Рисунок 2.2 - Теормема Геделя(Вторая) Рисунок 2.3 - Дизъюнкт

Рисунок 2.4 - Логическая функция

Рисунок 2.5 – Отношение нестрогого порядка

Рисунок 2.6 – Опр(Ассоциативное исчисление или система Туэ)

Рисунок 2.7 – Опр.(Дизъюнкт)

Рисунок 2.8 – Опр(Система подстановок или полусистема Туэ)

Рисунок 2.9 - Эквивалентное соотношение

Рисунок 2.10 – Чистое исчисление предикатов

Рисунок 2.11 – Хорновский дизъюнкт

Рисунок 2.12 - Опр.(Теорема Геделя(Первая))

Рисунок 2.13 Опр.(Теорема Геделя(Вторая))

Рисунок 2.14 – Опр.(Теорема Поста о нормальной форме) Рисунок 2.15 - Опр.(формально-непротиворечивая теория) Рисунок 2.16 – Опр.(Отношение строгого порядка)

Рисунок 2.17 – Теорема Геделя (Первая) Рисунок 2.18 – Система подстановок или полусистема Туэ Рисунок 2.19 – Тождественно истинное высказывание Рисунок 2.20 – Формально непротиворечивая теория

Рисунок 2.21 – Опр.(Хорновский Дизъюнкт)

Рисунок 2.22 – Семантика исчисления

Рисунок 2.23 – Синтаксис исчисления

Рисунок 2.24 – Субъект

Рисунок 2.25 – Теорема Поста о нормальной форме

Для примера приведём несколько статей на SCn:

• Содержание

  • Пояснительная записка
  • Содержание
  • 2.1. Задачно-ориентированная спецификация базы знаний проектируемой интеллектуальной системы 21
  • Технико-экономическое обоснование проектируемой интеллектуальной системы
  • 2. База знаний проектируемой нтеллектуальной системы
  • 2.1. Задачно-ориентированная спецификация базы знаний проектируемой интеллектуальной системы
  • 2.1.1. Тестовый сборник вопросов
  • 2.2.Онтология базы знаний проектируемой интеллектуальной системы
  • 2.3.Содержательная декомпозиция базы знаний проектируемой интеллектуальной системы
  • 2.4.Исходные тексты базы знаний прототипа интеллектуальной системы
  • Модус Darii
  • Заключение
  • Библиографическийуказатель