Knowledge compilation
การรวบรวมความรู้
อ่าน 1 นาทีรูปแบบปกติแบบแยกส่วน
Knowledge compilationในตรรกะบูลีนรูปแบบปกติแบบแยก ( DNF ) เป็นรูปแบบปกติของสูตรตรรกะที่ประกอบด้วยการแยกของการเชื่อมโยง นอกจากนี้ยังสามารถอธิบายได้ว่าเป็นOR ของ AND ผล รวมของผลคูณหรือ —...
อ่าน 1 นาทีรูปแบบปกติของการปฏิเสธ
Knowledge compilationในตรรกศาสตร์ทางคณิตศาสตร์สูตรจะอยู่ในรูปแบบปกติของการปฏิเสธ ( NNF ) ก็ต่อเมื่อ ตัวดำเนิน การปฏิเสธ ( , ไม่ ) ใช้กับตัวแปรเท่านั้น และตัวดำเนินการบูลีน อื่นๆ ที่อนุญาต...
