пользователей: 21276
предметов: 10469
вопросов: 178036
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

I семестр:
» ИС
» ИИС
» РСПСИТ

Логические модели представления знаний.

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

Главная часть – логический вывод заключения из посылок. Впервые формальная система логики была разработана Аристотелем в 4в. до н.э. Математическая логика – Дж.Буль(19в.) + компьютеризация привело к созданию логического программирования. Формальная логика изучает только синтаксис, т.е. форму логических рассуждений, но не их семантику, фактическиие знания отделяются от рассуждений.

Логическая модель характеризуется следующей формальной системой: . T- алфавит (словарь); S-синтаксическое правило построения предложений; A-аксиомы; B-правила вывода. Т-это множество высказываний (атомы), в словарь входят: отрицание не/not; дизъюнкция или/or; конъюнкция and/и/&/^; импликация → ; эквиваленция ↔.

Правила S-построения предложения таковы:

  • всякое высказывание есть формула (если X и Y формулы, то не X, не Y, X?Y (?-любая двуместная логическая операция) есть формулы);
  • никаких других формул не существует, кроме порождаемых применением первых 2-х правил.

21.06.2015; 23:14
хиты: 219
рейтинг:0
Точные науки
информатика
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2016. All Rights Reserved. помощь