Dalam teori automata (automata terbatas, automata pushdown, ...) dan dalam kompleksitas, ada gagasan "ambiguitas". Otomat bersifat ambigu jika ada kata dengan setidaknya dua proses penerimaan yang berbeda. Sebuah mesin ambigu jika untuk setiap kata diterima oleh mesin paling tidak ada berjalan berbeda untuk menerima .
Gagasan ini juga didefinisikan atas tata bahasa bebas konteks: tata bahasa bersifat ambigu jika ada kata yang dapat diturunkan dalam dua cara yang berbeda.
Juga diketahui bahwa banyak bahasa memiliki karakterisasi logis yang bagus di atas model yang terbatas. (Jika bahasa teratur, ada rumus urutan kedua monadik atas kata-kata sedemikian sehingga setiap kata dari adalah model , sama dengan NP jika setara dengan rumus urutan Kedua di mana setiap kuantifikasi urutan kedua eksistensial.)
Oleh karena itu, pertanyaan saya ada di tepi dua domain: apakah ada hasil, atau bahkan definisi kanonik, "ambiguitas" dari formula dari logika yang diberikan?
Saya bisa membayangkan beberapa definisi:
- tidak ambigu jika terdapat paling banyak satu sehingga berlaku dan tidak ambigu.
- akan ambigu jika ada model keduanya dan , atau jika ambigu.
- Rumus SAT akan non-ambigu jika ada paling banyak satu tugas yang benar.
Oleh karena itu, saya bertanya-tanya apakah itu adalah gagasan terkenal, kalau tidak, mungkin menarik untuk mencoba melakukan penelitian tentang topik ini. Jika gagasan ini diketahui, adakah yang bisa memberi saya kata kunci yang dapat saya gunakan untuk mencari informasi tentang masalah ini (karena "ambiguitas logika" memberikan banyak hasil yang tidak terkait), atau buku / pdf / referensi artikel?