Page 74 - Міністерство освіти і науки України

мовах не можна описувати динаміку зміни ситуацій,
імовірнісні зв’язки понять і багато іншого.
Мережеві реляційні мови розроблені в багатьох
різновидностях. Однією із перших мов була мова
ситуаційного керування у двох основних версіях: RX
– коди і синтагматичні ланки.
Предикатні мови основані на логічних моделях
представлення знань і використовують для свого
визначення формальну систему логічного типу.
Семантика логічних мов представлення знань
задається набором правил перетворення виразів і
дозволяючою процедурою, яка дозволяє однозначно і
за кінцеву кількість кроків визначити чи є даний
вираз семантично правильним.
Перевагою ПМЗ логічного типу є наявність
процедур, які дозволяють здійснювати в цих мовах
логічний вивід, тобто отримувати формальним
шляхом одні знання з інших, але виразні можливості
логічних мов обмежені, а опис знань цими мовами
досить громіздкий через необхідність введення
великої кількості аксіом, що формалізують знання
про предметну область.
Мови традиційного програмування хоча і
обмежені в засобах представлення реальних знань,
все ж дозволяють створювати ефективні системи. В
ряді випадків вони є єдиним можливим засобом
побудови експертної системи. Це пояснюється тим,
що такі МПЗ як ЛІСП і ПРОЛОГ на ПЕОМ досить
вимогливі у використанні ресурсів (як пам’яті, так і
часу), в той час як БЕЙСИК і Паскаль підтримують
рекурсію, придатну систему вільного керування
пам’яттю, їхні версії доступні для ПЕОМ і досить
швидкодійні. Крім того вони в достатній мірі
задовольняють вимогам до МПЗ.
В Інституті автоматики і вимірювальної техніки
в м. Ціттау (Німеччина) в середовищі Турбо Паскаль
створено пакет прикладних програм DynStar [92].

74