- •В.М.Лачинов а.О.Поляков
- •Інформодинаміка
- •Шлях до Світу відкритих систем
- •Анотація
- •Авторська передмова до другого видання. Від «не термодинамічної» кібернетики до інформодинаміки
- •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
- •Література
5.5. Інформаційна стійкість
Вказані вище умови не містять вказівок, яким чином здійснити їх практично при розробці системи і, тим більше, при розробці процедур самовдосконалення системи. Зрозуміло лише, що якщо складність формальної конструкції виявляється нижчою за нижню межу - ми отримуємо скінчений автомат, якщо вище верхньої - конструкцію, діагностика якої вимагає перебору всіх її станів, тобто створення звичайно-автоматної моделі, свідомо занадто великої, щоб її можна було реалізувати.
Дуже цікавим з практичної точки зору було б визначення деяких чисельних, таких, що нехай навіть мають непрямий характер критеріїв і оцінок складності, придатних для використання в розробці мов для систем класу, що цікавить нас.
Розглянемо процеси, що відбуваються в деякій системі високого рівня. Зокрема, дослідимо акт звернення до системи і акт поповнення інформаційної бази.
Акт звернення до системи. Нехай система має в своєму розпорядженні деяку інформацію, що змістовно є деяким числом М об’єктів (описів), зв’язаних N зв’язками і що посідають деяку кількість біт пам’яті. Запит полягає у вказівці групи (зазвичай одної) з об’єктів із вимогою пошуку і видачі m об’єктів і n зв’язків, при цьому відповіддю є m1 об’єктів і n1 зв’язків із похибкою івідповідно. Наступним кроком може бути уточнення запиту, що призводить до видачіm2 об’єктів і n2 зв’язків із помилкою іі так далі, до деякого задовольняючого користувача значення. Взагалі кажучи, правильно діюча система повинна при деякому значенні досягти деякої максимальної точності і при подальших спробах уточнення запиту залишатися в межах деякої допустимої девіації, що еквівалентно виходу системи на гомеокінетичне плато.
Інтуїтивно зрозуміло (практикам знайома ситуація), що у разі надмірно великого числа зв’язків між об’єктами уточнення запиту може призводити до видачі як відповідь все більш широкого класу об’єктів, що не мають відношення до запиту, тобто до збільшення .
В період введення в стрій вже перших крупних інформаційно-довідкових систем розробники зіткнулися із наступним явищем. У міру накопичення інформаційного банку на початку випадково, а потім регулярно стала повторюватися одна і та ж ситуація. Користувач, прагнучи отримати якомога точнішу відповідь, збільшував число додаткових (уточнюючих) запитів, але, починаючи з деякої їх кількості I, замість зменшення отримував все більше число об’єктів, тобтозбільшувалися (інколи монотонно, частіше цей процес був квазіперіодичним відI). Вихід із становища був знайдений досить швидко: за з’ясованими емпірично чисельними критеріями було обмежене число взаємозв’язків між елементами бази даних і вказане явище до деякої міри перестало турбувати користувачів і розробників.
Досить часто вказане обмеження на число взаємозв’язків (точніше кажучи, система обмежень) інтерпретується як емпірична оцінка деякої об’єктивної “функції цінності інформації”. Така точка зору широко поширена як у вітчизняній, так і зарубіжній літературі. Відзначимо, що її не можна плутати з іншим відомим і настільки ж методологічно невірним твердженням про виникнення інформації лише в наборі “чоловік - контекст – дані”. Останнє твердження не може бути прийняте, бо воно зводить інформацію до суб’єктивного існування замість того, щоб розглядати суб’єктивність оцінки інформації.
Прикладна теорія ІСУ виходить з наступних посилань:
ніякої “об’єктивної оцінки істинності”, “функції цінності” тощо. не існує, локальність оцінки інформації показана вже при розборі ієрархії підсистем. Можна сказати, що “цінність” інформації (а не сама інформація) завжди існує лише в даному контексті і є локальним породженням взаємодії трійки “користувач-задача-вміст бази”;
існування “оцінки істинності” чи “цінності інформації” у вигляді деякого скінченого набору ефективно обчислюваних функцій означало б, що ми побудували деяку квазімонотонну шкалу цінності “ВСЬОГО”, і тоді використаний набір оцінюючих процедур годився б апріорі для будь-якої системи, будь-якої задачі, будь-якого користувача;
явище “інформаційної нестійкості” бази є єдиним що об’єктивно існує і доступним спостереженню і вимірюванню фактом, придатним для побудови загальних оцінок складності структури інформаційної бази. Оскільки смисловій оцінці відповіді завжди передує її отримання, тобто взаємодія зі системою, а їй, у свою чергу, передує заповнення бази, критерії завжди необхідно виявляються апріорними.
Побудуємо демонстраційну модель динаміки інформаційної структури системи. Зробимо наступні припущення:
деякий засіб, маючи перед собою задачу (контекст) і відповідь системи, здатний абсолютно точно і швидко сформулювати свої побажання, тобто його моделлю є формальний компаратор;
механізм обробки запитів не пропускає неприпустимих запитів і не втрачає корисної інформації. У такому разі його моделлю може служити ідеальний інтегратор;
механізми доступу до інформації реалізовані коректно, тобто не втрачають інформації, і, таким чином, можуть бути змодельовані аперіодичною ланкою;
“функція розстановки”, тобто залежність виходу (відповіді) від входу (суми запитів) представлена деякою шматково-гладкою залежністю y = f(x), лежачою між прямими y=kminx, y=kmaxx.
Тоді демонстраційна модель прийме вид, показаний на рис.5.1:
При малих сигналах (еквівалент “локальних” запитів) система може бути представлена рівняннями ; y=f(x).
Аналогом коефіцієнта передачі нелінійної ланки в нашому випадку є , тобто число зв’язків даногоi-го об’єкта, де - номер аспекту, за яким проводиться пошук.
Зрозуміло, така інтерпретація моделі допустима лише у разі незалежності аспектів (тобто, у термінології стежачих систем, за відсутності перехресних зв’язків між контурами, що моделюють кожний з аспектів).
Якісно набутих значень kmin і kmax для системи, що має l аспектів – “координат”, можна інтерпретувати таким чином.
При кількість схожих по кожній з “координат” об’єктів занадто мала, що приведе до “стрибків” пошукового механізму по координатах з огляду на те, що докладність просто відсутня.
При навпаки, подробиць занадто багато, тобто пошуковий механізм тоне в деталях.
У точнішій постановці необхідно врахувати багато упущених тут факторів, зокрема, взаємозв’язок аспектів, неідеальність користувача як елементу порівняння, складнішу структуру механізмів обробки запитів і організації доступу до бази. Приведена тут модель має лише демонстраційний характер. Проте вже сам факт можливості створення моделі інформаційної стійкості дає нам деяке обґрунтування можливості пошуку формального інструменту для управління етапом реорганізації інформаційної бази.
Акт поповнення інформаційної бази. У цьому акті відбувається збільшення числа об’єктів і зв’язків в інформаційній базі. Проводячи поповнення, ми лише повинні стежити за стійкістю системи, причому зробити це можна автоматично на підставі прийнятої моделі і відомих алгоритмів аналізу систем автоматичного регулювання.
Постановка задачі автоматизації розміщення об’єктів в інформаційній базі як задача дослідження стійкості, очевидно, є єдино прийнятною, оскільки дозволяє уникнути залучення таких ефемерних понять, як “функція цінності інформації”, “семантична вартість” тощо.
Дійсно, апріорна інформація в кожному акті поповнення, а тим більше при проектуванні системи, “цінність” чи “корельованість” майбутньої смислової начинки просто дорівнює нулю. Звідси випливає закономірний висновок про те, що при початку робіт із проектування ми повинні мати або універсальну структуру зберігання знань, або використовувати стартовий набір інформаційних записів і стартову базу знань. Перше неможливе, друге практично нездійсненне. Звичайно, і без стартової інформації можна придумати і обчислити відповідні оцінки структур зберігання, поставити завдання їх “оптимізації”, та яка теоретична правомочність цих дій хоч би тільки з позицій тієї ж задачі стійкості?
Таким чином, задача стійкості - єдина формальна модель, застосовна в нашій ситуації. Та ця ж постановка виявляється і засобом для вирішення проблеми в цілому. Спочатку можна взагалі не замислюватися про оптимізацію зберігання записів. Хай на деякому кроці поповнення інформаційної бази порушуються критерії стійкості. Чи означає це “закриття” системи, тобто неможливість збільшення обсягу інформації, що зберігається?
Ні в якому разі ні. Розв’язання достатньо тривіальне: створення ієрархічної структури, в якій кожний новий рівень може створюватися виходячи з своїх оцінок “функції розстановки” і стійкості, причому процес принципово можна зробити автоматичним за наступною схемою.
Перш за все на підставі вже наявних апріорних відомостей ідентифікуються моделі основних компонентів, тобто користувача, механізму обробки запитів, механізму доступу тощо.
Далі при поповненні банку розв’язується задача стійкості для уточненої моделі і обмежується число зв’язків між об’єктами.
При цьому в разі досягнення верхньої межі числа зв’язків проводиться автоматична генерація наступного чи наступних рівнів ієрархії інформаційного банку, які може бути і не мають смислового відокремлення, але необхідні для забезпечення стійкості системи.
У пропонованій моделі можливі і витонченіші постановки, вже відомі в практиці створення систем регулювання, наприклад, задача максимальної швидкодії і задача максимальної чутливості.
Останні, зокрема, призводять до якісно дуже цікавого вирішення – до системи, в якій реорганізація зв’язків відбувається не лише під впливом акта поповнення інформаційної бази, але і під впливом потоку запитів. Рішення напрошується за аналогією зі системами управління, що використовують шумові компоненти вхідного сигналу для підтримки коефіцієнта посилення на межі стійкості.
Ubi rerum testimonia adsunt, quid opus est verbis?
{95. У вільному перекладі з латинської: “Коли дані говорять самі за себе, навіщо програма?”}