Онтика
Оригинал взят у ailev
Пространство смыслов.
Мышление человека (и машин) основано на концептуальном пространстве - многомерном пространстве смыслов.
В этом многомерном пространстве можно выделить области, репрезентируемые разными знаками, обозначающими предметы из предметных областей (domains).
Мы считаем, что все рассуждения в конечном итоге опираются на наши представления о предметах физического мира и их взаимодействии, хотя они и абстрагируются потом на много уровней абстракции.
Это абстрагирование - всегда рассуждения о физическом мире, мы не отрываемся от реальности.
Какое-то место в пространстве смыслов называют концептом (concept, иногда понятие). Есть множество разных вариантов определения концептов, из которых самый популярный на сегодня - теория теорий.
Концептуальные представления о части мира (предметной области/domain), выраженные как какая-то структура в пространстве смыслов мы будем называть онтиками.
Для одной и той же части пространства смыслов можно обычно предложить множество вариантов структуры, множество онтик.
Онтики существуют в головах людей и компьютеров как коннективистские модели. Если речь идёт о выражении онтик в виде, в котором их можно обсуждать и делать какие-то операции над ними, то нужно говорить о рабочих продуктах - онтических описаниях (descriptions), выражаемых знаками на каких-то носителях.
Спектр формальности мышления и онтологизация.
Онтологизация (ontology engineering/conceptual modeling/domain modeling) является практикой по повышению уровня формальности/строгости концептуальных представлений о мире.
Обычно исследования (research, "наука"), в которых пытаются выяснить, как именно устроен мир, не относят к онтологизации.
Онтологизация обычно - это оформление результатов исследования в такой форме, в которых этими результатами можно с кем-то поделиться. Приведение "невыразимых никак догадок/инсайтов" в выразимую как-то вовне форму (оформление, формализация) и есть онтологизация. В ходе её определяют концепты как места в пространстве смыслов и дают этим концептам имена-термины.
Концепты онтики фокусируют внимание на какой-то части мира: онтика содержит концепты, позволяющие отобрать из мира те предметы и их взаимодействия, которые обозначены концептами онтики - и тем самым онтика задаёт предметную область, вырезая её лучом внимания из всего становящимся при этом фоном мира.
Онтика определяет (define) те предметы мира, которые присутствуют в нашем мышлении - то, на что направлено наше внимание.
Остальное - фон, хаос, находящийся далеко влево по уровню формальности в спектре мышления.
- Когда в ходе онтологизации для определения мира из хаоса и рассеянного внимания появляются концепты и обозначающие их слова-термины, определяющие предметы (появляется определение/definition этих предметов) - это опредмечивание.
- А когда мы уходим от концептуальных/знаковых представлений 1:1 (один предмет - один коцепт), пытаясь определять предметы пространными описаниями из многих концептов или непосредственным указанием в реальном мире - это будем называть распредмечиванием.
Результат практики онтологизации - это всегда движение от неформальности и хаоса к строгости и порядку математического формализма, всегда максимальное опредмечивание.
Кроме связанных с приписыванием каким-то чётким местам в пространстве смыслов меток/концептов, чтобы к ним было легко обращаться, в онтологизацию входит и структурирование пространства смыслов на части: составление из мелких частей этого пространства каких-то больших частей, обозначающих тем самым большее число предметов мира означает абстрагирование/обобщение, а деление больших областей-концептов этого пространства на отдельные части-концепты, указывающие более специфично какие-то конкретные предметы мира, называется конкретизацией/специализацией.
Схемы, схемоиды и их разворачивание.
Формальное описание структуры онтики (какие в ней концепты и какие связи этих концептов), сделанное по мотивам "теории теорий", обычно называют концептуальной схемой, менее формальное - схемоидом (как "гуманоид" - "не человек, но на человека похож", так и тут "не схема, но на схему похож").
Схема или схемоид могут быть выражены и графической схемой, но это совершенно необязательно - схемы часто представляются текстами.
Перевод графического (часто очень краткого и неполного) изображения схемы в текстовую форму на естественном языке с прописыванием в том числе и производных (опосредованных какими-то элементами или даже определяемых в других схемах) отношений между элементами схемы называется разворачиванием схемы.
Чаще разворачивают даже не схемы, а схемоиды - и в ходе разворачивания пытаются делать дополнительный шаг по формализации.
Мышление и коммуникация.
Онтологизация (получение более-менее формально определённых priors для смыслов) и рассуждения по результирующим онтикам с уточнением этих priors какими-то свидетельствами из предметной области вместе по большому счёту и представляют собой основные практики мышления, с тем уточнением, что эти практики выполняются:
а) коллективно;
б) с участием экзокортекса (сначала памяти в виде записей, а сегодня и компьютеров, берущих на себя какую-то часть и онтологизации, и рассуждений).
Тем самым мышление (и онтологизация, и рассуждения) оказываются тесно связанными с коммуникацией: передачей онтик от одних людей и компьютеров другим.
Результатом коммуникации является то, что пространство смыслов у участников коммуникации (людей и компьютеров) оказывается размечено концептами примерно одинаково, в этом случае говорится, что участники коммуникации разделяют (share) онтики, т.е. примерно одинаково понимают схемы и схемоиды, по которым идёт мышление - и дальше можно как-то надеяться, что результаты рассуждений на основе этой разметки тоже будут одинаковыми или хотя бы совместимыми и взаимно понимаемыми участниками мышления.
Коммуникация тесно связана с онтологизацией: чем хуже выполнена онтологизация, тем хуже организована коммуникация.
Для качественной передачи смысла нужно использование схем и схемоидов, то есть должна быть выполнена онтологизация - и чем лучше она выполнена, тем короче может быть передаваемая информация без потери смысла.
Онтологизация представляет собой сжатие информации о предметной области, оставление во внимании только важного для какого-то дела и игнорирование неважного.
Дисциплины.
Онтики бывают самые разные - и разные виды онтик (ontic kinds) имеют свои названия, концепты для этих видов онтик занимают какие-то подчасти в общей для всех онтик части пространства смысла (границы этих частей и подчастей вероятностны! Это не чёткие дискретные границы!.
Когда говорится об онтике, то не делается никаких предположений о каких-то её свойствах: в общем случае, рассуждения/выводы/inferences по онтике могут приводить к противоречиям, а могут и не приводить, она может относиться к предметам и взаимодействиям в небольшой части мира (domain, предметная область), но этим domain может быть и вся вселенная.
Микротеория (microtheory) или часто просто теория - это онтика, по которой возможны более-менее формальные, непротиворечивые рассуждения в рамках какой-то строгой (по схеме и математически однозначно определённым правилам) или менее строгой (по схемоиду и правилам, определённым не столь однозначно) логики.
Микротеория - это дисциплина (учебная, научная, инженерная, менеджерская и т.д.), которая рассматривается как онтика какой-то предметной области и связанные с ней мышление и коммуникация, которым можно/нужно кого-то научить для адекватного моделирования мира в рамках какой-то практики/целенаправленной деятельности по изменению мира.
Онтологии.
Онтологией (ontology) называется разделяемый (shared) многими разумными существами или веществами (agents) набор микротеорий, который имеет правила по проведению в них непротиворечивых рассуждений.
Онтологии выявляются (discover, о них избегают говорить "разрабатываются", ибо их не "придумывают" и затем "пропагандируют", чтобы они стали shared) для того, чтобы обеспечить максимально общие priors, применимые для старта мышления в максимальном числе ситуаций - сама цель получения в ходе онтологизации не просто онтики, а онтологии - максимизация числа ситуаций и максимизация числа предметов мира в онтологии.
Максимально общие priors нужны для того, чтобы максимально непротиворечивое рассуждение разных людей могло проходить через объекты нескольких разных дисциплин, быть "междисциплинарным" и требовать как можно меньше выходов в реальность для свидетельствования о безошибочности своих выводов.
Выходя в социальную плоскость - онтология это множество дисциплин и правила проведения непротиворечивых междисциплинарных рассуждений, объединяющих предметное/дисциплинарное мышление различных людей в одно коллективное мышление.
Онтика онтологики (сокращённое обозначение общей дисциплины для онтологии как дисциплины, изущающей имеющиеся в мире предметы и логики, как изучающей правильные рассуждения) и онтика системного подхода (набор концептов и правил рассуждения с ними, дающими способ борьбы с мыслительной сложностью ситуаций по изменению мира) как раз дают системную онтологию.
В основе системного подхода лежит 4D экстенсиональная онтология, в которой все предметы/объекты мира делятся на индивиды (имеющие экстент/занимаемый объём пространства-времени в физическом мире), и абстрактные объекты (не занимающие экстента, чисто мыслительные конструкции): классы/типы (множества индивидов) и классификаторы (классы классов).
Абстрактные объекты-определения (definitions) в мире представляются их описаниями (descriptions), которые могут быть найдены в мире как рабочие продукты-индивиды (work products).
"Можно делать всё, если понимаешь, что делаешь, и каковы последствия в данной ситуации" - совершенно необязательно поддерживать общность мышления для всех ситуаций в мире, которые были, есть и будут в будущем, можно ограничиваться каждый раз качественным мышлением для какого-то класса ситуаций.
Пространство смыслов.
Мышление человека (и машин) основано на концептуальном пространстве - многомерном пространстве смыслов.
В этом многомерном пространстве можно выделить области, репрезентируемые разными знаками, обозначающими предметы из предметных областей (domains).
Мы считаем, что все рассуждения в конечном итоге опираются на наши представления о предметах физического мира и их взаимодействии, хотя они и абстрагируются потом на много уровней абстракции.
Это абстрагирование - всегда рассуждения о физическом мире, мы не отрываемся от реальности.
Какое-то место в пространстве смыслов называют концептом (concept, иногда понятие). Есть множество разных вариантов определения концептов, из которых самый популярный на сегодня - теория теорий.
Концептуальные представления о части мира (предметной области/domain), выраженные как какая-то структура в пространстве смыслов мы будем называть онтиками.
Для одной и той же части пространства смыслов можно обычно предложить множество вариантов структуры, множество онтик.
Онтики существуют в головах людей и компьютеров как коннективистские модели. Если речь идёт о выражении онтик в виде, в котором их можно обсуждать и делать какие-то операции над ними, то нужно говорить о рабочих продуктах - онтических описаниях (descriptions), выражаемых знаками на каких-то носителях.
Спектр формальности мышления и онтологизация.
Онтологизация (ontology engineering/conceptual modeling/domain modeling) является практикой по повышению уровня формальности/строгости концептуальных представлений о мире.
Обычно исследования (research, "наука"), в которых пытаются выяснить, как именно устроен мир, не относят к онтологизации.
Онтологизация обычно - это оформление результатов исследования в такой форме, в которых этими результатами можно с кем-то поделиться. Приведение "невыразимых никак догадок/инсайтов" в выразимую как-то вовне форму (оформление, формализация) и есть онтологизация. В ходе её определяют концепты как места в пространстве смыслов и дают этим концептам имена-термины.
Концепты онтики фокусируют внимание на какой-то части мира: онтика содержит концепты, позволяющие отобрать из мира те предметы и их взаимодействия, которые обозначены концептами онтики - и тем самым онтика задаёт предметную область, вырезая её лучом внимания из всего становящимся при этом фоном мира.
Онтика определяет (define) те предметы мира, которые присутствуют в нашем мышлении - то, на что направлено наше внимание.
Остальное - фон, хаос, находящийся далеко влево по уровню формальности в спектре мышления.
- Когда в ходе онтологизации для определения мира из хаоса и рассеянного внимания появляются концепты и обозначающие их слова-термины, определяющие предметы (появляется определение/definition этих предметов) - это опредмечивание.
- А когда мы уходим от концептуальных/знаковых представлений 1:1 (один предмет - один коцепт), пытаясь определять предметы пространными описаниями из многих концептов или непосредственным указанием в реальном мире - это будем называть распредмечиванием.
Результат практики онтологизации - это всегда движение от неформальности и хаоса к строгости и порядку математического формализма, всегда максимальное опредмечивание.
Кроме связанных с приписыванием каким-то чётким местам в пространстве смыслов меток/концептов, чтобы к ним было легко обращаться, в онтологизацию входит и структурирование пространства смыслов на части: составление из мелких частей этого пространства каких-то больших частей, обозначающих тем самым большее число предметов мира означает абстрагирование/обобщение, а деление больших областей-концептов этого пространства на отдельные части-концепты, указывающие более специфично какие-то конкретные предметы мира, называется конкретизацией/специализацией.
Схемы, схемоиды и их разворачивание.
Формальное описание структуры онтики (какие в ней концепты и какие связи этих концептов), сделанное по мотивам "теории теорий", обычно называют концептуальной схемой, менее формальное - схемоидом (как "гуманоид" - "не человек, но на человека похож", так и тут "не схема, но на схему похож").
Схема или схемоид могут быть выражены и графической схемой, но это совершенно необязательно - схемы часто представляются текстами.
Перевод графического (часто очень краткого и неполного) изображения схемы в текстовую форму на естественном языке с прописыванием в том числе и производных (опосредованных какими-то элементами или даже определяемых в других схемах) отношений между элементами схемы называется разворачиванием схемы.
Чаще разворачивают даже не схемы, а схемоиды - и в ходе разворачивания пытаются делать дополнительный шаг по формализации.
Мышление и коммуникация.
Онтологизация (получение более-менее формально определённых priors для смыслов) и рассуждения по результирующим онтикам с уточнением этих priors какими-то свидетельствами из предметной области вместе по большому счёту и представляют собой основные практики мышления, с тем уточнением, что эти практики выполняются:
а) коллективно;
б) с участием экзокортекса (сначала памяти в виде записей, а сегодня и компьютеров, берущих на себя какую-то часть и онтологизации, и рассуждений).
Тем самым мышление (и онтологизация, и рассуждения) оказываются тесно связанными с коммуникацией: передачей онтик от одних людей и компьютеров другим.
Результатом коммуникации является то, что пространство смыслов у участников коммуникации (людей и компьютеров) оказывается размечено концептами примерно одинаково, в этом случае говорится, что участники коммуникации разделяют (share) онтики, т.е. примерно одинаково понимают схемы и схемоиды, по которым идёт мышление - и дальше можно как-то надеяться, что результаты рассуждений на основе этой разметки тоже будут одинаковыми или хотя бы совместимыми и взаимно понимаемыми участниками мышления.
Коммуникация тесно связана с онтологизацией: чем хуже выполнена онтологизация, тем хуже организована коммуникация.
Для качественной передачи смысла нужно использование схем и схемоидов, то есть должна быть выполнена онтологизация - и чем лучше она выполнена, тем короче может быть передаваемая информация без потери смысла.
Онтологизация представляет собой сжатие информации о предметной области, оставление во внимании только важного для какого-то дела и игнорирование неважного.
Дисциплины.
Онтики бывают самые разные - и разные виды онтик (ontic kinds) имеют свои названия, концепты для этих видов онтик занимают какие-то подчасти в общей для всех онтик части пространства смысла (границы этих частей и подчастей вероятностны! Это не чёткие дискретные границы!.
Когда говорится об онтике, то не делается никаких предположений о каких-то её свойствах: в общем случае, рассуждения/выводы/inferences по онтике могут приводить к противоречиям, а могут и не приводить, она может относиться к предметам и взаимодействиям в небольшой части мира (domain, предметная область), но этим domain может быть и вся вселенная.
Микротеория (microtheory) или часто просто теория - это онтика, по которой возможны более-менее формальные, непротиворечивые рассуждения в рамках какой-то строгой (по схеме и математически однозначно определённым правилам) или менее строгой (по схемоиду и правилам, определённым не столь однозначно) логики.
Микротеория - это дисциплина (учебная, научная, инженерная, менеджерская и т.д.), которая рассматривается как онтика какой-то предметной области и связанные с ней мышление и коммуникация, которым можно/нужно кого-то научить для адекватного моделирования мира в рамках какой-то практики/целенаправленной деятельности по изменению мира.
Онтологии.
Онтологией (ontology) называется разделяемый (shared) многими разумными существами или веществами (agents) набор микротеорий, который имеет правила по проведению в них непротиворечивых рассуждений.
Онтологии выявляются (discover, о них избегают говорить "разрабатываются", ибо их не "придумывают" и затем "пропагандируют", чтобы они стали shared) для того, чтобы обеспечить максимально общие priors, применимые для старта мышления в максимальном числе ситуаций - сама цель получения в ходе онтологизации не просто онтики, а онтологии - максимизация числа ситуаций и максимизация числа предметов мира в онтологии.
Максимально общие priors нужны для того, чтобы максимально непротиворечивое рассуждение разных людей могло проходить через объекты нескольких разных дисциплин, быть "междисциплинарным" и требовать как можно меньше выходов в реальность для свидетельствования о безошибочности своих выводов.
Выходя в социальную плоскость - онтология это множество дисциплин и правила проведения непротиворечивых междисциплинарных рассуждений, объединяющих предметное/дисциплинарное мышление различных людей в одно коллективное мышление.
Онтика онтологики (сокращённое обозначение общей дисциплины для онтологии как дисциплины, изущающей имеющиеся в мире предметы и логики, как изучающей правильные рассуждения) и онтика системного подхода (набор концептов и правил рассуждения с ними, дающими способ борьбы с мыслительной сложностью ситуаций по изменению мира) как раз дают системную онтологию.
В основе системного подхода лежит 4D экстенсиональная онтология, в которой все предметы/объекты мира делятся на индивиды (имеющие экстент/занимаемый объём пространства-времени в физическом мире), и абстрактные объекты (не занимающие экстента, чисто мыслительные конструкции): классы/типы (множества индивидов) и классификаторы (классы классов).
Абстрактные объекты-определения (definitions) в мире представляются их описаниями (descriptions), которые могут быть найдены в мире как рабочие продукты-индивиды (work products).
"Можно делать всё, если понимаешь, что делаешь, и каковы последствия в данной ситуации" - совершенно необязательно поддерживать общность мышления для всех ситуаций в мире, которые были, есть и будут в будущем, можно ограничиваться каждый раз качественным мышлением для какого-то класса ситуаций.