The process by which the soundness

The process by which the soundness of an inference rule is established through truth tables can be extended to entire classes of inferences. There are certain patterns of inferences that occur over and over, and their soundness can be shown once and for all. Then the pattern can be captured in what is called an inference rule. Once this has been done, the rule can be used to make inferences without going through the tedious process of building truth tables.

We have already seen the notation to say that can be derived from by inference. An alternate notation emphasizes that this is not a sentence, but rather an inference rule:


---------

Here and match sentences.
Whenever something in the knowledge base matches the pattern above the line, the inference rule concludes the sentence below the line.

An inference rule is sound if the conclusion is true in all cases in which the premises are true.

Some example inference rules:

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

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

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

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

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

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

เราได้เห็นโน้ตบอกว่าได้มาจากโดยการอนุมาน เป็นโน้ตสลับกัน เน้นว่าไม่ใช่ประโยค แต่การอนุมานกฎ :


---------


ที่นี่และตรงประโยคเมื่อบางสิ่งบางอย่างในฐานความรู้ที่ตรงกับรูปแบบข้างต้นบรรทัด , การอนุมานกฎที่สรุปประโยคด้านล่างบรรทัด

การอนุมานกฎเสียงถ้าข้อสรุปเป็นจริงในทุกกรณี ซึ่งในสถานที่จริง

บางตัวอย่างการอนุมานกฎ :