We consider the situation where the

We consider the situation where the decision procedure of an interactive expert system
must repeatedly solve a logic minimization problem. In that setting, the response time is
slow if the instances of the logic minimization problem are dicult to solve. We propose
an alternate process. It utilizes a logic problem decomposition and replaces some instances
of the logic minimization problem by instances of satisability subproblems. In practice,
instances of satisability subproblems tend to be much easier to solve than instances of
the original logic minimization problem. Due to that fact, the decomposition approach can
be expected to produce a substantial reduction of the required computing eort. We have
used the approach in an interactive expert system for the optimal management of industrial
chemical exposure. Due to the decomposition approach, the user typically experiences no
perceptible waiting during the interactive query phase.

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

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

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

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

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

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

แบบโต้ตอบ