在滿足問題或任何決策或可簡化為滿足問題的其它問題內(nèi)，本發(fā)明追蹤蘊(yùn)涵沿著其傳播的路徑，并且識(shí)別條件矛盾，并且隨后將所述矛盾沿著所述蘊(yùn)涵路徑朝向假設(shè)或其它無前提斷言移回，以排除所述矛盾。所述動(dòng)作在比由現(xiàn)有方法引發(fā)的時(shí)間短的時(shí)間內(nèi)完成，并且因此提供對解決這些問題的裝置、軟件或過程的性能改進(jìn)。這些問題由涉及許多技術(shù)領(lǐng)域的裝置、軟件和過程解決，包括：礦石精煉；管道布線；紗線制造；面料切割；鋸木；機(jī)械部件設(shè)計(jì)；數(shù)據(jù)處理系統(tǒng)的結(jié)構(gòu)設(shè)計(jì)；電路或半導(dǎo)體掩模的設(shè)計(jì)和分析；集裝箱、管道和畫廊的檢查和保護(hù)；傳感器陣列操作；軌道衛(wèi)星操作；數(shù)據(jù)壓縮；化學(xué)分析；蛋白質(zhì)的設(shè)計(jì)和分析。