Приклад. Кожен концептуальний граф представляє одну логічну формулу

ФРЕЙМИ

Семантичні мережі

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

Структура фрейму:

{<ім'я фрейму> <ім'я слота> <значення слота> <ім'я слота> <значення слота> …}

Структура слота:

{<ім'я слота> <¦₁> < v₁ > … <¦_n> < v_n > < q ₁> < q_m > …},

де ¦_i – імена атрибутів, характерних для даного слота, v_i – значення цих атрибутів або безлічі значень, q _i – різні посилання на інші слоты.

Кожен фрейм – це готова структура, при заповненні слотов конкретними значеннями перетворюється в опис конкретного факту, події, явища або процесу. Тому розрізняють фреймы-протитипы і конретные фрейми. Фрейми-прототипи храният знання про предметну область, а конкретні фрейми поповнюють ці знання конретными даними.

{<ПОДІЯ> <ДЕ> <значення слота> <КОЛИ> <значення слота> <ЖЕРТВА> <значення слота>... <СВІДОК> <значення слота>...}

Фрейм ПРИСШЕСТВИЕ складається зі слотов.

Один зі слотов СВІДОК може мати наступну структуру:

{<СВІДОК>; <ІМ'Я> <значення слота>; <ВІК> <значення слота>; <МІСЦЕ РОБОТИ> <значення слота>; <ПОСАДА> <значення слота>; <АДРЕСА> <значення слота>; <ЩО БАЧИВ>; <ЩО ЗНАЄ>; …<МОТИВИ>}

СЦЕНАРІЇ (Script)

Сценарій представляється у виді мережі, у якій вершини відповідають фактам, а дуги – зв'язкам, що описують відносини спеціального типу. Ці відносини мають наступну властивість: якщо між вершинами x і y існує безліч шляхів w1, w2, …, wn і маються обидва факти a, b, що відповідають вершинам x і y, те те має місце сукупність фактів принаймні на одному зі шляхів, що з'єднують x і y.

Прикладами таких відносини є: причина – наслідок, частина – ціле, мета – подцель і т.п.

Сценарії у свою чергу поділяються на фрагменти або сцени (chunk). Свзи між фрагментами – тимчасові або просторові. Зв'язку усередині сцени можуть бути найрізноманітнішими.

Методи виявлення таких зв'язків можна розділити на неформальні (робота з експертом) і формальні.

ЛІТЕРАТУРА

1. Трахтенброт В.А. Алгоритми й обчислювальні автомати. М.: Світ. Сов. Радіо. 1974. 200 с.

2. Трахтенброт В.А. Алгоритми і машинне рішення задач. М.: Гос. изд. физ.-мат. літератури. 1960. 120 с.

3. Биркгоф Г. Теорія ґрат. М.: Наука, 1984.

4. Булос Дж., Джеффри Р. Вычислимость і логіка. М. Світ, 1994.

5. Вагин В. Н. Дедукція й узагальнення в системах исскуственного інтелекту. М., Наука. 1986.

6. Горбатов В. А. Основи дискретної математики. М.: Вища школа, 1986.

7. Єршов Ю.А., Палютин Е.А. Математична логіка. М.: Наука, 1979.

8. Заді Л. Поняття лінгвістичної перемінної і його застосування до прийняття проблемних рішень. М.: Світ, 1976.

9. Клини С. К. Введення в метаматематику. М.: Світ, 1957.

10. Клини С. К. Математична логіка. М.: Світ, 1973.

11. Кофман А. Введення в теорію нечітких безлічей. М.: Радіо і зв'язок, 1982.

12. Кузин Л. Т. Основи кібернетики. У 2 т. Т. 2. М.: Енергія, 1979.

13. Кузнєцов О. П., Адельсон-Вельский Г. М. Дискретна математика для інженера. М.: Енергія, 1980.

14. Кэррол Л. Історія з вузликами. М.: Світ, 1973.

15. Лаврів И. А., Максимова Л. Л. Задачі по теорії множин, математичній логіці і теорії алгоритмів. М.: Наука, 1975.

16. Мелихов А. Н., Берштейн Л. С., Коровин С. Я. Ситуаційні системи, що радять, з нечіткою логікою. - М.: Наука. Гл. ред. фіз.-мат. літ., 1990., -272 с.

17. Мендельсон Э. Введення в математичну логіку. М.: Наука, 1976.

18. Нагель Э., Ньюмен Д. Теорема Геделя. М.: Знання, 1970.

19. Поспєлов Д. А. Ситуаційне керування. Теорія і практика. М.: Наука, 1986. - 288 с.

20. Робертс Ф. С. Дискретні математичні моделі з додатками до соціальних, біологічних і екологічних задач. М.: Наука, 1986.

21. Столл Р. Безлічі, логіка, аксіоматичні теорії. М.: Освіта, 1968.

22. Таран Т. А. Основи дискретної математики. Київ: Просвіта, 1998.

23. Трахтенброт В.А. Алгоритми й обчислювальні автомати. М.: Сов. Радіо. 1974. – 200 с.

24. Фрид Э. Елементарне введення в абстрактну алгебру. М.: Світ, 1979.

25. Чень Ч., Чи Р. Математична логіка й автоматичний доказ теорем. М.: Наука, 1983.

26. Шрейдер Ю. А. Рівність, подібність, порядок. М.: Наука, 1971.

27. Гэри М., Джонсон Д. Обчислювальні машини і труднорешаемые задачі. М.: Світ, 1982.

28. Ахо А., Хопкрофт Дж., Ульман Дж. Побудова й аналіз обчислювальних алгоритмів. М.: Світ, 1978.

29. Кук С.А. Складність процедур висновку теорем. // Кібернетичний збірник, М.: Світ, 1975. Вып. 12.

30. Карпо Р.М. Зведення комбінаторних проблем. // Кібернетичний збірник, М.: Світ, 1975. Вып. 12.

[1] Композиция машин машин Тьюринга заключает в себе основную идею структурного программирования. Именно Тьюрингу принадлежит доказательство полноты этих четырех базовых алгоритмов для реализации любого, сколь угодно сложного алгоритма.

[2] Заметим, что универсальная машина Тьюринга содержит также идею создания компилятора и синтаксического анализатора.

[3] Эдип, Полиб и Лаий — герои трагедии Софокла «Царь Эдип». Эдип был не родным сыном Полиба и потому второе высказывание ложно. Родным же отцом Эдипа был Лаий, и потому первое высказывание истинно.

Дата добавления: 2014-01-07