12.Элементы информационных технологий.(Базы данных на эвм; элементы мат логики; базы знаний на эвм; законы логического вывода).

Базы данных.

Базы данных - основное средство накопления больших объемов информации. Это специальная форма представления и организации данных в ПК, допускающая поиск информации по запросам. Для организации баз данных используются специальные программы, которые называются системами управления базами данных (СУБД).

Информация в базах данных может быть организована несколькими способами. Наиболее простая и распространенная - реляционная илитабличная форма.

Элементы математической логики.

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

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

Вычислительные операции и математические суждения всегда предполагают однозначную интерпретацию.

Все сложные логические элементы и блоки вычислительных машин конструируются из простейших логических элементов с помощью логических операций « и », « или » и « не ».

Принципы логического вывода.

Могут ли компьютеры думать? Да - если удастся создать такие диалоговые программы, которые смогут отвечать на вопросы так же, как и люди.

Проблема создания искусственного интеллекта привела к огромному потоку исследований, в результате которых были созданы программы для ЭВМ имитирующие интеллектуальную деятельность людей - игру в шахматы решение задач и доказательство теорем.

База знаний в ЭВМ - это совокупность фактов и правил вывода, хранящихся в памяти ЭВМ. С математической точки зрения базы знаний могут описываться в форме наборов предикатов и правил логического вывода.

Содержание баз знаний составляют конкретные и обобщенные факты и сведения об определенной предметной области или сфере деятельности. Примеры предметных областей - семья, школа, вуз, магазин, рынок, ферма, фирма, завод, офис, банк и т. п.

Любая база данных в ЭВМ может быть описана набором предикатов, описывающих имеющиеся в ней сведения. Примеры записи конкретных фактов в форме предикатов:

мама (Люба, Оля)                       - Люба - мама Оли

папа (Вова, Лена)                       - Вова - папа Лены

оценка (Вова, физика, 5)           - Вова имеет 5 по физике