yapay zekâ özetinde kanıt zinciribence kanıt zincirinde yeterli dayanak bulunmadığında sistemin durduğu yer de görünmeli. eksik kanıt açıkça belirtilmeden her soruya akıcı bir sonuç veriliyorsa, hangi kısmın henüz cevaplanmadığı anlaşılmıyor.