Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 9 стр.

       Первоначально эти исследования были связаны с философской проблематикой, в
частности, временную логику вначале планировалось использовать как вспомогательное средство
для анализа античных философских текстов. В настоящее время в связи с бурным развитием
информатики, программирования и исследованиями в области искусственного интеллекта
значение логики существенно возросло, особенно в прикладном плане. Областями использования
логики в настоящее время являются:
      - проектирование цифровых схем;
      - исследование семантики языков программирования;
      - спецификация, верификация и синтез программ;
      - спецификация и верификация параллельных процессов;
      - создание логических языков программирования;
      - системы искусственного интеллекта.




Вопросы и упражнения

1. Дайте определение логики и рассуждения.
2. Приведите примет:
а) дедуктивных рассуждений;
б) индуктивных рассуждений;
в) правдоподобных рассуждений,
3. Приведите примеры рассуждений, основанных на:
а) герменевтической схеме;
б) экзегетической схеме;
в) гомилетической схеме.
4. Дайте определение софизма.
5. Приведите примеры софистических рассуждений.
6. Укажите области применения логики на современном этапе развития науки и техники.




                                             9