загрузка...
загрузка...
На головну

Псевдофізіческіе логіки

Дивіться також:
  1. III. Равносильности, що виражають основні закони алгебри логіки.
  2. V. Основні поняття алгебри логіки
  3. алгебра логіки
  4. Алгебра логіки. Логічні основи комп'ютерів
  5. Найважливіші равносильности алгебри логіки.
  6. Питання 3 Елементи інтегральної инжекционной логіки
  7. Здійснимість формули алгебри логіки
  8. Гнучкі автоматизовані виробництва в хімічній технології. Використання нечіткої логіки при їх управлінні
  9. Подвійні аксіоми і теореми алгебри логіки.
  10. Єдність діалектики, логіки і теорії пізнання
  11. Закони алгебри логіки
  12. Закони алгебри логіки

Тут фізична модель предметної області переноситься на мову логіки (мова ЕОМ). При певних стратегіях управління система продукцій перетворюється в дедуктивну логічну систему. Широкий клас таких систем називається псевдофізіческімі логиками (ПФЛ). В їх аксіомах і правилах виведення використовуються не тільки реальні фізичні властивості навколишнього світу, а й особливості його сприйняття людиною.

види:

· Тимчасових логік,

· Статичної просторової логіки,

· Фрагменти логіки дій

· Каузальної логіки (рис. 3.2).

ПФЛ має низку особливостей:

2. Частина міркувань в ПФЛ пов'язана зі шкалами:

· метричними

i. абсолютними (заданий деякий масштаб і обрана точка відліку)

ii. відносними (вказується лише відстань між точками, а початок відліку може «плавати»)

· Топологічними (топологічна шкала являє собою порядкову шкалу. На ній вказуються відносини порядку (суворого, несуворого, розмитого) між впорядковує)

3. ПФЛ містять в якості аксіом-твердження, що випливають зі сприйняття світу людиною, які підтверджуються результатами відповідних психологічних експериментів.

4. Сукупність ПФЛ характеризується зв'язками між окремими частинами - логіками (наприклад, логіка часу тісно пов'язана з логіками простору і дій).

Кожна ПФЛ є системою, що включає модель предметної області у вигляді понять і відносин, що існують в ній, і модель виведення. Перша модель задає формальну мову опису знань (ситуацій), друга дозволяє отримувати поповнення цих знань (рис. 3.3.).

Поповнення знань на основі сценаріїв

Поповнення знань можна виконати за допомогою сценаріїв. Перелічимо основні схеми міркувань на сценаріях, які використовуються при виведенні. Частина схем є інтерпретацією значень слотів сценарію (СЦ).

З опису проблемної області вибирається сценарій, значення слота «мета» якого відповідає поставленій меті.

Аналізуються значення всіх слотів зазначеного сценарію і будується послідовність П |, що є значенням слотів «посилки» і «ключ» з їх специфікаціями. Виконується послідовне звернення до сценаріїв, зазначеним в Щ

Взаємодія бази знань з зовнішнім середовищем

При поповненні БЗ потрібне спілкування з зовнішнім середовищем, як одним із джерел знань. Сама по собі БЗ - це набір виявлених закономірностей, представлених за допомогою однієї з розглянутих раніше моделей знань.

До зовнішньої по відношенню до неї середовищі відносяться джерела знань Z, фактів X і керуючих впливі Ub U2, і3, а також рецептори виведеного знання Y. Графічно відносини між цими змінними представлені на рис. 3.4.


 Аналітично ці відносини записуються наступним чином.

U1 - управління на базу знань

U2 - управління на джерело знань

U3 - управління на джерело знань

Щодо наведених змінних і залежностей бази знань можна класифікувати наступним чином:

· З фіксованим і змінним безліччю фактів X;

· З фіксованим і поповнюється знанням Z;

· З фіксованою і реструктурируемой закономірністю R.

В окремому випадку фіксоване безліч фактів X може бути порожнім: X = 0, При цьому БЗ виконує роль генератора варіантів предметного знання, подібно генератору сигналів. Інформаційні системи, ядром яких є генератор варіантів предметного знання, а призначенням - породження довідкових даних у вузькій ПО, називають інтелектуальними довідниками [58].

Модель виведення генератором варіантів знання

Описується формальної системою F = = <Т, Р, А, В>
 Її символи інтерпретуються відповідно як безлічі базових елементів, синтаксичних правил, аксіом і правил виведення (семантичних правил).
Т - безліч базових елементів, Т. Е. Алфавіт ПО (логічний, словниковий, предметний і т. Д.). Належність елемента х алфавітом Т встановлюється за кінцеве число кроків за допомогою процедури П (Т).
Р - синтаксичні правила, Які задають обмеження на побудову синтаксично правильних сукупностей - ланцюжків символів (формул, слів і речень мови). Синтаксична правильність: ланцюжків повинна встановлюватися за кінцеве число кроків за допомогою процедури П (Р).
 А - аксіоми, які представляють собою підмножина синтаксично правильних сукупностей (формул), загальнозначущих в ПО. Для перевірки общезначимости повинна існувати кінцева процедура П (А). В якості такої використовується побудова таблиць істинності для відповідної формули.
 В - безліч правил виведення, які породжують нові семантично правильні сукупності, до яких також застосовні правила виведення. Таким чином, формується безліч виведених у формальній системі сукупностей.
 наприклад:

Т - безліч букв російського алфавіту

Р - правила поєднання цих букв ( «ши»)

А - елементи множини - приставка, корінь і т. Д.

В - приєднання і підстановка - правила висновки.
 Формальна система несуперечлива, якщо в ній не знайдеться такої формули, що і вона сама, і її заперечення виведені;

Стратегії отримання знань. Придбання знань. Методи роботи зі знаннями. «-- попередня | наступна --» Методи логічного висновку поповнення знань
загрузка...
© om.net.ua