5.1 PropositionsWriting constraints

5.1 Propositions
Writing constraints extensionally as tables of legal values for variables is not very intuitive. It is difficult to see what the tables are saying. It is also difficult to debug the knowledge, and small changes in the problem can mean big changes to the tables. One way to write constraints intensionally is in terms of propositions.
There are a number of reasons for using propositions for specifying constraints and queries:
It is often more concise and readable to give a logical statement about the relationship between some variables than to use an extensional representation.
The kind of queries an agent may have to answer may be richer than single assignments of values to variables.
This language is extended to reason about individuals and relations in Chapter 12.
We first give the syntax and the semantics of a language called propositional calculus.

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

5.1 ขั้นการเขียนข้อจำกัดของ extensionally เป็นตารางค่าทางกฎหมายสำหรับตัวแปรได้ง่ายมาก เป็นการยากที่จะเห็นว่าตารางจะบอกว่า ก็ยังยากที่จะตรวจแก้จุดบกพร่องความรู้ และการเปลี่ยนแปลงเล็กน้อยในปัญหาอาจหมายถึง การเปลี่ยนแปลงตารางใหญ่ วิธีการเขียนข้อจำกัด intensionally หนึ่งคือในขั้นมีจำนวนของเหตุผลสำหรับการใช้ขั้นข้อจำกัดและแบบสอบถาม:ก็มักจะเป็นมากขึ้นกระชับ และอ่านให้คำสั่งทางตรรกะเกี่ยวกับความสัมพันธ์ระหว่างตัวแปรบางอย่างมากกว่าการใช้การแสดง extensionalชนิดของแบบสอบถามตัวแทนอาจต้องตอบได้ยิ่งขึ้นกว่าการกำหนดค่าตัวแปรเดียวภาษานี้จะขยายไปยังเหตุผลเกี่ยวกับบุคคลและความสัมพันธ์ในบทที่ 12เราต้องให้ไวยากรณ์และความหมายของภาษาเรียกว่าแคลคูลัสเชิงประพจน์

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

5.1 ข้อเสนอ
การเขียนข้อ จำกัด extensionally ตารางของค่าทางกฎหมายสำหรับตัวแปรที่ไม่ได้ใช้งานง่ายมาก มันเป็นเรื่องยากที่จะเห็นสิ่งตารางจะพูด นอกจากนี้ยังเป็นเรื่องยากที่จะแก้ปัญหาความรู้และการเปลี่ยนแปลงเล็ก ๆ ในปัญหาที่เกิดขึ้นอาจจะหมายถึงการเปลี่ยนแปลงครั้งใหญ่ในตาราง วิธีการหนึ่งที่จะเขียนข้อ จำกัด intensionally เป็นในแง่ของข้อเสนอ.
มีจำนวนของเหตุผลสำหรับการใช้ข้อเสนอสำหรับการระบุข้อ จำกัด และแบบสอบถามคือ
มันมักจะเป็นมากขึ้นกระชับและสามารถอ่านได้ที่จะให้คำสั่งตรรกะเกี่ยวกับความสัมพันธ์ระหว่างตัวแปรบางกว่าที่จะใช้ extensional ตัวแทน.
ประเภทการค้นหาตัวแทนอาจจะต้องตอบอาจจะยิ่งขึ้นกว่าที่ได้รับมอบหมายเดียวของค่าตัวแปร.
ภาษานี้จะขยายให้เหตุผลเกี่ยวกับบุคคลและความสัมพันธ์ในบทที่ 12
ก่อนอื่นเราให้ไวยากรณ์และความหมายของภาษาที่เรียกว่าประพจน์ แคลคูลัส

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

5.1 ข้อเสนอ
เขียนข้อจำกัด extensionally เป็นตารางค่าทางกฎหมายสำหรับตัวแปรมีมากใช้งานง่าย มันเป็นเรื่องยากที่จะเห็นสิ่งที่โต๊ะพูด มันยังเป็นเรื่องยากที่จะตรวจสอบความรู้ และการเปลี่ยนแปลงเล็ก ๆในปัญหาสามารถหมายถึงการเปลี่ยนแปลงครั้งใหญ่กับตาราง วิธีหนึ่งที่จะเขียน intensionally มีข้อจำกัดในแง่ของข้อเสนอ .
มีจำนวนของเหตุผลที่ใช้สำหรับการระบุเงื่อนไขข้อเสนอและแบบสอบถาม :
มักกระชับมากขึ้น และอ่านได้ เพื่อให้ชี้แจงเหตุผลเกี่ยวกับความสัมพันธ์ระหว่างตัวแปรมากกว่าที่จะใช้แสดงแบบขยาย .
ชนิดของแบบสอบถามตัวแทนอาจต้องตอบอาจรวยกว่าเดียวที่ได้รับมอบหมายของค่าในตัวแปร
ภาษานี้จะขยายให้เหตุผลเกี่ยวกับบุคคล และความสัมพันธ์ในบทที่ 12 .
เราแรกให้ไวยากรณ์และความหมายของภาษาที่เรียกว่าแคลคูลัสเชิงประพจน์ .