І. Виведення за аналогією (вза)

ВАЗ – окремий випадок правдоподібного виведення, де використовується виявлення аналогій між структурами з предметної галузі (ПГ), на яких ґрунтується побудова судження і оцінки його істинності.

Нехай Q_A і Q_B – множина фактів, що характеризують об’єкти A (базис або аналог) і B (мета) відповідно, причому деякі з фактів множини Q_B невідомі. Нехай відомо про існування аналогії , де і . Тоді для деякого можна висунути гіпотезу про існування такого, що . (Тобто висувається гіпотеза про існування раніше не відомого факту в В на підставі існування аналогічного факту в А). ВЗА = перенос фактів від базису до мети.

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

	об’єкт(властивість) а входить до складу (є особистою властивістю) b.		внутрішній зв’язок і об’єкта а (зв’язок і між складовими об’єктами об’єкта а)
	а тотожньо b		зовнішній зв’язок і об’єкта а (зв’язок і об’єкта а з іншим об’єктом)
	а аналогічно b		процес перетворення а в b
	а і b пов’язані відношенням r		функція і об’єкта а

Правила встановлення аналогій:

1. Елементарні об’єкти (властивості) а і b аналогічні, якщо або існує клас об’єктів (властивостей) D такий, що і .

2. Відношення r_i і r_j аналогічні, якщо або існує клас відношень R такий, що і .

3. Зв’язки a r_i b і c r_j d аналогічні, якщо і або .

4. Процеси і аналогічні, якщо і .

Основні види аналогій:

1. Між об’єктами а і b існує атрибутивна аналогія, якщо .

2. Між об’єктами а і b існує структурна (релятивна) аналогія, якщо .

3. Між об’єктами а і b існує контекстна (зовнішня) аналогія, якщо .

4. Між об’єктами а і b існує функціональна аналогія, якщо .

(При наявності структурної аналогії завжди має місце і атрибутивна).

Ступінь аналогії (подібності) об’єктів:

де U_а – множина елементів об’єкта, що мають аналоги в об’єкті, з яким порівнюємо.

- оцінка значимості елемента і об’єкта.

Аналогічно для ситуацій.

Технології що використовують ВЗА:

1. Створення, верифікація і прогноз сформованого різними експертами текстового опису наукових напрямків, ПГ, термінологічних систем:

   1. Формування глобального структурного опису досліджуваної галузі. Виділення в його межах множини концептів для дослідження.

   2. Виділення усіх класів понять, що мають перетин контексті, автоматична верифікація і ієрархічне упорядкування системи цих класів.

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

2. Виявлення і використання різних аналогій для окремо обраного поняття з метою розширення знань про ці поняття:

   1. Виділення в описі для дослідження єдиного концепту.

   2. Виявлення для виділеного концепту всіх його аналогій з іншими поняттями з опису.

   3. Дослідження виділених аналогій, прогноз і оцінювання нових суджень, що були генеруються на основі ВЗА.