Сетевой логический вывод
.pdf3. СЕТЕВОЙ ЛОГИЧЕСКИЙ ВЫВОД
S10 A2, S 9 |
|
|
|
|
F |
|
F |
|
|
|
|
E |
|
|
|
|
|
||
|
F |
Y |
F |
|
|
||
|
F |
|
X |
|
|
|
|
E |
|
|
|
Y |
F |
|
|
X |
|
|
|
Рис. 3.14. Пример вывода сетевой резолюцией по равенству (продолжение 5).
FLOGOL: ЯЗЫК И СИСТЕМА ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 41
3. СЕТЕВОЙ ЛОГИЧЕСКИЙ ВЫВОД
ЛИТЕРАТУРА
1.Кутепов В.П., Фальк В.Н. Теория направленных отношений и логика // Изв. РАН. Теория и системы управления, 2000. №5.
2.Фальк В.Н. Теория направленных отношений и ее приложения // Автореф. дисс. … докт. техн. наук. -М: МЭИ. -2001.-40 с.
FLOGOL: ЯЗЫК И СИСТЕМА ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 42
3. СЕТЕВОЙ ЛОГИЧЕСКИЙ ВЫВОД
|
ОГЛАВЛЕНИЕ |
|
3. СЕТЕВОЙ ЛОГИЧЕСКИЙ ВЫВОД ..................................................... |
1 |
|
3.1. |
Введение. .............................................................................................. |
1 |
3.2. Язык исчисления предикатов первого порядка с равенством. ... |
2 |
|
3.3. Приведение формул языка исчисления предикатов первого |
|
|
порядка с равенством к канонической форме. ....................................... |
5 |
|
3.4. Трансляция схем направленных отношений в логический язык |
||
первого порядка. ......................................................................................... |
8 |
|
3.5. Представление логических формул схемами направленных |
|
|
отношений. ................................................................................................. |
11 |
|
3.6. Представление логических формул в исчислении сильного |
|
|
включения схем направленных отношений. ........................................ |
13 |
|
3.7. |
Метод сетевой резолюции. ............................................................... |
17 |
3.8. |
Пример. ............................................................................................... |
27 |
3.9. Сетевая резолюция в логике первого порядка с равенством..... |
31 |
|
3.10. |
Пример. ............................................................................................ |
34 |
ЛИТЕРАТУРА .............................................................................................. |
42 |
FLOGOL: ЯЗЫК И СИСТЕМА ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 43