Multimodal mantık - Multimodal logic - Wikipedia

Bir multimodal mantık bir modal mantık birden fazla ilkeli olan mod operatörü. Önemli uygulamalar buluyorlar teorik bilgisayar bilimi.

Genel Bakış

Bir modal mantık ile n ilkel tek modlu operatörler denir n-modal mantık. Bu operatörler verildiğinde ve olumsuzluk her zaman eklenebilir modal operatörler olarak tanımlandı ancak ve ancak .

Belki de iki modlu bir mantığın ilk esaslı örneği şudur: Arthur Prior 's gergin mantık, "gelecekte bir zaman" ve "geçmişte bir zaman" a karşılık gelen iki modalite, F ve P ile. Bir mantık[1] sonsuz sayıda yöntemle dinamik mantık, tarafından tanıtıldı Vaughan Pratt 1976'da ve her biri için ayrı bir modal operatörü olan Düzenli ifade. Bir versiyonu zamansal mantık 1977'de tanıtıldı ve program doğrulama dinamik mantığa karşılık gelen iki modaliteye sahiptir [Bir] ve [Bir*] tek bir program için modaliteler Bir, tüm evrenin zamanda bir adım ileri gitmesi olarak anlaşıldı. Dönem multimodal mantık 1980 yılına kadar tanıtılmadı. Multimodal mantığın bir başka örneği de Hennessy-Milner mantığı, kendisi daha etkileyici olanın bir parçası modal μ-hesap aynı zamanda bir sabit nokta mantığı.

Multimodal mantık, bir tür Bilgi temsili: motivasyonu epistemik mantık birkaç aracıya izin veriyor (bunlar olarak kabul edilirler) konular inanç, bilgi oluşturabilen); ve her temsilcinin inancını veya bilgisini yönetmek, böylece epistemik onlar hakkında iddialar oluşturulabilir. Modal operatör her bir temsilcinin bilişini muhasebeleştirebilmelidir, bu nedenle aracılar kümesinde indekslenmelidir. Motivasyon şudur: "Konu ben bilgisi var doğru ". Ama aynı zamanda konuyu resmileştirmek için de kullanılabilir. ben inanıyor ". Anlamın resmileştirilmesi için olası dünya semantiği yaklaşım, a Kripke semantiğinin multimodal genellemesi kullanılabilir: tek bir "ortak" yerine erişilebilirlik ilişkisi, aracılar kümesinde indekslenmiş bir dizi var.[2]

Notlar

  1. ^ Sergio Tessaris; Enrico Franconi; Thomas Eiter (2009). Akıl Yürütme Web. Bilgi Sistemleri için Anlamsal Teknolojiler: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Springer. s. 112. ISBN  978-3-642-03753-5.
  2. ^ Ferenczi 2002: 257

Referanslar

Dış bağlantılar