Онтология бухгалтерской реальности

   

Автор:  Александр Поляков

    

назад ...       далее ...

    

Что мы будем понимать под онтологической моделью бухгалтерской реальности? Для начала необходимо сказать несколько слов о самом понятии онтологии.

Для обозначения той или иной реальности в философии часто используется термин «онтология», происходящий от греческих слов «онтос» – сущее (то, что реально существует), и «логос» – учение. Поэтому в классическом понимании онтология рассматривается как учение о сущем, о том, что реально существует, т.е. это раздел философии, изучающий мир как объективную реальность, не зависящую от нашего произвола.

Однако в последнее время стала набирать популярность точка зрения онтологического плюрализма, утверждающая некоторую равноправность всех способов существования и пытающаяся на все посмотреть «изнутри», как на особый возможный мир, онтологию [1]. С этой точки зрения под онтологией понимается любая возможная реальность, для которой можно построить онтологическую модель, характеризуемую своими пространством, временем, материальностью, своей системой законов существования, своей семиотической системой (системой знаков) и т.д. Причем онтология – это не обязательно физический мир, это любой возможный мир, в том числе и мир виртуальной реальности.

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

Новизна такого подхода к изучению отдельных фрагментов реальности состоит в том, что эти фрагменты рассматриваются как некие малые Вселенные, относительно замкнутые малые миры – онтологии. Мы уже говорили в предыдущих статьях, что в конце 20-го века произошла смена философских парадигм, приведшая к тому, что в качестве объектов исследования в науках стали рассматриваться целые реальности – физическая, биологическая, психологическая и т.п., мы выделили еще две важные для нас реальности – хозяйственную и бухгалтерскую.

Онтологический плюрализм позволяет взглянуть по-новому на то, что, казалось бы, уже давно знакомо и не подлежит пересмотру. Например, ранее считалось, что говорить о собственном пространстве и времени можно только по отношению к физическому миру. Принцип онтологического плюрализма снимает подобные запреты, теперь становится возможным говорить, например, о социальном, информационном, экономическом, бухгалтерском и любых других видах пространств. Стало возможным изучение этих пространств так, как если бы они были физическими пространствами, только со своими особенными структурами. Аналогичным образом изменилось отношение и к понятию времени. Применительно к нашей теме можно утверждать, что хозяйственная реальность характеризуется своим временем, а бухгалтерская реальность - своим.

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

Учетный специалист, как игрок в «бухгалтерскую» компьютерную игру, строит свой особый бухгалтерский мир – бухгалтерскую реальность, его в первую очередь интересуют законы поведения бухгалтерских объектов именно этой реальности, а не особенности программного и технического обеспечения. Разработчик же должен создать адекватную информационную среду для взаимодействия учетного специалиста с бухгалтерской реальностью – обеспечить возможность создания и изменения объектов бухгалтерской реальности, реализации необходимых сценариев их поведения. В этом случае возможно построение двух онтологий бухгалтерской реальности – одной для разработчика и второй для учетного специалиста, как пользователя программного продукта.

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

На формальном уровне онтологию можно определить как формальную спецификацию разделяемой концептуальной модели [2]. Под «разделяемой» подразумевается наличие согласованного понимания концептуальной модели всем профессиональным сообществом или хотя бы значимой его частью. Спецификация представляет собой описание системы понятий предметной области в явном виде, а «формальная» означает, что концептуальная модель описана на формальном языке.

В обобщенном виде формальную модель любой онтологии (О) можно представить следующим образом:

O=<C,P,R,А>

где:

С – множество понятий (абстракций и идеализаций)

P – множество свойств понятий

R – множество связей между понятиями

А – законы, действующие в рамках модели, состоящей из этих понятий и связей – правила, аксиомы, теоремы, ограничения, примеры и т.п.

Обычно данная структура модели рассматривается как некая данность, она фактически просто постулируется без объяснения того, почему она должна выглядеть именно так. Однако, все-таки имеет смысл понимать, почему так важны именно эти элементы модели.

С точки зрения концепции науки как особого вида структурного мышления можно сказать, что процесс построения онтологии опирается на триединую конструкцию научного знания, в которой центральное место занимает понятие структуры или еще говорят – чистой структуры.

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

В результате образуется триединая конструкция, и если ее дополнить интуитивным началом научного познания, то получится «то, что можно назвать научным логосом, т.е. совокупным живым целым растущего и развивающегося научного знания» [1]. Ниже на рисунке можно увидеть очевидную связь между элементами формальной модели онтологии и триединой конструкцией научного знания.

     Онтологии в микроэкономике

 

Наибольшее развитие понятие структуры получило в математике. Во второй половине ХХ-го века в Европе группа математиков под общим псевдонимом Никола Бурбаки пришла к выводу, что математика – это фактически наука о разного рода структурах. Учитывая, что математический язык является основой современной науки, понятие структуры оказалось в результате важнейшим для всего процесса научного познания. В простейшем случае под структурой понимается единство трех составляющих:

множества элементов структуры

множества операций (функций), заданных на элементах структуры

множества предикатов, заданных на элементах структуры

Примером простейшей структуры является множество натуральных чисел 1, 2, 3 … и т.д. до бесконечности. Сами числа являются элементами структуры, в качестве операций выступают операции сложения и умножения чисел. Натуральные числа могут обладать свойствами «быть четным» или «быть нечетным» числом, а в качестве отношений чисел, например, используются отношения «равно» или «меньше».

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

Операции определяются на элементах структуры и дают в результате всегда также элементы структуры. Например, операция сложения может быть определена на двух числах «2+3=5», что дает в результате новое число 5, определяемое как сумма чисел 2 и 3. В результате выполнения операции двойной записи у одного из пары корреспондирующих счетов учета изменяется оборот по дебету, а у второго счета учета – оборот по кредиту.

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

Свойства отличаются от отношений тем, что свойства всегда определяются для любого одного элемента структуры, а отношения определяются для любых n>1 элементов, т.е. свойства являются одноместными предикатами, а отношения всегда являются многоместными предикатами. Местность операции или предиката определяет на сколько элементов структуры они действуют. Например, двуместное отношение «2<3» истинно, а двуместное отношение «2=3» является ложью.

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

Описания структур производятся, как правило, с помощью соответствующих искусственных языков, например, с помощью формальных языков математики. Чем более развито научное знание в какой-либо предметной области, тем более специализированный язык требуется для описания структуры. Это связано с тем, что формирование структур часто сопровождается созданием новых специализированных абстракций, для которых в обычном, естественном языке просто может не быть названий, либо эти названия используются как-то иначе.

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

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

Действующие в структуре законы обычно состоят из базовых законов (аксиом) и остальных законов (теорем), которые выводят из аксиом с помощью логических суждений, в результате чего создается логическая теория структуры. Языки описания структур могут отличаться не только степенью формальности, но и степенью логической обработки. Если язык сильно логически обработан – в нем явно выделены аксиомы, правила логического вывода и теоремы, то научная теория с таким языком называется аксиоматической теорией.

Таким образом, построение формальной модели онтологии бухгалтерской реальности по-существу можно свести к построению соответствующих бухгалтерских математических структур и логических теорий, описывающих законы существования этих структур. Далее на сайте мы будем заниматься построением формальной модели онтологии бухгалтерской реальности ОБР:

OБР=<CБР,PБР,RБРБР>

где:

СБР – множество бухгалтерских абстракций (элементов структуры)

PБР – множество свойств бухгалтерских абстракций

RБР – множество отношений, заданных на множестве бухгалтерских абстракций

АБР – бухгалтерские операции, правила (законы), описывающие поведение бухгалтерских абстракций в бухгалтерской реальности

    

1. Моисеев В.И. «Философия науки. Философские проблемы биологии и медицины» М.: ГЭОТАР-Медиа, 2015

2. Кудрявцев Д.В. «Системы управления знаниями и применение онтологий» СПб.: Издательство Политехнического университета, 2010

    

      назад ...       далее ...