Propositional Logic ini merupakan algoritma yang termasuk kedalam kategori Reasoning (penalaran) dan sebagai logic yang paling sederhana. Propositional Logic sangat mudah dipahami dan membuat kita lebih mudah membedakan teknik reasoning dengan teknik searching. Teknik reasoning (penalaran) yakni teknik penyelesaian masalah dengan cara mempresentasikan masalah ke dalam basis pengetahuan (knowledge base) menggunakan logic atau bahasa formal (bahasa yang dipahami oleh komputer). Berbeda dengan teknik searching yang merepresentasikan masalah ke dalam state dan ruang masalah serta menggunakan strategi pencarian untuk menemukan solusi, reasoning merepresentasikan ke dalam basis pengetahuan dan melakukan proses penalaran untuk menemukan solusi.
Ada 5 jenis logic yang digunakan untuk merepresentasikan basis pengetahuan dan untuk melakukan penalaran, diantarnya :
- Propositional Logic
- First-Order Logic
- Temporal Logic
- Probability Theory
- Fuzzy Logic
Tata Bahasa pada Propositional Logic
- Logical constants (True dan False)
- Propositional symbols (misal P atau Q)
- Logical connectives (˄, ˅, ↔, →, ¬)
Semantik pada Propositional Logic
Aturan Inferensi untuk Propositional Logic
Tagged: Propositional Logic, Reasoning
Herdi's Blog 
Leave a comment