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

Что же, на вкус, на цвет... какие конкретно неклассические логики интересны?

В одной работе видела логику с надстройкой оператора влияния. Действие пропаганды моделировали. Было интересно, но я бы таким не занималась.
Некоторым нравится belief revision (всё, сдаюсь, не переведу) в разных логиках: когда за счёт того, какими сведениями располагает агент (и это тоже, может, не так по-русски... деятель?) и каким он видит мир - во что верит - к обычной логике добавляют оператор верования (уверенности?.. belief), и там дальше всё крутится,крутится) Может использоваться и неожиданным образом, где вроде как никаких верований нет. К примеру, есть база данных с рецептами блюд, и хотят уметь строить рецепты, похожие на имеющиеся, но с заменой одного или нескольких ингредиентов. И каким-то магическим образом эта работа озаглавлена belief revision.

Хмн. Любопытно, на самом деле. Но всё-таки, имхо, это несколько... мертворождённые теории. Они интересны, часто точны, но, вот беда, принципиально ограничены. Но это моё имхо, не более:)

Это все скорее неплохо смотрится как кусок чего-то большего. А как люди могут всерьез заниматься одним этим, я не понимаю.

Не могу понять, куда их приложить. Разве что в экспертные системы. В ИИ не встроишь. ИИ сам должен свои модальные логики сделать или шпилить на нечёткой, как мы.

Есть многое на свете...)) Было бы желание.

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

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

Ага, или разрабатывают математики какие-нибудь дебри, потом стучатся физики - а матаппарат-то и готов. Или ещё веселей, когда физики недостучались и сами разработали, а оно уже есть.

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

Хех, я не математик, но думал, что математики, разрабатывающие дебри из любви к искусству - это обыденная картина. Вот зачем, спрашивается, разрабатывали ту же аксиоматику теории множеств? Пусть бы себе была противоречивая наивная теория, пофиг, всё равно в жизни её не применишь. Ан нет.

Вот в августе видела преподавателя, который рассказывал про то, как начинал. Написал статью, подошел к мастистому профессору за его мнением. А профессор и говорит:
— Статья никуда не годится.
— Как же так? — удивляется тогда еще студент.
— Технически все правильно, но это никуда не ведет. Это не та проблема, которая должна быть решенной.

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

Там очень сложно. Я вот бакалаврский диплом начала делать за два года до защиты, что-то делала, работала, но так ничего нового получить и не вышло. Среди однокурсников — раз-два и обчелся, у кого дипломы (что бакалаврские, что магистерские) получились содержательными.

Хмн. Даже нечего сказать. Разве что *пожать плечами*

Это какой тональности пожатие плечами?

Нейтральной.

Принял прочитанное к сведенью, желания отвечать не возникло.