38. Логика предикатов.

Логика предикатов

Понятие ``предикат'' обобщает понятие ``высказывание''. Неформально говоря, предикат – это высказывание, в которое можно подставлять аргументы. Если аргумент один – то предикат выражает свойство аргумента, если больше – то отношение между аргументами.

Пример предикатов. Возьмём высказывания: ``Сократ - человек'', ``Платон - человек''. Оба эти высказывания выражают свойство ``быть человеком''. Таким образом, мы можем рассматривать предикат ``быть человеком'' и говорить, что он выполняется для Сократа и Платона.

Возьмём высказывание: ``расстояние от Иркутска до Москвы 5 тысяч километров''. Вместо него мы можем записать предикат ``расстояние'' (означающий, что первый и второй аргумент этого предиката находятся на расстоянии, равном третьему аргументу) для аргументов ``Иркутск'', ``Москва'' и ``5 тысяч километров''.

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

Пример рассуждения, не выразимого в логике высказываний. Все люди смертны. Сократ - человек. Следовательно, Сократ смертен.

Это рассуждение на языке логики высказываний можно записать тремя отдельными высказываниями. Однако никакой связи между ними установить не удастся. На языке логики предикатов эти предложения можно выразить с помощью двух предикатов: ``быть человеком'' и ``быть смертным''. Первое предложение устанавливает связь между этими предикатами.

39. Особенности проектирования бд.

БЗ является основной частью систем ИИ.

При проектировании БЗ мы должны учитывать особенности ИИ, который как програмный продукт включает следующие элементы:

цели

факты

правила

механизм ввода

упрощения,

которые в целом повторяют процесс принятия решения человеком. Первая работа, которую проводит проектировщик БЗ - определение целей.

При определении подцелей человек решает дополнительные проблемы. Он строит дерево целей.

При выборе основных побочных подцелей необходимо взвесить некоторые факты/факторы.

Следующий этап, который необходимо пройти - определение фактов ( к каждой цели приписываются факты).

Способы получения данных:

- анкетирование

- имитирование работы человеческого мозга (определение на основе весовых коэффициентов)

Следующий этап - этап формулирования правил и выводов.

После этого - этап разработки программы. В ней будут:

- правила определения целей и подцелей

- правила работы с БЗ и фактов

- программа оценки для достижения конечных целей

- программа цепочеки рассуждений

40. Системы кодирования в экономике.

{Целью кодирования является представление информации в более компактном виде}

Основу для кодирования составляют результаты классифицирования. Правила, по которым объектам присваиваются коды составляют систему кодирования. При проектировании систем возможно применение различных система кодирования:

• порядковой

• серийно-порядковой

• последовательной

• параллельной

• шахматной

• с повторением

Однако, наибольшее распространение получила позиционная система кодирования – в каждой кодируемой позиции ставится в соответствие определенное число знаков. Позиционная система построена на основе фасеточной классификации.

П.с. основывается на распределении кодируемых наименований на группы. Каждой группе соответствует определенный признак. Значение любого признака определяется двумя факторами: серией и позицией в структуре кода.

"+" логичность построения, возможность автоматического построения итогов по старшим признакам;

"– " болшая значность, сложность построения кода для много-признаковых номенклатур, необходимость введения избыточности кодов для отдельных признаков, недостаточность таких кодов для других признаков

1	2	3	4	5	6	7	8	9	10
11	12	13	14	15	16	17	18	19	20
21	22	23	24	25	26	27	28	29	30
31	32	33	34	35	36	37	38	39	40