Part of these conditions concerns t

Part of these conditions concerns the form (syntax ) of a knowledge-representation formalism;
others concern its meaning (semantics). Unfortunately, it turns out that there is not a
single knowledge-representation formalism which meets all of the requirements mentioned.
In particular, the issues of expressive power of a formalism and its efficient interpretation
seem to be conflicting. However, as we shall see in the following chapters, by restricting
the expressive power of a formalism (in such a way that the domain knowledge can still be
represented adequately), we often arrive at a formalism that does indeed permit efficient
interpretation.

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

ส่วนหนึ่งของเงื่อนไขเหล่านี้เกี่ยวข้องกับแบบฟอร์ม (ไวยากรณ์) ของ formalism แสดงความรู้;
ผู้อื่นเกี่ยวกับความหมาย (ความหมาย) อับ ก็ปรากฎว่าไม่มีการ
เดี่ยว formalism นำเสนอความรู้ที่ตรงตามความต้องการดังกล่าว
โดยเฉพาะ ปัญหาของพลังแสดงออก formalism เป็นและตีความมีประสิทธิภาพของ
ดูเหมือนจะขัดแย้งกัน อย่างไรก็ตาม เราจะเห็นในบทต่อไปนี้ โดยจำกัด
formalism เป็นพลังแสดงออก (ในลักษณะ ที่รู้โดเมนยังมี
แสดงเพียงพอ), เรามักจะมาถึง formalism ที่แท้จริงให้มีประสิทธิภาพ
ตีความ

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

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

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

ส่วนหนึ่งของเงื่อนไขเหล่านี้เกี่ยวกับแบบฟอร์ม ( ไวยากรณ์ ) ของการแทนความรู้แบบ ;
ผู้อื่นเกี่ยวกับความหมาย ( อรรถศาสตร์ ) แต่ปรากฎว่าไม่มี
เดียวการแทนความรู้แบบที่ตรงตามความต้องการที่กล่าวถึง
โดยเฉพาะในเรื่องของการแสดงออกถึงพลังและประสิทธิภาพของการตีความเป็นแบบ
ดูเหมือนจะขัดแย้งกัน อย่างไรก็ตามดังที่เราจะเห็นในบทต่อไปนี้ โดยการจํากัด
การแสดงพลังของแบบ ( ในลักษณะที่ความรู้โดเมนยังสามารถ
แสดงเพียงพอ ) เรามักจะมาถึงแบบที่ไม่แน่นอนให้มีประสิทธิภาพ
ตีความ