Применения. Наиболее ярким применением теории определений является проектирование, разработка и сопровождение программной системы ведения законопроектов и законодательных актов, они всегда нуждаются в таких средствах контроля правильности и непротиворечивости утверждений и выбора понятий, их определенности и непротиворечивости использования в других законодательных актах. Имеется техническое препятствие, которое состоит в том, что современный объем памяти ВМ еще не достаточен для полной реализации такого применения. Но законодательная область для применения теории определений является наиболее подходящей во многих отношениях. Здесь, во-первых, ситуация, в которой не допустимы ошибки (они дорого стоят), во-вторых, память человека не обладает точностью запоминания большого числа определений. Память человека является ассоциативной, а память ВМ - адресной. Перебор вариантов проще запрограммировать на ВМ, нежели заставлять человеческий мозг производить численно громадный перебор. Это главный аргумент при доказательстве важности программной системы ведения законопроектов, в особенности в процессе их создания.
5.1. Критерии для определений
Научный подход к изучению системы определений сложен для человеческого анализа. Для машинного анализа необходима новая программно-аппаратная система ввода, хранения, переработки и вывода системы определений. Таких систем еще не существует, их построение требует специального рассмотрения. В связи с этим имеет смысл прагматическое рассмотрение систем понятий. Формулировка определений осуществляется интуитивно человеком. Анализ и отбор осуществляется с помощью некоторых критериев. Совокупность критериев образует многокритериальную задачу формирования или анализа определений понятия. Каждое определение должно удовлетворять следующим критериям.
Критерий обозримости. Определение должно быть обозримым. Абзац - это минимальная единица текста, передающая единый законченный смысл. Абзац, в соответствии с рекомендациями психологов, не должен превышать одной страницы текста. Чаще всего определения так и представляются. Однако контекстные определения могут занимать и более одного абзаца (одной страницы). Критерий обозримости неточен как, впрочем, и все остальные, однако он формулирует область знаний относительно понятия абзаца. Абзац понимается как мера для единичного знания.
Критерий замкнутости. Определение должно быть замкнутым. Освоение определения возможно только при полном описании всех атрибутов определяемого термина (или понятия). Открытыми определениями называются такие определения, которые содержат понятия или термины, не определенные в системе понятий или терминов (в терминологии). Открытое определение допускает неоднозначности толкования понятия. Можно, конечно, считать, что не определенные понятия или термины являются избыточными, тогда игнорирование ими не изменяет существа рассматриваемого определения. В противном случае, если игнорирование изменяет определение, то такое открытое определение не допустимо. Такие определения допустимы на ранних стадиях изучения понятия. В конце концов, определение должно быть замкнутым.
Критерий определенности. Определенность понятия может достигаться только при использовании в определениях точных понятий. Целесообразно различать определенность внешнюю и внутреннюю в соответствии с тем, какие понятия участвуют при построении определения и какие суждения используются в комплексе определений. Абсолютно точных понятий не бывает. Оценка точности определения совпадает с оценкой точности знания. В связи с этим следует понимать, что определенность понятия строится интуитивно.
Критерий единообразия. Единообразие определений способствует более глубокому пониманию каждого определения в отдельности. Единообразие поддерживается минимальностью избыточности определений, одинаковостью их структур и принадлежностью их к одним и тем же предметной и проблемной областям.
Критерий непротиворечивости. Внутренняя непротиворечивость понимается как логическая непротиворечивость суждений, составляющих определение. Этот критерий является теоретическим, но он может использоваться в практике выработки определений на интуитивном уровне. Доказательство непротиворечивости может строиться человеком без специального формализма и формального исчисления. Убежденность может оказаться главным аргументом в процессе доказательства. Немаловажную роль могут сыграть прецеденты. Требование непротиворечивости необходимо использовать в качестве критерия отбора понятий, так как машинные средства доказательства непротиворечивости пока отсутствуют. Это же относится и к понятию внешней непротиворечивости, которая рассматривается аналогичным образом, но только относительно совокупности определений, которая состоит их соответствующей совокупности суждений каждого определения.
Критерий независимости. Независимость определения, как уже упоминалось, не является обязательным требованием-критерием, но при прочих равных условиях предпочтение должно отдаваться определению, которое наилучшим образом удовлетворяет критерию независимости определения. Относительно независимости верны те же утверждения, что и рассмотренные в п.5 утверждения для непротиворечивости. Критерий независимости можно рассматривать на интуитивном уровне.
Критерий полноты. Полнота определения или системы определений состоит в том (с одной стороны), что область применения не искажает определения понятия, и в том (с другой стороны), что понятие и его определение понимаются в любом контексте данной области исследования или применения понятия. Здесь также можно увидеть отличия полноты теоретической и полноты практической.
Критерий выполнимости. Выполнимость определения - признак понимания его человеком или транслятором ЯПП на ФЯ. Имеется в виду то, что транслятором в процессе трансляции не будут обнаружены синтаксические, семантические, прагматические и другие ошибки в текстах определения.
Критерии классифицируемости. Классифицируемость определений гарантирует правильность его построения и согласованность его со всей совокупностью понятий данной науки или области знания. Под классифицируемостью понимается наличие критерия разделения определений на группы. Например, определения могут образовывать иерархию, выражающую соподчиненность каждого определения. Каждое определение должно обладать какими-либо признаками для реализации некоторой классификации. Классификационное увязывание понятий и их определений в систему обязательно, если они формируют некоторую теорию. Классифицируемость понятий или определений может отсутствовать, если другие критерии для определений важнее указанного.
Критерий целостности. Целостность понятия и его определения состоит в том, чтобы содержать в себе все существенные свойства и полный однозначный смысл, а также область действия понятия и его определения. Этот критерий предполагает интуитивное рассмотрение определений.
Критерий традиционности. Традиционность и преемственность (сохранение истории термина, понятия и имени) является обязательным требованием, чтобы обеспечить ускоренное внедрение (в частности, просто понимание) в практику информатической деятельности. Опыт и имеющиеся новые достижения должны использоваться полностью.
Критерий непрерывности. Непрерывность - это использование рядом с определяемым понятием «живущих» или размещаемых понятий. Непрерывность способствует правильной оценке определения понятия.
Критерий распознаваемости. Распознаваемость понятия и его определения обеспечивает четкое выделение признаков определяемого и определяющего понятий, сортировку и классификацию понятий, кластеризацию групп понятий, определение класса и кластера понятий, что в свою очередь поддерживает строгость терминологии информатики (и не только информатики).
Критерий минимальности признаков. Минимальность признаков, свойств и характеристик обеспечивает быстрое усвоение терминологии. Имеется параллель между системой понятий и системой образов, подлежащих распознаванию. Число признаков должно быть равно двоичному логарифму числа понятий (плюс единица). Это число оптимально для быстрого осмысления понятия. Однако необходимо учитывать развитие терминологии или системы понятий. Учет этого факта приводит к увеличению числа признаков. Этот критерий является качественным, а критерий обозримости – количественный.
Критерий ортогональности. Ортогональность понятия (в некотором смысле можно толковать как независимость понятия от других понятий) предназначена для устранения путаницы и ускоренного поиска ошибок в терминологии. Ортогональность предполагает своего рода классификацию определений в соответствии с выбранной системой координат (совокупности выбранных ортогональных понятий).
Критерий одинаковости в системе. Одинаковость основания и обоснования для любого термина или понятия в системе понятий обеспечивает системность терминологии. Этот критерий можно пояснить следующими атрибутами. Система определений по возможности должна использовать один тип (сорт) определения. Однако не исключается использование фиксированного числа типов определений. Далее, каждое определение должно нести отпечаток доказательности. Сами определения должны подтверждать правильность их построения. Посылки в определениях (или посылки, из которых следует определение) должны иметь одинаковые свойства. Это требование является сложным. При построении системы определений необходимо по возможности использовать этот критерий. Наконец, свойства посылок, о которых только что было сказано, должны быть доказательными и приводить к доказательным заключениям. Весь критерий теоретически сложен, его практическое выполнение сомнительно, но, тем не менее, он должен соблюдаться по мере возможности.