KB 1 — Pohon semantik dan penghematan pengamatan

Kembali ke bagian induk

Cerita pengantar — penjelasan tambahan, data simulasi. Ada dua syarat meminjam: kartu berlaku dan petugas hadir. Bila kartu tidak berlaku, gabungan kedua syarat sudah gagal. Pengurus tidak perlu menunggu kabar tentang petugas untuk menilai gabungan tersebut. Sebaliknya, bila kartu berlaku, ia masih perlu memeriksa petugas.

Dari cerita ke notasi dan konsep BMP. Untuk $P \land Q$ , pecah menurut P dahulu. Cabang P=S langsung menghasilkan S. Cabang P=B baru dipecah menurut Q. Pohon ini menghasilkan tiga daun, sedangkan tabel penuh mempunyai empat baris.

flowchart TD
    A[Periksa P untuk P dan Q] -->|P benar| B[Periksa Q]
    A -->|P salah| C[Hasil salah; Q bebas]
    B -->|Q benar| D[Hasil benar]
    B -->|Q salah| E[Hasil salah]

Daun P=S mewakili dua interpretasi penuh: Q=B atau Q=S. Jumlah daun tidak selalu sama dengan jumlah interpretasi. Jika n atom tersedia dan suatu daun baru menetapkan k atom, daun itu mewakili $2^{n - k}$ penetapan penuh.

Panjang jalur perlu disertai konvensi. Dalam contoh ini panjang berarti banyak penetapan atom: satu jalur panjang 1 dan dua jalur panjang 2. Jika membandingkan jumlah daun, penghematannya $(4 - 3) / 4 \times 100 % = 25 %$ . Jika membandingkan pekerjaan lain, misalnya jumlah pengujian atom, hitung menurut definisi pekerjaan itu. Jangan mencampur penyebut.

Urutan atom dapat mengubah ukuran pohon, tetapi tidak mengubah nilai kalimat untuk interpretasi lengkap yang sama. Untuk membuat pohon: pilih atom, beri dua cabang B/S, sederhanakan, hentikan cabang yang hasilnya pasti, dan teruskan cabang lainnya.