Статьи журнала - Онтология проектирования
Все статьи: 530
Арифметика сознания Дж. Спенсера-Брауна
Статья научная
В статье представлен краткий обзор идей Дж. Спенсера-Брауна - британского логика, математика и философа, автора оригинальной теории исчисления индикаций, предоставляющей математическую основу для воображаемой или двойственной логики, учитывающей двойственность и самореферентность человеческого познания. Также в связи с изложением идей Спенсера-Брауна рассматриваются вопросы соотношения математики и логики, проявления наблюдаемого и ненаблюдаемого, проведён сравнительный анализ «арифметики сознания» Спенсера-Брауна и булевой алгебры. На конкретных примерах показана онтологическая асимметрия логики Аристотеля и её преодоление с помощью алгебры и арифметики Спенсера-Брауна. Исходя из законов формы, продемонстрированы два класса явлений, и связанных с ними понятий, соответствующих ответам на вопросы: «что происходит»? и «что за этим кроется»? Показана роль исчисления индикаций, как математического аппарата для моделирования когнитивных процессов.
Бесплатно
Статья научная
Мониторинг может быть полезным при контроле состояния физического здоровья студента и проводится с целью получения информации, необходимой для принятия управленческих решений по укреплению здоровья обучающихся, занимающихся физической культурой и спортом. В статье описан процесс обработки данных о состоянии физического здоровья обучающихся для использования в автоматизированной экспертной системе на основе онтологии «Здоровье студента», созданной в редакторе Fluent Editor . Описаны разработанные онтология и клиентское приложение для интерактивного взаимодействия с пользователем. Цель работы - учёт данных о физическом развитии и подготовленности обучающегося, включая организацию автоматизированной подготовки выходных документов. Для написания клиентского приложения использован язык Python и его библиотеки для создания приложения и обеспечения взаимодействия с онтологией. Взаимодействие созданной онтологии с клиентским приложением представляет новизну применяемого подхода.
Бесплатно
Статья научная
В статье проводится сравнительный анализ представлений о смерти и бессмертии в контексте гуманистического и трансгуманистического типов мировоззрения. Выявляются особенности интерпретации идеи бессмертия в философии русского космизма и в современном трансгуманизме («бессмертие» предстаёт здесь в качестве проекта и цели человеческого существования). Проводятся параллели между христианской и трансгуманистической трактовками идеи бессмертия.
Бесплатно
Будущее университета: онтологический подход. Часть 1: история, прогноз, модели
Статья научная
Онтология проектирования как научное направление базируется на результатах проектной деятельности в различных областях. В статье представлен материал исследования сущностей предметной области «университет». Кратко показана история становления и развития университета, как важного элемента общественно-государственной системы развития цивилизации. Выявлены свойства и отношения исследованных сущностей. Приведен анализ экспертной анкеты по оценке будущего высшей школы России, а также анализ моделей и стратегий развития университетов. Показаны примеры реализации проектного обучения в вузах России. Дана оценка реализации концепции виртуального университета будущего.
Бесплатно
Будущее университета: онтологический подход. Часть 2: сущности, мотивация, проектное обучение
Статья научная
Во второй части статьи представлен материал исследования сущностей предметной области «университет». Выявлены свойства и отношения исследованных сущностей. Исследованы вопросы мотивации в системе университет, в частности, мотивация студентов, обучающихся на инженерных специальностях университетов. На основе опроса с использованием шкалы Ликерта проведен анализ данных мотивированности студентов на старших курсах, а также сопоставление с результатами аналогичных зарубежных исследований. Показаны примеры и технологии реализации проектного обучения в вузах России и за рубежом.
Бесплатно
Будущее университета: онтологический подход. Часть 3: автоматизация бизнес-процессов
Статья научная
В третьей части статьи представлен материал по автоматизации процессов, сопровождающих деятельность университета. Дан краткий обзор работ и используемых программных систем по автоматизации учебного процесса. На основе мультиагентной парадигмы рассмотрены возможности автоматизации многих бизнес-процессов, подробно исследованы процессы набора контингента и распределения выпускников. Предложен организационно-программный механизм автоматического зачисления студентов в университеты России на основе ЕГЭ и листка приоритетов абитуриента. Система менеджмента качества на базе стандарта ISO 9000 рассматривается как первый шаг на пути к автоматизации процессов. Приведены результаты повторного исследования мотивации студентов, обучающихся на инженерных специальностях университетов, проведенного на основе опроса с использованием шкалы Ликерта. Выделены нерешенные и не решаемые проблемы автоматизации в организации процесса трансляции знаний в университете.
Бесплатно
Вероятностные формальные понятия в некоторых задачах классификации
Статья научная
Рассматривается определение формальных понятий как неподвижных точек импликаций. На основе этого определения водится понятие вероятностных формальных понятий путем замены импликаций на специальные максимально специфические вероятностные правила, для которых ранее было доказано, что неподвижные точки для них логически непротиворечивы. Определяется алгоритм ProbClosure обнаружения вероятностных формальных понятий. Для разработки алгоритмов кластеризации и классификации контекст рассматривается как выборка из генеральной совокупности. Обобщая алгоритм ProbClosure, определяются алгоритмы кластеризации ConcClosure и StatClosure путем введения различных функционалов энергии, определяющих степень непротиворечивости правил в неподвижной точке. Алгоритмы классификации получаются путем применения алгоритмов кластеризации к новым данным. Проведено сравнение полученных алгоритмов классификации с решающими деревьями C4.5, ID3 и методом классификации, основанным на решётке формальных понятий. Сравнение проведено на данных репозитория UCI. Полученные результаты показали сравнительно большую точность разработанных алгоритмов по сравнению с указанными методами.
Бесплатно
Взгляд на формализацию смысла с позиций трансдисциплинарного подхода
Статья научная
Возможность оперирования знаниями основана на использовании соответствующих понятий, их обозначений и описаний. Последние, представленные в кратком виде, суть определения, адекватно отражающие вложенный в эти знания смысл, и особенности которых во многом определяют дальнейшие логические построения. Традиционно описания строятся на основе понятий, относящихся к признакам и связям, присущих объекту внимания. В литературе предложено описание понятий в рамках контекстно-смысловой парадигмы. В статье предпринята попытка рассмотреть не только известные, а все потенциально возможные пути формирования адекватного описания смыслового содержания понятий, используя предложенный в ИПУ РАН вариант трансдисциплинарного подхода. Этот вариант предусматривает выявление и систематизацию знаний в рамках целостного построения. Процедура формирования описания, раскрывающего смысл знания, рассматривается как метод решения соответствующей задачи. Описаны логические процедуры, устанавливающие происхождение понятий, позволяющие указать их место в целостном построении, определить достижимые границы формализации при формировании искомых описаний и, следовательно, потенциальные возможности реализуемости сильного искусственного интеллекта.
Бесплатно
Визуально-аналитическое мышление и интеллект-карты в онтологическом инжиниринге
Статья научная
Статья посвящена вопросам практического применения принципов визуально-аналитического мышления в задачах структурирования знаний при разработке онтологий. Под визуально-аналитическим мышлением понимается применение методологий, использующих различные виды диаграмм для представления идей, концептов, отношений и процессов. Из известных практически используемых видов диаграмм выбраны интеллект-карты как наиболее распространенный, удобный и простой метод корректного формирования и проектирования онтологий сложных предметных областей. Интеллект-карты отражают иерархические связи между понятиями и позволяют достаточно глубоко отображать особенности и закономерности предметных областей с их спецификой отношений. Бьюзен сформулировал идею интеллект-карт в качестве компактного средства организации конспектов, которое впоследствии было доведено до программной реализации и получило широкое распространение в различных областях образования, научных исследований и бизнеса. В статье рассматриваются основные принципы формирования таких карт и анализируются типичные ошибки разработчиков. Впервые предлагается классификация ошибок с учётом синтаксических, семантических и прагматических аспектов. Приводится разбор наиболее частых ошибок, связанных с нарушением правил «хорошего обобщения» и «разумного минимализма». Статья обобщает десятилетний опыт обучения и тренинга навыков визуально-аналитического мышления на программах Executive MBA и на корпоративных тренингах и может быть интересна разработчикам интеллектуальных систем и систем управления знаниями.
Бесплатно
Вычислительные аспекты формирования универсальных таблиц коэффициентов важности критериев
Статья научная
Автором ранее был предложен подход, позволяющий повысить обоснованность и снизить трудоёмкость принятия решений в условиях многокритериального сравнения альтернатив. Метод основан на использовании заранее рассчитанных универсальных таблиц весовых коэффициентов линейной свёртки критериев. Универсальная таблица содержит 2 n-1 строк, где n - число критериев. Каждая строка таблицы отвечает уникальному возможному распределению критериев между группами важности. При большом числе критериев вычислительная сложность такого подхода настолько велика, что требуется значительное время для получения результата. В настоящей статье предложены способы, позволяющие уменьшить трудоёмкость расчёта одной таблицы в 2 n-1 раз. Это достигается использованием обнаруженного «краевого эффекта», который проявляется в повторяемости ряда коэффициентов в различных строках таблицы. Благодаря этому может быть сформирована система линейных алгебраических уравнений, переменными которой являются искомые значения коэффициентов. Система легко решается численными методами. Предложенный подход существенно облегчает построение универсальных таблиц для достаточно большого (несколько десятков) числа критериев и уменьшает потребный объём памяти систем поддержки принятия решений. Он также позволяет глубже осмыслить рациональную основу понятия «важнее», используемого во всех областях человеческой деятельности.
Бесплатно
