Logical systemsTheorem proversNASA

Logical systems
Theorem provers
NASA fault diagnosis
Question answering

Methods:
Deduction systems
Constraint satisfaction
Satisfiability solvers (huge advances!)

ผลลัพธ์ (ไทย) 1:

ระบบตรรกะทฤษฎีบท proversการวินิจฉัยข้อบกพร่องของนาซ่าตอบคำถามวิธีการ:ระบบหักเงินข้อจำกัดความพึงพอใจแก้ satisfiability (ก้าวหน้าอย่างมาก)

ผลลัพธ์ (ไทย) 2:

ระบบลอจิคัล
ทฤษฎีบท provers
นาซาการวินิจฉัยความผิด
คำถามที่ตอบ

วิธีการ:
ระบบหัก
พึงพอใจ จำกัด
(! ก้าวหน้ามาก) แก้ Satisfiability

ผลลัพธ์ (ไทย) 3:

ระบบตรรกะprovers ทฤษฎีบทการวินิจฉัยความผิดของนาซาตอบคําถามวิธีการ :ระบบหักความพึงพอใจจำกัดแก้ความสอดคล้อง ( ความก้าวหน้า ! ขนาดใหญ่ )