1 Представление знаний. Фреймовая модель.

2 Алфавит логики предикатов(переменные,функции,константы,предикаты)

3 Алфавит (логические связки, кванторы, связанные и свободные переменные)

4 Основные особенности логической модели. Правила вывода.

5 продукционная модель

6 Семантическая сеть.

7 Пошаговое описание алгоритмов(словесно-формульное описание алгоритмов)

Основные виды программных средств и характеристики.

8 Структурное описание алгоритма. Архиваторы.

9.Объектно-ориентированное программирование. Программы обслуживания дисков. Утилиты.

10.Поколение ОС. Состав ОС.

11Язык программирования. Словестно формульное описание алгоритмов.

12 Состав ОС

13 антивирусы и вирусы

14 Системы программирования

15 Элементарные алгоритмические структуры. Требования,предъявляемые к алгоритмам.

16 Архиваторы. Программы обслуживания дисков. Событийно-ориентированное программирование.

17 структурное программирование

18 специализированные языки программирования. Системы создания презентаций.

19.Табличные,текстовые процессоры,СУБД.

20 Графические редакторы,мультимедийная система. Алгоритмическое программирование.

1 Представление знаний. Фреймовая модель.

Знания в ЭВМ представляются в виде программ, (т.е представлены в общей универсальной форме в виде формул, законов, общих утверждений, ) но знания о предметной области в такой форме не представлены они представляются в виде баз знаний, (а программные системы работающие на их основе назыв интеллектуальными).

Знания делят на: декларативные- и процедурные-

1. Декларативные – это знания, выраженные в описательной форме. Они описывают характер, свойства, особенности объектов, процессов и их явлений.

2. Процедурные – это знания, выраженные в виде последовательности операций, действий, процедур, процессов.

В основе реализации знаний в виде баз знаний.4 модели: 1)логическая;2)продукционная;3)фреймовая;4)семантическая сеть.

Фреймовая модель ориентирована на такие значения в кот объект, явление описыв мн-вом х-к или св-в. В этом сл-е база знаний состоит из фреймов, каждый из кот предст-ет объект или явление,он состоит из частей(СЛОТОВ) в каждом из кот размещается х-ка или св-во объекта. Фреймы делят на группы основными из кот явл: 1)фреймы-описания(фреймы-структуры);2)ролевый фреймы(фреймы-роли).

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

Если в общем выражении для фрейма убрать все -значения слотов, но оставить их +имена, то получим конструкцию кот назыв фреймпротатит или фрейм-интенсионал. Фрейм с конкретными значениями слотов назыв фреймом-экземпляром или фреймом-примером.Для фреймовой модели разработан язык FRK.

2 Алфавит логики предикатов(переменные,функции,константы,предикаты)

Алфавит- это множество знаков. Знак-это условное обозначение понятия предметной области. Знаки могут состоять как из 1 символа, так и из последовательности символов.

В алфавите присутствуют: 1)знаки, обозначающие объекты предметной области(константы и переменные). Константы обозначают конкретный объект, а переменные используются для записи утверждений(относящихся ко всем объектам или хотя бы к некоторым из них) 2)знаки обозначающие св-ва атрибута объектов, а так же отношения истинности между объектами(предикатные знаки) 3)знаки обозначающие функциональные зависимости между объектами (функциональные знаки) 4)специальные знаки, которые используются для удобства записи и формирующие сложных утверждений(логические связки).

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

Знаки 2 группы наз. Предикатами. Предикаты позволяют записать простейшее утверждение, (относительно своих аргументов, результатом которого является истинна или ложь). Предикаты обозначаются прописными буквами и их описание включает в себя обозначение, синтаксис и семантику.

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