Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
July 02 2025 01:09:17   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 35720
Учимся удалять!... 32605
Примеры, синони... 23900
Просмотр готовы... 23168
Декартовы коорд... 23055
FAST (методика ... 21915
содержание - се... 21251
Просмотр готовы... 20028
Работа с инстру... 15572
Сейчас на сайте
Гостей: 1
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi
Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
«Логик-теоретик»

показывают направление преобразований. (Знак

есть по сути знак

.)
С помощью этих преобразований можно устранять различия между ? 1 и ? 2 , которые мы перечислили выше. Укажем в специальной табл. 4 классы преобразований F 1 , которые можно использовать для устранения различий. Первое различие разделено на два: различие 1 ’ требует добавления выражений в формулу, а различие 1 ’’ – вычеркивания из формулы лишних выражений.
Таблица 4
Крестики поставлены там, где можно устранить различие с помощью соответствующего преобразования.
Покажем работу программы «Логик-теоретик» на несложном примере. Пусть требуется доказать равенство ? 1 =? 2 , имеющее вид
Применим к ? 1 первое преобразование из F 7 справа налево. Выбор F 7 определяется различием ? 1 и ? 2 . Из ? 1 необходимо убрать лишнее подвыражение С , которого нет в ? 2 . После этого получим
Поскольку в ? 1 осталось еще выражение С , которого нет справа, то снова фиксируется различие 1 ’’ и ищется подходящее преобразование. Таким преобразованием является четвертое из F 7. Но для его применения надо сначала использовать преобразование F 1 для устранения различия 6. После этого, применяя четвертое преобразование из F 7, получаем
Теперь можно применить второе преобразование из F 7:
Четвертое преобразование из F 7 приводит к окончательному результату
Пример, конечно, не отражает всех особенностей работы программы «Логик-теоретик». Мы несколько упростили задачу. Как видно из таблицы различий, выбор преобразования на каждом шаге далеко не однозначен. В формулах могут существовать одновременно несколько различий, а для ликвидации различия можно использовать несколько преобразований. Всякий вывод, как бы он не был организован, носит переборный характер. И успешность того или иного выбора преобразования не может быть оценена локально, в момент выбора. Поэтому программа вынуждена перебирать варианты, заходить в тупики, проходить циклы прежде, чем она сможет найти правильный путь решения. Повышение эффективности процесса вывода – центральная проблема всех автоматизированных систем дедуктивного вывода.
Страница 3 из 3 < 1 2 3
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Принцип 1. Как мож...
Что это за система?
5.11 STAT И FSTАТ
2. Моделирование и...
8.1.3 Примеры дисп...
Стоимость эксплуат...
Функциональный пример
Правила для сущностей
Введение
Изображение атрибута
3. Выделение в орг...
Глава 9. Royaltek ...
1.2 СТРУКТУРА СИСТЕМЫ
9.2.1.2 Функция ex...
Совместная работа ...
9.1.2.2 Выгрузка с...
Теоретические осно...
5.1. Что находится...
4.12.4.1 Общие све...
9.1.3 Загрузка (по...
Глава 10. Особенно...
Глава шестая. РАС...
GPS-модуль
Постоянное обновление
На кого рассчитана...
7.4 ОЖИДАНИЕ ЗАВЕР...
ГЛАВА 3. БУФЕР СВ...
10.1.3 Программы о...
Sven 848
До 300 долларов
Пример домена
До 500 долларов
Иерархическая база...
3.5 Проект станда...
ГЛАВА 6. СТРУКТУРА...
Качество приема
2.4. Продуктивност...
9.2 ПОДКАЧКА ПО ЗА...
2.3.3.3 Импульсная...
Рассуждения по ан...
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009