Before discussing reasoning, we fir

Before discussing reasoning, we first briefly
address the problem of representation in the attributevalue
language. Reasoning tasks are often expressed
in English and have simple, direct counterparts in the
classical first-order logic language (FOL). For PDL2
to reason about such first-order statements, they must
first be translated into an equivalent symbolic-valued
attribute language (AVL) representation. Note
however that AVL is not as expressive as FOL, so that
only certain FOL statements can be translated directly
into AVL statements. Essentially, only implications
whose predicates all range over a single universally
quantified variable, and whose premise is a
conjunction of predicates may be translated. In some
cases, contextual information may be used to lift this
restriction. Despite said limitations, several
interesting commonsense reasoning protocols satisfy
AVL's requirement, and can thus be handled by PDL2.

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

ก่อนคุยเหตุผล เราแรกสั้น ๆปัญหาของตัวแทนในการ attributevalueภาษา เหตุผลงานมักจะแสดงในภาษาอังกฤษ และมีคู่แบบง่าย โดยตรงในการภาษาตรรกะแรกสั่งคลาสสิก (FOL) สำหรับ PDL2เหตุผลเกี่ยวกับคำสั่งแรกเช่น พวกเขาต้องการแรก แปลสัญลักษณ์มูลค่าเทียบเท่าคุณลักษณะภาษา (AVL) แทน หมายเหตุอย่างไรก็ตาม ว่า AVL ไม่แสดงออกที่ FOL ให้สามารถแปลเฉพาะบางคำ FOL โดยตรงใน AVL งบ หลัก เฉพาะผลกระทบเพรดิเคตมีทุกช่วงผ่านเดียวแบบตัวแปร quantified และหลักฐานเป็นการร่วมของเคตสามารถแปล ในบางกรณี ข้อมูลบริบทอาจใช้ยกนี้จำกัด แม้ มีข้อจำกัดดังกล่าว หลายโพรโทคอ commonsense เหตุผลน่าสนใจพอความต้องการของ AVL และดังนั้นถูกจัดการ โดย PDL2

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

ก่อนที่จะคุยให้เหตุผลสั้น ๆ
ครั้งแรกที่เราแก้ไขปัญหาของการเป็นตัวแทนในattributeValue
ภาษา งานเหตุผลมักจะแสดงในภาษาอังกฤษและมีความเรียบง่ายคู่โดยตรงในภาษาตรรกะลำดับแรกคลาสสิก(FOL) สำหรับ PDL2 ให้เหตุผลเกี่ยวกับงบแรกคำสั่งดังกล่าวจะต้องแรกที่ได้รับการแปลเป็นสัญลักษณ์ที่มีมูลค่าเทียบเท่าภาษาแอตทริบิวต์(AVL) เป็นตัวแทน หมายเหตุแต่ที่ AVL ไม่เป็นที่แสดงออกเป็น FOL เพื่อให้เฉพาะบางงบFOL สามารถแปลโดยตรงเข้าไปในงบ AVL หลักความหมายเฉพาะที่มีช่วงภาคทั่วสากลเดียวตัวแปรเชิงปริมาณและมีหลักฐานเป็นร่วมของภาคอาจจะแปล ในบางกรณีข้อมูลบริบทอาจถูกใช้เพื่อยกนี้ข้อจำกัด แม้จะมีข้อ จำกัด กล่าวว่าหลายที่น่าสนใจโปรโตคอลเหตุผลcommonsense ตอบสนองความต้องการของAVL และทำให้สามารถจัดการโดย PDL2

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

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

แม้จะกล่าวว่าข้อ จำกัด หลาย ๆเหตุผล commonsense โปรโตคอลตอบสนอง

น่าสนใจของ AVL , และดังนั้นจึงสามารถจัดการโดย pdl2 .