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

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