№ 2 (2013)
4-17 120
Аннотация
В статье рассматривается один из возможных подходов к проблеме адекватности математических моделей – на примере входных данных, использующихся при создании и анализе алгоритмов решения задачи коммивояжера для возникающих на практике частных случаев этой проблемы. Авторы считают, что т.н. псевдогеометрическая версия этой проблемы более адекватно описывает множество ее частных случаев, встречающихся в большинстве предметных областей, чем значительно более распространенная геометрическая версия. Это утверждение обусловливается следующими фактами. В ходе разработки алгоритмов (а также в целях оценки их эффективности) для конкретных предметных областей необходимо принимать во внимание, насколько данные, сгенерированные выбранным методом, репрезентативны для исследуемой предметной области. Как правило, тестовые данные задаются набором случайных величин с заданным распределением. При этом используется некая идеализированная модель входных данных, чаще всего – с равномерными или нормальными распределениями значений характеристик. Однако на практике входные данные, как правило, поступают в соответствии с некоторым вероятностным распределением, отличным от равномерного или нормального. В результате производительность алгоритма на реальных данных – причем как в среднем, так и в худшем случае – неадекватна. Самый важный вывод, который хотели бы сделать авторы данной статьи, состоит в следующем. Существуют различные области – как в теоретической информатике, так и в математике, – в которых основные направления исследований, проводимых самыми разными научными группами, в действительности являются мало похожими на реальные задачи, возникающие в различных областях на практике. И «увлечение» многих математиков-программистов последовательным улучшением алгоритмов и программ, предназначенных для решения геометрической версии задачи коммивояжера (вместо псевдогеометрической ее версии), – это один из многих подобных примеров.
17-30 159
Аннотация
В статье мы излагаем свой взгляд на т.н. труднорешаемые вычислительные задачи и возможные подходы к их алгоритмизации – на уровне, «несколько превышающем научно-популярный», однако «несколько меньшем, чем научный». При этом мы делаем упор на описании методов разработки алгоритмов для них и не сводим рассмотрение трудных задач, а также нашу интерпретацию трудности, к т.н. NP-трудности. В центре нашего внимания находятся проблемы, для которых (пока) не доказаны ни NP-трудность, ни полиномиальная разрешимость, т.е. неизвестно, существуют ли алгоритмы, решающие эту задачу за т.н. полиномиальное время (время, ограниченное некоторым полиномом относительно размера входных данных). Однако, кроме того, мы считаем трудными и такие задачи, для которых полиномиальная разрешимость доказана – однако (пока) неизвестны полиномиальные алгоритмы малых степеней. Среди рассматриваемых нами примеров задач – известные интеллектуальные игры-головоломки, а также задача коммивояжера и проблемы минимизации недетерминированных конечных автоматов и дизъюнктивных нормальных форм. Среди алгоритмов мы в первую очередь рассматриваем эвристические – которые обычно не гарантируют получение оптимального решения, однако с приемлемо большой вероятностью дают решение, близкое к нему. Важной их разновидностью являются т.н. anytime-алгоритмы – алгоритмы реального времени, которые в каждый определенный момент работы имеют лучшее (на данный момент) решение; при этом пользователь в режиме реального времени может просматривать эти псевдооптимальные решения, а последовательность таких решений в пределе обычно дает оптимальное
31-42 116
Аннотация
Перспектива электронного правосудия рассмотрена в свете возможности количественной оценки юридических аргументов, базирующейся на концепте логической вероятности. Прояснены особенности и область применения Лейбницева подхода в такой оценке в сравнении с «объективным Байесионизмом». Указано принципиальное препятствие, которое сегодня является вызовом любой попытке реализации полного электронного правосудия: оно порождается существенной ролью человеческой интуиции в установлении исходных данных, необходимых для количественной оценки юридических аргументов. Действительно полное е-правосудие потребует, видимо, не только объективного и мощного искусственного интеллекта, но и соответствующей искусствен-ной интуиции.
43-55 225
Аннотация
В настоящей статье мы рассматриваем наиболее влиятельные и обсуждаемые антифизикалистские аргументы, ставшие в последнее десятилетие почти культовыми. В программе антифизикализма можно выделить две подпрограммы – негативную и позитивную. В рамках позитивной части ведутся поиски теории, которая могла бы объяснить, каким образом физические процессы в мозге порождают ментальный опыт. В свою очередь, негативная часть направлена на критику главных доводов и положений физикализма (материализма). В настоящей статье мы сосредотачиваемся на второй критической части. При этом мы ограничиваемся изложением тех аргументов, которые призваны показать и отстоять феноменальность сознания. Не имея возможности подробно излагать собственно физикалистские позиции и аргументы, мы будем пояснять их по ходу рассмотрения аргументов антифизикализма. Цель нашей работы довольно скромна – сделать обзор основных феноменалистских аргументов антифизикализма, сопроводив их соответствующим поясняющим комментированием и, по возможности, компактным анализом. Придерживаясь задуманного формата исследования, мы не ставили цели высказывать собственные критические замечания и соображения в связи с рассматриваемыми аргументами, т.к. это не позволило бы уложиться в объем одной статьи.
56-67 164
Аннотация
Статья посвящена рассмотрению феномена эмпатии в философско-психологическом аспекте в современных условиях интернетизации и киберсоциализации общества. Особое внимание уделено визуальному аспекту восприятия, который является ключевым для ряда составляющих жизнедеятельности человека в интернет-среде, в том числе возможностей проявления эмпатии
68-74 114
Аннотация
В статье описан проект информационной системы, в которой будут представлены интерактивные материалы в области истории основных идей, концепций, проблем, дискурсов, категорий в области философии. Информационная система будет использовать виртуальный механизм «машины времени», пользователь которой, рассматривая идею в конкретный момент времени, получает модель в состоянии, соответствующем заданному периоду, при этом актуализируется не только сам объект, но и его окружение, все связанные идеи, категории, концепции. Доступ к информационной системе будет производиться через интернет- сайт проекта. Управление контентом будет децентрализованным. В дальнейшем разработанное программное обеспечение и методика организации материала может использоваться для создания информационных систем по другим направлениям и дисциплинам
ISSN 2305-3763 (Online)