Без заголовка

На семинаре было не слишком много про intelligence в части reasoning. Я попробовал пару раз задать на эту тему стыка нейросетей и reasoning вопросы -- увы, ответом было "ничего не знаем". Ну, напомню, что я нарыл полгода назад (http://ailev.livejournal.com/1236426.html) про связь символического и коннекционистского подходов : А чего это Вы Домингоса не помянули? :) У него же как раз работа по скрещиванию логик и лёрнинга. Ну типа вероятностное доказательство теорем и все такое. Учитывая что онтологии часто моделируют подможествами первопорядковых логик, то скрещивать онтологии с лёрнингом в этом направлении должно быть крайне перспективно.