Вместе с тем в различных сферах профессиональной деятельности это богатство и разнообразие выразительных средств естественного языка становится недостатком, а иногда – недопустимо, например, в армии, медицине, судопроизводстве и т. д.
В специальных отраслях науки формируются специфические языковые системы, являющиеся «сужением» естественного языка. Особо выделяется язык математики, как некоторая основа изложения системы знаний в точных, естественных науках. Свой язык имеют также химия, физика, философия, социология, педагогика, экономика, юриспруденция, психология и другие направления.
Целесообразность применения таких суженных языковых систем высока, они позволяют повысить надежность информационного обмена, так как возможность неправильного истолкования передаваемой информации существенно снижается. Главные достоинства такого языка – возможность создавать и использовать типовые упаковки знаний, а также в значительной мере снять полисемию (смысловую многозначность) естественного языка.
При этом, конечно, сужается и круг получателей, поскольку для восприятия информации необходимо владеть соответствующим языком – это, условно говоря, можно считать недостатком суженого языка.
Полисемия – основная проблема языковой формы информационного обмена, фактор внесения искажения и ошибок (семантического шума) на пути передачи информации. Поэтому устранение многозначности является одним из наиболее важных направлений в разработке формальных приемов представления знаний. Создание языка науки или языка деловой прозы, называемого часто «канцеляритом», является естественным шагом на этом пути. «Канцелярит» предназначен для объективизации изложения информации, использует, как правило, переводимые категории и языковые формы, лишен синонимии, оперирует конкретными фактами и понятиями, не избыточно информативен и логичен.
Все перечисленные выше свойства не присущи литературному языку, которому свойственна субъективность форм, возможность применения непереводимых конструкций, бесконечно богатая синонимия, образность высказываний и т. д.
Продвижение в сторону формализации знаний приводит к понятиям «класс» и «классификация».
Классификация – распределение предметов, объектов и понятий по группам (классам) в соответствии с обнаруженными свойствами.