Logika orde pertama dan substitusi
Ubah aturan umum menjadi kesimpulan untuk satu objek.
dasar #FOL
SlideReasoning - KBA-aBagian Logika · pengantar PL dan predicate logic
Yang akan kamu pahami
Bedakan predikat, konstanta, variabel, dan kuantor. Lakukan instansiasi aturan universal.
Konsep inti
Logika proposisional memperlakukan pernyataan atomik sebagai simbol. Logika orde pertama memungkinkan predikat dengan argumen objek. Kuantor universal menyatakan aturan untuk seluruh objek dalam domain, sedangkan kuantor eksistensial menyatakan ada setidaknya satu objek. Contoh ini memperluas pengantar FOL pada deck.
Coba langkahnya
Aturan: untuk setiap x, Robot(x) dan BateraiRendah(x) mengimplikasikan PerluIsiDaya(x).