Здравствуйте, DarkGray, Вы писали:


D>> Почти все что есть в нашей работе интересного требует для формализации логики предикатов первого порядка (например нам очень интересна арифметика),

DG>а кто-нибудь пытался исследовать системы основанные на неформальной логике?
DG>Пытался строить системы/языки — которые бы напрямую оперировали достоверностью, эвристиками, нечеткой логикой и т.д.?

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