- •В.М.Лачинов а.О.Поляков
- •Інформодинаміка
- •Шлях до Світу відкритих систем
- •Анотація
- •Авторська передмова до другого видання. Від «не термодинамічної» кібернетики до інформодинаміки
- •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
- •Література
2.3. Подання знань і робота з ним
Знання – структуроутворююче поняття нескінченний процес зміни зв’язків даних.
Проблеми подання знань і роботу з ними зазвичай відносять до галузі інформаційних чи інтелектуальних технологій, виходячи з математико-програмістського підходу до постановки цього питання. Ми ж пропонуємо “природніший” розгляд проблеми подання з позиції відкритих систем і знань, та інтелекту як процесу.
Почнемо з того, що поняття інформаційної технології корисно задавати як сукупність практичних методів, що використовують інформаційні закони і процеси. Іншими словами, вся організація роботи з інформацією зазвичай відноситься до групи “інформаційних технологій {46. Фактична невизначеність інформаційної науки, її “кількісна” спрямованість за К. Шенноном спричиняє за собою можливість віднесення до інформаційної технології взагалі всіх проблем інформатики. Ми не піднімаємо це питання тут детальніше просто тому, що після переходу від інформатики до інформодинаміки ця проблема отримує свій природний розв’язок.}”.
Достатньо зрозуміло, що вибір тієї чи іншої технології роботи з інформацією зумовлює не тільки граничні можливості створюваної системи, що управляє, але і систему поглядів на здатності цієї системи, зокрема, вироблення поняття того, що ми в практичному сенсі повинні розуміти під активністю суб’єкта і інтелектуальністю системи, навіть якщо конкретний розробник і не користується поняттям суб’єкт – дія, що управляє, – об’єкт (СУО).
Введемо декілька необхідних нам термінів, що відносяться до “інтелектуальної підмножини” інформаційної технології, причому так, щоб із цих визначень виходила можливість безпосередньої інженерної реалізації практичних систем, тобто використаємо термінологію предметну, таку, що визначає обсяг поняття, а не зсуває проблему значення до визначальних термінів, як це зазвичай робиться.
Визначимо, що дані включають в себе (складаються з) опису об’єктів, їх оточення, явищ, фактів. Це структуроутворююче поняття, нескінченна множина реалізації записів на будь-якій мові, доступній для нашого сприйняття і інтерпретації як цілісних утворень.
Знання, в загальному випадку, є змінною в часі і контексті сукупністю іменованих відношень між даними. Це структуроутворююче поняття, нескінченний процес зміни зв’язків даних.
Спілкування на рівні знань повинно зумовлювати можливість рівнозрозумілого (сприйманого в одному контексті) двом і більше системам використання взаємозв’язаної інформації на мові, здатній нести і передавати дані і знань про предметну галузь.
Відповідно, наочною чи проблемною галуззю ми називатимемо сукупність даних і знань, що представляється достатнім для інформаційного (заданого на контекстно-залежній мові) забезпечення рішення деякої задачі чи сукупності завдань інтелектуальної системи.
Складність поняття знань, завжди виразиме на деякій мові відношень, полягає в множинності можливостей його реалізації і нерозривності з поняттям дані, в безперервному процесі його зміни, врахування якого забезпечує реалізацію контекстного зв’язку даних.
Можна виділити декілька рівнів подання знань в його зв’язку з даними:
Рівень інтелектуальної системи - знань і дані існують у формі мовної моделі предметної галузі (моделі, в багатьох, якщо не у всіх випадках нерозрізнимої від самої предметної галузі, що існує як мовний опис) і як опис складових цієї системи на рівні контекстно-залежної мови;
Рівень інформаційної системи - знання і дані існують у формі мовної моделі (саме моделі, яка виділяє з реальної системи дещо, що визнається “істотним”) на основі використання контекстно-незалежних мов;
Рівень математичної моделі - дані, формалізовані на рівні мови формул і передавальних функцій, містять у собі знань як формалізовані правила і апарат продукування висновків;
Рівень фактографічної моделі – текстові записи з фіксованою на рівні мови їх подання системою відношень між ними (наприклад, табличний запис).
Наведений список характеризує різні рівні роботи з інформацією, виділяє якісно різні групи інформаційних технологій, особливо підкреслюючи можливості роботи із знаннями на рівні контекстно-залежного опису предметної галузі, тобто на рівні семантики і контекстної залежності трактування кожної інформаційної посилки.
Як буде видно з подальшого, між першим і подальшими рівнями подання знань проходить стіна, що відокремлює інтелектуальні системи від не інтелектуальних, а саме поняття знань не є винятковою приналежністю інтелектуальних систем і кардинально змінюється на кожному рівні його подання.
На першому рівні воно пов’язане з виразом контекстно-залежних відношень між даними. Тут знань визначається поточною структурою зв’язків між даними в деякій інформаційній базі, яка змінюється після кожного акту спілкування, після обробки кожного вхідного повідомлення на контекстно-залежній мові.
Це вища інженерна форма подання знань, що допускає для збереження семантики інтерпретації даних як актуалізацію цих даних і можливих типів відношень між ними, так і актуалізацію самої структури їх зв’язків. Отже, йдеться тут про повноцінну організацію процесу СУО.
На другому рівні знань розуміється лише як процедура єдино можливої змістовної інтерпретації зв’язків даних. Відношення між даними практично незмінні і визначені початковою структурою бази даних. Знань, як це і слід припускати для не інтелектуального рівня, визначуваного використанням алгоритмічної мови, збіднене стабільністю зв’язків між даними.
Можна сказати, що це рівень фіксованого знань, знань, яке ми розуміємо як довідкові відомості з можливістю актуалізації даних, але не зв’язків між ними (якщо, звичайно, ці зв’язки не виведені на рівень даних {47. Але і в цьому випадку ми все одно отримуємо інформаційну систему з додатковим набором фактів і нічого більше.}). Інформаційна система такого роду гранично наближається до “половинки” інтелектуальної системи, одностороннього процесу СУО.
На третьому рівні йдеться про використання різного роду математичних виразів, що економно описують дані і їх зв’язки. В межах цієї мови знаходяться і інтерпретуються зв’язки між даними, тобто “просторова” контекстно-незалежна мова тут по можливості замінюється функціональною мовою математики. Все інше тут аналогічне другому рівню, окрім, мабуть, ще більшої жорсткості взаємозв’язків і неможливості, в загальному випадку, організації навіть одностороннього процесу СУО.
Четвертий рівень фактично відповідає гранично збідненому другому рівню і розглядається тут тільки у зв’язку з необхідністю забезпечення порівняльного аналізу з іншими підходами до визначення поняття знань. Це пов’язане з тим, що фактографічні дані, як записи, із збідненою структурою їх зв’язків часто виділяються в окрему групу.
Зазвичай в літературі вказується, що основні дослідження і розробки, які ведуться в галузі технології інтелектуальних систем, “охоплюють всі рівні роботи з даними”, при цьому розглядаються “особливості знань, які відрізняють їх від даних”.
Правильний підхід тут один: по-перше, всі рівні роботи з даними, окрім першого, не є інтелектуальним завданням, а по-друге, дані не існують без відношень між ними (того чи іншого варіанту впорядкування, що змінюється в ту чи іншу сторону у міру отримання нових інформаційних посилок) і відповідно, не відрізняються, а нерозділимі із знаннями і поточним контекстом інтерпретації.
Це можна висловити стисло: коли знання перестає бути процесом, а контекст наперед обумовлений – інтелект зникає.
Відзначимо сферу предметних галузей, де найдоцільніше працювати з даними і знаннями, поданими мовними моделями. Це галузі з переважанням емпіричного знань, де складність фактів і їх описів виключає використання мови математики - так звані описові науки, які, загалом, і стали такими, бо вивчають те, що не може бути адекватно описане мовою математики – відкриті системи в їх природному оточенні, системи, спостережувані на рівні апарату лінгвістики {48. Як буде видно з подальшого, саме такий підхід дозволяє добиватися найбільшого ступеня адекватності опису тієї чи іншої системи, особливо при введенні поняття зміни формально-логічних властивостей лінгвістичного апарату під дією вхідних інформаційних потоків.}.
Сказане вище означає, що сукупність знання–дані в завданнях управління подається деякою семіотичною системою {49. Взагалі кажучи, під семіотикою розуміється наука про знаки і знакові системи, а також про мови, як знакові системи, причому загальний підхід до мовних знакових систем, що включає не тільки традиційне поняття мови, але і мови запахів, свисту, абстрактного живопису і тому подібне, вимагає ще свого теоретичного обґрунтування. Мовою може бути все, що забезпечує виникнення і існування комунікативної функції для своїх користувачів. Як відзначив Б. Парамонів: “Ми живемо не в об’єктивній реальності, а в знакових системах”.}. Розглянемо це питання в ключі, що цікавить нас.
У семіотичній системі зазвичай виділяють три аспекти: синтаксичний, семантичний і прагматичний. Такого роду розділення цікавить нас із наступної причини. Відповідно до перерахованих трьох аспектів семіотичних систем необхідно виділити три типи знань, як три типи відношень між даними: синтаксичні, семантичні і прагматичні.
Знання синтаксичного типу характеризує синтаксичну структуру потоку інформації, яка не залежить від сенсу і змісту використовуваних при цьому понять, тобто інтелектуальну систему не утворює.
Семантичне знання розглядається як структура, утворююча поточний контекст. Воно містить інформацію, безпосередньо пов’язану з поточними значеннями і сенсом описуваних понять і зумовлює стан зв’язків даних в інформаційній базі.
Прагматичне знання зумовлює найбільш вірогідні зв’язки, що описують дані з погляду вирішуваної задачі (узагальнений чи “об’єктивний” контекст), наприклад, із урахуванням специфічних критеріїв і угод, що діють у даному завданні.
Поняття об’єктивності відповідає трактуванню прагматики, прагматичного аспекту створення інтелектуальної системи, як спрямованого обмеження її “свободи волі”, обмеження непотрібних зв’язків і “фантазії зв’язків за контекстом” для системи, від якої ми не чекаємо надлишку інтелектуальності. Для порівняння пригадаємо, що ми маємо на увазі, коли даємо людині характеристику “прагматик”.
З інженерної точки зору, синтаксична, семантична і прагматична сторони знань є різними зв’язками одного чи групи термінів (даних) з іншими записами в інформаційній базі.
Зі сказаного зрозуміло, що найбільш загальна проблема побудови системи управління семантичного чи семантико-прагматичного рівня взаємодії, пов’язана з вибором технології контекстно-залежного подання знань, побудовою інформаційних баз (даних і знань) про предметну галузь і механізму висновку для отримання необхідних рішень.
Логіка цього механізму може мінятися залежно від контекстів взаємозв’язків знаків (їх прагматики), що є однією з найважливіших причин початкової організації всіх практичних робіт тільки на проблемно-орієнтованій підмножині контекстно-залежної мови, тобто там, де ми сподіваємося на деяку постійність контексту {50. Ця умова є корисною тільки в сенсі забезпечення деякої початкової простоти побудов. Але, на відміну від “чистих формально-логічних систем”, умова постійності контексту не є для нас обов’язковою. Всі наші побудови орієнтовані, кінець кінцем, саме на мінливість поточного контексту, без чого ми не маємо права говорити про інтелектуальні системи.}.