Логико-семантические представления вербальных описаний в информатике

О чём эта книга
Монография посвящена проблемам логико-семантического представления вербальных описаний в информатике. Вербальные описания «формализуются» в виде логико-лингвистических правил, а логико-семантические представления информационных объектов рассматриваются в части моделирования приближенных рассуждений человека на «фоне» процессов классификации и структурирования правил вывода. Особое внимание уделяется логико-лингвистическому описанию неформализуемых (плохо определенных) задач и логико-семантическому представлению нечетких высказываний. Показана ограниченность формально-логических систем и особенности неформализуемых задач, которые относятся к проблемным областям, характеризующихся не-факторами: знания не полны, не точны, не корректны. Нечеткие условные высказывания в зависимости от решаемой задачи представлены вычислительными моделями с логическими структурами индуктивного и дедуктивного типов. Рассматриваются семантические категории отношений частичного порядка на множествах правил вывода и вычислительных моделей нечетких высказываний. Рассмотрены особенности и семантические пороги формирования нечетких предпочтений. Представлены примеры логико-семантического представления вербальных (логико-лингвистических) описаний в различных проблемных областях, применения вычислительных моделей нечетких высказываний в прикладных задачах информатики.

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