Automated inference uses computer t

Automated inference uses computer to imitate people inference process and get the answers. It is composed of program inference, program correctness proving and expert system.

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

อนุมานอัตโนมัติใช้คอมพิวเตอร์เพื่อเลียนแบบกระบวนการอนุมานคน และได้รับคำตอบ ประกอบด้วยการอ้างอิงโปรแกรม การพิสูจน์ความถูกต้องของโปรแกรม และระบบผู้เชี่ยวชาญ

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

อนุมานอัตโนมัติใช้คอมพิวเตอร์ที่จะเลียนแบบคนกระบวนการอนุมานและได้รับการตอบ มันประกอบด้วยอนุมานโปรแกรมโปรแกรมถูกต้องพิสูจน์และระบบผู้เชี่ยวชาญ