3.5. Требования к выполнению работы

1. Используя инструментальную систему (NeuroPro 0.25) выполнить прогнозирование результатов поставленной задачи.

2. Согласовать с преподавателем задачу моделирования.

3. Размер базы входных данных:

не менее 10 входов и 1 выхода;

не менее 20 примеров для обучения сети;

входные данные должны быть представлены в числовой форме.

4. Задачу моделирования результатов выполнить для 4-х вариантов структуры нейросети:

вариант 1 - 3 слоя по 10 нейронов в слое;

вариант 2 - 3 слоя по 5-7 нейронов в слое;

вариант 3 - 4 слоя по 12-20 нейронов в слое;

вариант 4 - 5 слоев по 6-10 нейронов в сети.

Примечание. Задание по данному пункту уточнить у преподавателя.

5. Зафиксировать результаты, время прогнозирования и значимость входов для каждого из 4-х вариантов.

6. Выполнить упрощение нейронной сети и выбрать оптимальный вариант структуры.

7. Для одного из векторов обучающей выборки согласно структуре, полученной на этапе вербализации, произвести проверочный расчет с помощью программирования в Excel.

8. Отчет по лабораторной работе составить в MicroSoft Word и привести в нем следующее:

- титульный лист с названием темы лабораторной работы;

- описание задачи моделирования с таблицей входных и выходных данных;

- результаты выполнения лабораторной работы для каждого из 4-х вариантов (результат прогноза и время моделирования);

- результаты вербализации и проверочный расчет согласно п.7;

- выводы, содержащие зависимость результатов прогнозирования и времени прогнозирования от структуры нейросети.

Работа 2. Решение логических задач с использования аппарата логического вывода методом дедукции с использованием логики предикатов

1. Логика

1.1. Логика, как наука

Познание истины, получение истинной информации – одна из важнейших потребностей человека. Все люди нуждаются в истинном знании, получении новой верной информации о мире, в котором они живут. Для чего? Такой вопрос иногда возникает. Нужна ли истина только физикам и математикам?

Для того чтобы жить, т.е. ориентироваться в быстро меняющейся обстановке, принимать правильные решения и на их основе совершать правильные действия.

Человек с древних времен стремился познать законы правильного мышления, то есть логические законы. Наука логика помогает познанию этих законов. Законы развития есть у природы, общества, любой сложной системы и, конечно же, у самого мышления. Мы можем не осознавать их, но нужно всегда следовать им, чтобы жить в обществе, общаться с людьми, понимать их и быть понятыми.

В Древней Греции, в Древней Индии, в Древнем Риме законы и формы правильного мышления изучались в рамках ораторского искусства. Применение логических приёмов рассуждения позволяло ораторам более убедительно доносить до аудитории свою точку зрения, склонять её на свою сторону. Однако уже тогда возникли и попытки использования приёмов рассуждения, нарушающих логические законы, чтобы добиться победы в споре. Всегда ли такие приемы приводят к неверным выводам?

Логика – одна из древнейших наук. Ее основателем считается величайший древнегреческий философ Аристотель, который первым систематизировал формы и правила мышления, обстоятельно исследовал категории "понятие" и "суждение", подробно разработал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления.

Античную логику, основанную Аристотелем, принято называть формальной. Это название происходит от основного принципа такой логики как науки, который гласит, что правильность рассуждения определяется только его логической формой или структурой и не зависит от конкретного содержания входящих в него высказываний. В современной логике этот принцип не всегда выдерживается.

Логической формой высказывания (суждения) является строение этого высказывания, способ связи его составных частей.

 

НАПРИМЕР. Попробуйте определить логическую форму следующих высказываний:

“Все лошади едят овёс” “Все реки впадают в море” “Все школьники - отличники” “Все книги имеют страницы” “Все планеты вращаются вокруг звезд”