е Рязані.
Рязань північніше Тули.
Смоленськ північніше Тули.
В· Затвердження
Визначення: твердження - положення, думка, якою доводять небудь.
Синоніми: approval.
Розбиття множини: доказові, недовідне.
Приклад: Це яблуко червоне.
Відносні поняття:
В· Визначення поняття *
Визначення: визначення поняття * - відношення, що зв'язує поняття з вмістом даного поняття.
Синоніми: definition of the concept
Приклад: Трапеція - чотирикутник, у якого дві сторони паралельні, а дві інші - не паралельні.
Властивості: бінарне, асиметричне.
Схема відносини: <понятіе_, зміст понятія_> або <понятіе_, значення терміна_>.
В· Розподіл поняття *
Визначення: поділ поняття * - відношення, що зв'язує поняття з його об'ємом.
Синоніми: division of the concept.
Приклад: місяці: січень, лютий, березень і т.д.
Властивості: бінарне, асиметричне.
Схема відносини: <понятіе_, зміст понятія_>.
2.3 Змістовна декомпозиція бази знань проектованої інтелектуальної системи
База знань розроблюваної інтелектуальної довідкової системи логіці декомпозіруется наступним чином:
1.Логіка висловлювань. Логіка висловлювань - формальна теорія <# "justify"> 1.1Опісаніе основних понять правил і тверджень
2.Логіка предикатів. формальне числення <# "justify"> 2.1 Опис основних понять правил і тверджень
. SCL. Опис мови SCL.
.1 Опис ключових вузлів.
На даному етапі найкраще розроблена перша категорія. Надалі планується більше уваги приділити 2й і 3й категорії, особливо мови SCL. br/>
2.4 Вихідні тексти бази знань проектованої інтелектуальної системи
Вихідні тексти атомарних розділів бази знань інтелектуальної системи, розроблені на мові SСg.
В
Малюнок 2.1 - 1 правило ділення - константи.
В
Малюнок 2.2 - 1 правило ділення - надмножество.
В
Малюнок 2.3 - 1 правило ділення - визначення.
В
Малюнок 2.4 - 1 правило ділення - синоніми.
В
Малюнок 2.5 - абстрактне поняття - константи.
В
Малюнок 2.6 - абстрактне поняття - надмножество.
В
Ма...
