Sezgisel Zamansal Mantığın Zamansal Cevap Kümesi Programlamasına Uygulamaları

Sezgisel veya ara mantıklar ile mantık programlama arasındaki ilişki, Pearce'ın denge mantığı ve Osorio'nun güvenli inançları öne çıkarılarak kapsamlı bir şekilde incelenmiştir. Denge mantığı, varsayılan ve otoepistemik mantıklardaki teori tamamlama işlemine benzer şekilde, burada-ve-orada mantığına dayalı bir sabit nokta karakterizasyonu kabul eder. Güvenli inançlar da benzer şekilde, sezgisel veya diğer ara mantıkların semantiği altında olsa da, bir sabit nokta operatörü aracılığıyla tanımlanır. Bu makalede, biz...