Monoton olmayan mantık - Non-monotonic logic

Bir monoton olmayan mantık bir olan formel mantık kimin Sonuç ilişkisi değildir monoton . Başka bir deyişle, monotonik olmayan mantıklar, çürütülebilir çıkarımları yakalamak ve temsil etmek için tasarlanmıştır (bkz. geçersiz akıl yürütme ), yani akıl yürütenlerin geçici sonuçlar çıkardığı bir tür çıkarım, akıl yürütenlerin daha fazla kanıta dayalı olarak vardıkları sonucu/ları geri çekmelerini sağlar. İncelenen çoğu formel mantığın monoton bir gereklilik ilişkisi vardır, yani bir teoriye bir formül eklemenin hiçbir zaman onun sonuçlarında bir budama üretmediği anlamına gelir. Sezgisel olarak monotonluk, yeni bir bilgi parçası öğrenmenin bilinenleri azaltamayacağını gösterir. Monotonik bir mantık, varsayılan olarak akıl yürütme (sonuçlar yalnızca aksi kanıt bulunmadığından elde edilebilir), kaçırıcı akıl yürütme (sonuçlar yalnızca en olası açıklamalar olarak çıkarılır), bilgi hakkında akıl yürütmeye yönelik bazı önemli yaklaşımlar gibi çeşitli akıl yürütme görevlerini yerine getiremez ( bir sonucun cehaleti, sonuç bilindiğinde geri çekilmelidir) ve benzer şekilde, inanç revizyonu (yeni bilgi eski inançlarla çelişebilir).

Abdüktif akıl yürütme

Abdüktif akıl yürütme , bilinen gerçeklerin yeterli bir açıklamasını türetme sürecidir. Kaçırma mantığı monoton olmamalıdır çünkü olası açıklamalar mutlaka doğru değildir. Örneğin, ıslak çimen görmenin olası açıklaması yağmur yağmış olmasıdır; ancak, çimlerin ıslanmasının asıl sebebinin bir sprinkler olduğu öğrenildiğinde bu açıklama geri alınmalıdır. Eski açıklama (yağmur yağdı) bir bilgi parçasının eklenmesi nedeniyle geri çekildiğinden (bir sprinkler etkindi), açıklamaları modelleyen herhangi bir mantık monoton değildir.

Bilgi hakkında akıl yürütme

Bir mantık, bir şeyin bilinmediği anlamına gelen formüller içeriyorsa, bu mantık monoton olmamalıdır. Nitekim daha önce bilinmeyen bir şeyin öğrenilmesi, bu bilginin bilinmediğini belirten formülün kaldırılmasına yol açar. Bu ikinci değişiklik (bir eklemenin neden olduğu bir çıkarma) monotonluk koşulunu ihlal eder. Bilgi hakkında akıl yürütme mantığı , otoepistemik mantıktır .

İnanç revizyonu

İnanç revizyonu , eskileriyle tutarsız olabilecek yeni bir inanca uyum sağlamak için inançları değiştirme sürecidir. Yeni inancın doğru olduğu varsayımında, tutarlılığı korumak için eskilerden bazılarının geri alınması gerekir. Yeni bir inancın eklenmesine yanıt olarak bu geri çekilme, inanç revizyonu için herhangi bir mantığın monoton olmamasını sağlar. İnanç revizyonu yaklaşımı, tutarsızlığı ortadan kaldırmaya çalışmaktan ziyade tolere eden paratutarsız mantıklara alternatiftir .

Ayrıca bakınız

• mantık programlama
• Başarısızlık olarak olumsuzlama
• Kararlı model semantiği
• Rasyonel sonuç ilişkisi

Notlar

Referanslar

• N. Bidoit ve R. Hull (1989) " Tümdengelimli veri tabanlarında minimalizm, gerekçelendirme ve monotonluksuzluk ," Bilgisayar ve Sistem Bilimleri Dergisi 38 : 290-325.
• G. Brewka (1991). Monotonik Olmayan Akıl Yürütme: Sağduyunun Mantıksal Temelleri . Cambridge Üniversitesi Yayınları.
• G. Brewka, J. Dix, K. Konolige (1997). Monotonik Olmayan Akıl Yürütme - Genel Bir Bakış . CSLI yayınları, Stanford.
• M. Cadoli ve M. Schaerf (1993) " Monotonik olmayan mantıklar için karmaşıklık sonuçlarına ilişkin bir araştırma " Journal of Logic Programming 17 : 127-60.
• FM Donini, M. Lenzerini, D. Nardi, F. Pirri ve M. Schaerf (1990) " Monotonik olmayan akıl yürütme ," Yapay Zeka İnceleme 4 : 163-210.
• DM Gabbay (1985). Uzman sistemlerde monoton olmayan muhakeme için teorik temeller . In: Apt KR (ed) Eşzamanlı Sistemlerin Mantıkları ve Modelleri. NATO ASI Serisi (F Serisi: Bilgisayar ve Sistem Bilimleri), cilt 13. Springer, Berlin, Heidelberg, s. 439–457.
• ML Ginsberg, ed. (1987) Monotonik Olmayan Akıl Yürütmede Okumalar . Los Altos CA: Morgan Kaufmann.
• Horty, JF, 2001, "Nonmonotonic Logic", Goble, Lou, ed., The Blackwell Guide to Philosophical Logic . Blackwell.
• W. Lukaszewicz (1990) Monoton Olmayan Akıl Yürütme . Ellis-Horwood, Chichester, Batı Sussex, İngiltere.
• CG Lundberg (2000) " Anlamlı ve akılda kalıcı: Sensemaking yoluyla kaçırma ," Journal of Economic Psychology : 21(6), 691-709.
• D. Makinson (2005) Klasikten Monoton Olmayan Mantığa Köprüler , Kolej Yayınları.
• W. Marek ve M. Truszczynski (1993) Monotonik Olmayan Mantıklar: Bağlama Bağlı Akıl Yürütme . Springer Verlag.
• A. Nait Abdallah (1995) Kısmi Bilginin Mantığı . Springer Verlag.

Dış bağlantılar

• Antonelli, G. Aldo. "Monotonik olmayan mantık" . Gelen Zalta, Edward N. (ed.). Stanford Felsefe Ansiklopedisi .
• Sigara monoton mantık at PhilPapers
• Sigara monoton mantık at Indiana Felsefe Ontoloji Projesi