- •В.М.Лачинов а.О.Поляков
- •Інформодинаміка
- •Шлях до Світу відкритих систем
- •Анотація
- •Авторська передмова до другого видання. Від «не термодинамічної» кібернетики до інформодинаміки
- •Vivorum censura difficilis Судження про живих утруднене (лат.)
- •Інтелектуальність складних систем
- •Розділ 1. Інтелектуальні системи і управління
- •1.1. Інтелектуальні системи і інтелектуальне управління
- •1.2. Від строгості математичної символіки до свободи семантики
- •Розділ 2. Основна термінологія
- •2.1. Інженерне поняття інтелекту
- •2.2. Системи і управління
- •2.3. Подання знань і робота з ним
- •2.4. Інформаційна база
- •Розділ 3. Мови і мовні моделі для управління
- •3.1. Мови природні і штучні
- •3.2. Мови управління
- •3.3. Мови контекстно – залежного управління
- •3.4. Формальна система і теорія, що формалізується
- •3.5. Моделювання і реалізація мовних об’єктів
- •3.6. Числення предикатів
- •3.7. Подання проблемної галузі на основі мови предикатів
- •За фон Берталанфі розділ 4. Складність відкритих систем
- •4.1. Необхідність загальної теорії
- •4.2. Дві загальні теорії систем
- •4.3. Ієрархія систем
- •4.4. Нова парадигма управління
- •4.5. Гомеокінетичне плато інтелектуальної системи
- •4.6. Узагальнена функціональна структура ісу
- •4.7. Мови систем і мови управління
- •4.8. Тріаграма систем
- •Інженерія інтелектуальних систем
- •Розділ 5. Реалізація контекстно-залежного управління
- •5.1. Неформальні вимоги
- •5.2. Інженерні проблеми проектування складних систем
- •5.3. Комп’ютер фон Нойманівської архітектури в системах високих рівнів складності
- •5.4. Частотна оцінка
- •5.5. Інформаційна стійкість
- •Розділ 6. Нова архітектура машин
- •6.1. Машини баз знань
- •6.2. Паралельні обчислення з управлінням від потоку даних
- •Розділ 7. Про технологію управління
- •7.1. Врахування динаміки інформаційних потоків
- •7.2. Вбудовування системи автоматизації в структуру об’єкта
- •7.3. Об’єкт в інформаційному середовищі
- •7.4. Проблема декомпозиції об’єкта як складної системи
- •Розділ 8. Інженерія систем “інтелектуальної спрямованості”
- •8.1. Три основні підходи
- •8.2. Перший підхід. Ідеологія операційної системи
- •8.3. Другий підхід. Ідеологія інструментальної системи
- •8.3.2. Ієрархії і процеси.
- •8.3.3. Концепція відкритої субд.
- •8.3.4. Реалізація розкриваності.
- •8.3.5. Уніфіковане подання об’єкта.
- •8.3.6. Інструментальна концепція – технологія qWord
- •8.3.7. Куди поділася семантика?
- •8.3.8. Проблеми баз, що саморозвиваються.
- •8.3.9. Чому “в Cache’-технології”?
- •8.4. Третій підхід. Спеціалізована виробнича операційна система
- •8.5. Самовдосконалення ісу
- •Розділ 9. Проміжні підсумки
- •9.1. Інформація і інформатика. Шлях до феноменології і інформодинаміки
- •9.2. Про реалізованість інформаційної машини відкритого Світу
- •Частина третя узгоджений світ інформодинаміки
- •Розділ 10. Аксіоми відкритого світу
- •10.1. Феномен інформації як предмет науки про відкриті системи
- •10.2. Аксіоми умовчання
- •10.3. Співвідношення невизначеності - 2
- •10.4. Гармонійні шкали
- •10.5. Обговорення гармонійних побудов
- •10.6. Самоорганізація і структурний резонанс
- •10.7. До організації експериментів із виявлення структурного резонансу
- •10.8. Про механізм структурної взаємодії
- •10.9. Від структурної взаємодії до структурного поля
- •10.10. Про аксіоми або ефективні способи обдурити самого себе
- •10.11. Ще раз про аксіоми умовчання
- •10.12. Деякі висновки
- •Розділ 11. Власна структура інформації
- •11.1. Проблеми розробки інструментарію
- •11.2. Топологія вкладених багатовимірних конусів
- •11.3. Закон рекурсії структур, метаструктур і процесів
- •11.4. До питання про елементарну комірку
- •11.5. Деякі кількісні оцінки елементної бази
- •Розділ 12. Теорія структурної узгодженості
- •12.1. Структурна взаємодія і узагальнений принцип комплементарності
- •12.2. Про правила самоорганізації відкритих систем
- •12.3. Деякі наслідки і перспективи
- •12.4. Про деструкцію систем
- •12.5. Правила тсу – похідні
- •12.6. Попереднє обговорення результатів
- •12.7. Про методологію пізнання з позицій тсу
- •12.8. Обговорення тсу
- •Розділ 13. Інформодинаміка
- •13.1. Дещо про аналогії
- •13.2. Від абстрактної машини до самоорганізації потоків
- •13.3. Деякі властивості інформаційної машини
- •13.4. Умови узгодження потоків. Резонатор динамічного структурного поля
- •13.5. Вільне інформаційне поле. Гіпотеза про дві половини Всесвіту
- •13.6. Інформодинаміка – поки без формалізму
- •13.7. Тсу як інструментарій інформодинаміки
- •13.8. Ще раз про аксіоматику
- •Частина четверта
- •Архітектура
- •Відкритих
- •Попередження: обережно, відкриті системи
- •Розділ 14. Вертикальна машина
- •14.1. Концепція вертикальної машини
- •14.2. Структура команд
- •14.3. Програмування і запуск
- •14.4. “Перед прочитанням знищити…”
- •14.5. Що з нею робити?
- •14.6. Імітація вертикальної машини в адресному середовищі
- •Розділ 15. Про фізику відкритого світу
- •15.1. Без “Великого вибуху”
- •15.2. Доповнюваність моделей. Дві половини цілого
- •15.3. Світ як єдина система
- •15.4. Модифікація перетворення Лоренца
- •15.5. Випадок “малих” об’єктів
- •15.6. Структурно-узгоджена космологія
- •15.7. Узгодження структур об’єкта і теорії
- •15.8. Замітки про реалії нової фізики
- •Експерименти в галузі інформодинаміки
- •Можливий варіант генератора поздовжніх електромагнітних хвиль
- •Реконструкція принципу дії нігнітрона
- •Проблема seti
- •Розділ 16. Відповідальність створюючого
- •16.1. Короткий самовчитель не створення тоталітарного суспільства
- •16.2. Неминучість краху і свобода повтору
- •16.3. Роль Віри
- •16.4. Ментагенез
- •16.5. Відповідальність людини
- •Додаток 1 Короткий огляд способів самодеструкції програмних систем або Загальна Демонологія
- •Додаток 2 Про “інфонауки”
- •Про Ейнштейна, релятивізм і інформацію
- •Додаток 3 Повернення до лекції XVII
- •Література
3.5. Моделювання і реалізація мовних об’єктів
Зазвичай основою логічних моделей лінгвістично заданих об’єктів є поняття формальної системи у вигляді:
M=(T, P, A, F),
де: Т - множина базових елементів; Р - множина синтаксичних правил, необхідних для побудови з Т синтаксично правильних виразів; А - множина апріорно істинних виразів; F - семантичні правила виводу.
Використання логік різного типу дозволяє створювати різні логічні моделі.
Числення предикатів {61. Для цілей забезпечення прийняття рішень, що управляють, важливе поняття двомісного предиката вигляду “суб’єкт-думка (чи відношення) -об’єкт”. Пропонуємо порівняти це з визначеннями системи і інтелекту, приведеними на початку книги.} спирається на числення висловів, розчленованих на суб’єкт і предикат. “У численні предикатів робиться подальший крок аналізу і дозволяється розглядати суб’єктно-предикативну структуру простих пропозицій і користуватися операціями композиції, залежними від цієї структури” [18].
Тут може бути побудована будь-яка формальна система, відповідна будь-якій теорії, що формалізується, і будь-яким змінам цієї теорії. Це властивість числення предикатів дає нам підставу звернути на нього найпильнішу увагу під час організації робіт із КЗ-мовами.
Мережеві моделі, в принципі, володіють тими ж властивостями, що і числення предикатів. Вони надають достатньо широкі можливості для візуального подання складних структур, що описують предметні галузі. Це досягається шляхом виділення і включення в модель у явній формі всіх відношень, утворюючих інформаційну структуру з описом їх семантики.
Аналіз основних моделей подання знань в контексті поставлених завдань показує переваги числення предикатів з логікою відношень (емпіричним визначенням формально-логічних властивостей відношень і їх зміною в часі під дією змінного контексту вхідних повідомлень), що змінюється, яка надає широкі можливості при побудові складних структур, тим паче, що формалізація знань, що описується тією чи іншою підмножиною КЗ-мови, завжди відбувається на фоні:
відсутність строгих аналітичних залежностей;
складної логіки думок;
великій ролі емпірики і наявність прихованих об’єктивних чинників;
наявність великого числа складових елементів, що характеризують галузь знань, що вивчається.
У практичному плані можливості візуалізації мережевих моделей представляються не такою вже і цінною властивістю, бо їх наочність падає вже при двох десятках вершин, а порівняння на рівні ізоморфного вкладення (тотожність) окремих ділянок мережі, що необхідне для проведення будь-яких логічних операцій, є не найпростішим завданням.
Порівняльне дослідження можливостей предикативного і мережевого підходу до організації змінних іменованих зв’язків між даними ми залишаємо читачеві. Тут мабуть знаходження нових рішень, корисних для створення інтелектуальних систем.
3.6. Числення предикатів
Quidquid latet apparebit.
{62. Приховане стане явним (лат.).}
Виклад числення предикатів у літературі зазвичай зводиться приблизно до наступного.
Логіка предикатів є розширенням логіки висловів. Тому до алфавіту логіки висловів з його знаками для пропозиційних змінних {63. Невизначені вислови, з яких в численні висловів будуються аксіоми.} (А, В, С.), для логічних зв’язок - “НЕ”; - “І”;- “АБО”;- “якщо..., то” і дужок додаються ще інші знаки, зокрема:
знаки змінних для предикатів: P, R. P1, R1;
знаки для предметних змінних: x, у, z.;
знаки для предметних констант: а, b, с...
Основним об’єктом дослідження в логіці предикатів є формула. Формули в численні предикатів визначаються таким чином:
- будь-яка формула {64. Для визначення елементарної формули попередньо, звичайно, введені поняття терма і предикативної букви.} є формула;
- якщо і - формули, а х - наочна змінна, яка входить в, то кожний з виразів
є формула;
- ніякий інший вираз не є формулою.
Формулами є, наприклад, вирази:
І так далі, математично строго і логічно бездоганно.
Але абсолютно очевидно, що інформаційна технологія побудови якої-небудь моделі лінгвістичного опису об’єкта на базі приведеного тут апарату залишиться практично незатребуваною і може застосовуватися в основному тільки в галузі робіт, пов’язаних із доведенням теорем, бо апарат не володіє наочністю інтерпретації записів. Найнеприємніше ж тут те, що інтуїтивно зрозуміла можливість створення множини формальних систем, розглянута нами вище, в такому викладі числення предикатів стає далеко не очевидною. Отже, позитивні перспективи додаток апарату числення предикатів можуть реалізуватися тільки при його (числення) переробці, що забезпечує для людини звичну і легко сприйнятну структуру записів.
На прикладі класичного варіанту викладу числення предикатів можна спостерігати характерну картину математизації заради математизації, на основі якої практично неможливо зрозуміти дійсну силу цього апарату.
Візьмемо дві книги [10] і [12].
У 1979 р. в [10] у розділі “Речення (вислови) числення предикатів” наводиться приклад надання так званого вигляду “правильно побудованої формули” форми речення. Чотири сторінки тексту ведуть нас крізь логічні перетворення з використанням кванторів існування і функції Сколема до перетворення логічної формули довжиною в повний рядок у систему з трьох формул, кожна з яких займає не більше половини рядка. У 1986 р. в [12] в розділі “Метод рішення задач, що базується на доведенні теорем” ми зустрічаємо точно ту ж саму “правильно побудовану формулу” для додання їй форми вислову, з тими ж кванторами і функцією Сколема.
Підведемо підсумки. Справа не в тому, що саме цей приклад був опублікований ще в 1973 р. і в різні роки списаний (з посиланням) з одного і того ж джерела [13]. Справа навіть і не в тому, що півтора десятки років виявилися недостатніми для формування іншого прикладу. Просто це нікому не потрібний варіант числення предикатів. Автори могли б, звичайно, написати інші приклади, але вони чудово розуміли, що і старатися не треба, бо це використовувати в реальній роботі не можна. А з математикою тут все гаразд. Ось і вчать наші студенти таке “математично правильне” числення предикатів двадцять років підряд і жодному з них, із тих же міркувань, також не приходить в голову думка написати інший приклад.
Який системний висновок можна тут зробити? Якщо за довгі роки приклад не міняється, а з математикою все в порядку, то може бути пора змінити математику? {65. Справа, звичайно, не в “поганій математиці”, а в тому, що апарат опису завдання за своєю складності починає “переважати” саме завдання. Більше того, ця описова складність починає зростати скоріше, ніж розширення обсягу корисної інформації.} Подібні ситуації зустрічаються в розпізнаванні образів, доведенні теорем, автоматизованих системах управління тощо.
Тут можна зробити висновок – числення предикатів корисне тільки для загальної побудови абстрактних теорій – і зробити страшенну помилку. Приклад приведений саме для того, щоб показати: розуміння матеріалу починається тоді, коли крізь ліс потрібних чи не дуже потрібних побудов ми можемо побачити те, що спочатку може бути і не очевидним. Для цього розглянемо числення предикатів дещо інакше. Перейдемо до його трактування в “звичайній словесній мові” і в традиційній логіці.
У природній мові людини вислів виражається у вигляді фрази, предикатом якої є присудок, що позначає дію чи стан предмету, вираженого підметом. Одномісний предикат можна подати у вигляді неповної фрази, наприклад, “турбулентність потоку”, що відповідає даному вище визначенню “властивість турбулентність належить предмету потік”. Аналогічно розглядається поняття дво- і n-місного предиката, наприклад, “елерон (є) частина крила”, “літак злетів з аеродрому”, “алюміній легший за мідь, яка легше за свинець, який легший...” тощо.
У традиційній логіці суб’єктом називається та частина думки, яка відображає предмет думки, а предикатом – та частина думки, яка відображає те, що стверджується (або заперечується) щодо предмету думки. Місце предиката у вислові і думці описують за допомогою поняття “функція”, тобто говорять, що предикат є функція (змінна величина), що змінюється у міру зміни іншої величини, яку називають аргументом.
У взаємозв’язку із зробленим вище зауваженням про необхідність наявності множини формальних систем, це визначення корисно підсилити наступним закінченням: ., і залежна від поточного контексту вислову, що визначає ту чи іншу думка щодо предмету думки.
Отже, ми можемо змінити вид подання формальної системи і записати, що основою логічних моделей (і мовних реалізацій) є поняття формальної системи у вигляді:
M = (T, P, A, F, D)
де: Т – множина базових елементів; Р – множина синтаксичних правил, необхідних для побудови з Т синтаксично правильних виразів; А – множина апріорно дійсних виразів; F – семантичні правила висновку; D – множина припустимих контекстів, що визначають поточну логіку базових угод.
Достатньо зрозуміло, що, з погляду математичної логіки числення предикатів, вказана подвійна залежність предиката (від біжучих угод за іменуванням і логічними властивостями і за інформацією, що можливо змінює логіку наявних угод) свідчить про необхідність постійного переходу від посилок однієї формальної системи до угод іншої, можливо, на кожному кроці аналізу потоку повідомлень. Відзначимо, що саме це нам і потрібне для постійного співставлення поточної формальної системи з теорією, що формалізується.
На базі такого розширення поняття судження, ми можемо розглянути ПОМ деякої довільної галузі, побудовану на основі використання предикатів. Вона складається з дескрипторного словника і синтаксису, певної структури опису, що є довільним набором елементарних висловів (простих синтагм, предикативних форм) стандартного виду ARB, де А і В - терміни, R – відношення, що відображає взаємини явищ, об’єктів чи ознак у реальній (біжучій) дійсності.
Двомісні (бінарні) відношення, що є еквівалентом простих висловів, до яких завжди може бути зведено складне, представляються як синтагматичні відношення ПОМ. Для них встановлюються формально-логічні і емпіричні властивості, визначаються операції, лежачі в основі тотожних перетворень елементарних висловів, вивчаються правильно складені прості синтагми. Опис об’єкта є сукупність синтагм, повний інформаційний масив – сукупність описів.