For all the services we currently m

For all the services we currently model, the preconditions and postconditions can be expressed as conjunction of negation free
facts. Further, we also avoid the use of function symbols or arithmetic predicates. (Some of these limitations can be overcome
through a run time filter mechanism that will be explained later.) For this class of services, plan generation can be achieved
efficiently using a rule-based expert system [24]. (Given a set of initial facts and a set of if-then rules, an expert system provides
a mechanism of obtaining the facts that can be derived from the initial facts and rules. We use a rule-based engine implemented in
Java, called Jess [15].)

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

สำหรับบริการทั้งหมดที่เราจำลองในปัจจุบัน เงื่อนไขและ postconditions แสดงเป็นร่วมของนิเสธฟรีข้อเท็จจริง ต่อไป เรายังหลีกเลี่ยงการใช้ฟังก์ชันสัญลักษณ์หรือเลขคณิตเพรดิเคต (บางส่วนของข้อจำกัดเหล่านี้สามารถเอาชนะผ่านเวลาที่ใช้กรองกลไกที่จะอธิบายในภายหลัง) สำหรับชั้นบริการ สร้างแผนจะได้ประสิทธิภาพการใช้ตามกฎผู้เชี่ยวชาญระบบ [24] (ได้รับชุดของข้อเท็จจริงเบื้องต้นและชุดของกฎนั้นถ้า ระบบผู้เชี่ยวชาญการให้กลไกของการได้รับข้อเท็จจริงที่ได้มาจากข้อเท็จจริงเบื้องต้นและกฎ เราใช้นำมาใช้ในเครื่องยนต์ตามกฎJava เรียกว่า Jess [15])

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

สำหรับการให้บริการทั้งหมดที่เราใช้ในปัจจุบันรูปแบบปัจจัยพื้นฐานและ postconditions สามารถแสดงเป็นร่วมฟรีปฏิเสธ
ข้อเท็จจริง นอกจากนี้เรายังหลีกเลี่ยงการใช้สัญลักษณ์หรือฟังก์ชั่นภาคเลขคณิต (บางส่วนของข้อ จำกัด เหล่านี้จะสามารถเอาชนะ
ผ่านกลไกการกรองเวลาทำงานที่จะอธิบายในภายหลัง.) สำหรับระดับของการบริการรุ่นแผนสามารถประสบความสำเร็จนี้
ได้อย่างมีประสิทธิภาพโดยใช้ระบบผู้เชี่ยวชาญตามกฎ [24] (รับชุดของข้อเท็จจริงเบื้องต้นและชุดของ IF-แล้วกฎที่ระบบผู้เชี่ยวชาญให้
กลไกของการได้รับข้อเท็จจริงที่ว่าจะได้รับจากข้อเท็จจริงเบื้องต้นและกฎระเบียบ. เราใช้เครื่องมือตามกฎดำเนินการใน
Java เรียกว่าเจส [15].)

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

สำหรับบริการทั้งหมดขณะนี้รูปแบบ preconditions postconditions และสามารถแสดงเป็นการปฏิเสธของฟรีข้อเท็จจริง นอกจากนี้เรายังหลีกเลี่ยงการใช้ฟังก์ชันหรือภาคแสดงสัญลักษณ์คณิตศาสตร์ ( บางส่วนของข้อ จำกัด เหล่านี้สามารถเอาชนะผ่านเวลาในการรันกรอง กลไกซึ่งจะอธิบายภายหลัง ) สำหรับชั้นของบริการนี้ สร้างแผนสามารถลุ้นรับได้อย่างมีประสิทธิภาพโดยใช้ระบบฐานผู้เชี่ยวชาญ [ 24 ] ( ได้รับชุดของข้อเท็จจริงเบื้องต้นและชุดของถ้ากฎระบบผู้เชี่ยวชาญ ให้กลไกของการได้รับข้อเท็จจริงที่ได้มาจากข้อมูลเบื้องต้นและกฎ เราใช้กฎที่ใช้ในเครื่องยนต์อาจเรียกว่าเจส [ 15 ] )