Inference is a form of logical thin

Inference is a form of logical thinking form of deducing new judgements or conclusions with known conditions. It is a commonly used method for problem solving which relies on people's mastery of knowledge and connections between things. 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:

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

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

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

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

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