These include semantic representati

These include semantic representation languages such as Situation Schemata [25] and Episodic Logic [26-27], which are well suited for representing and reasoning about the knowledge in our domain. We conclude that the fifth hypothesis can only be confirmed
if we use knowledge representation systems that: (i) embrace the representation power of first-order predicate logic [6]; (ii) explicitly allow for the representation of probabilistic conditionals [22]; and (iii) represent contextual information using an implementation of the situation calculus such as situation semantics [28].

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

ได้แก่ภาษาแสดงความหมายสถานการณ์ Schemata [25] และ [26-27], Episodic ตรรกะที่เหมาะสมสำหรับตัวแทน และการใช้เหตุผลเกี่ยวกับความรู้ในโดเมนของเรา เราสรุปว่า สามารถยืนยันสมมติฐานห้าเท่านั้นถ้าเราใช้ความรู้นำเสนอระบบที่: (i) โอบกอดแสดงพลังตรรกะบทลำดับแรก [6]; (ii) อนุญาตให้แสดง conditionals probabilistic [22]; อย่างชัดเจน และ (iii) แสดงถึงข้อมูลบริบทโดยใช้การนำไปใช้ของแคลคูลัสสถานการณ์เช่นสถานการณ์ความหมาย [28]

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

เหล่านี้รวมถึงภาษาการแสดงความหมายเช่นสถานการณ์ Schemata [25] และลอจิกหลักการ [26-27] ซึ่งมีความเหมาะสมดีสำหรับการเป็นตัวแทนและการให้เหตุผลเกี่ยวกับความรู้ในโดเมนของเรา เราสรุปได้ว่าสมมติฐานที่ห้าเท่านั้นที่สามารถได้รับการยืนยันถ้าเราใช้ระบบการแสดงความรู้ที่: (i) การโอบกอดอำนาจตัวแทนของลำดับแรกตรรกะกริยา [6];
(ii) อย่างชัดเจนอนุญาตให้เป็นตัวแทนของความน่าจะเป็นเงื่อนไขส่วน [22]; และ (iii) แสดงข้อมูลโดยใช้บริบทการดำเนินงานของสถานการณ์แคลคูลัสเช่นสถานการณ์ความหมาย [28]