Stanford Research Institute Problem

Stanford Research Institute Problem Solver (1970s)
Planning system for a robotics project : SHAKEY (by Nilsson et.al.)
Knowledge Representation : First Order Logic.

Algorithm : Forward chaining on rules.

Any search procedure : Finds a path from start to goal.
Forward Chaining : Data-driven inferencing
Backward Chaining : Goal-driven

Results (Thai) 1:

ปัญหาสถาบันวิจัยสแตนฟอแก้ (1970)
ระบบการวางแผนสำหรับโครงการหุ่นยนต์: Shakey (โดยค๊ et.al. )
ความรู้การเป็นตัวแทน. ตรรกะลำดับแรก

ขั้นตอนวิธีการ: การผูกมัดไปข้างหน้ากับกฎ

ขั้นตอนการค้นหาใด ๆ . พบว่า . เส้นทางจากจุดเริ่มต้นไปสู่​​เป้าหมายข้างหน้า
ผูกมัด: สรุปอิงความที่ขับเคลื่อนด้วยข้อมูล
ย้อนกลับผูกมัด: เป้าหมายที่ขับเคลื่อนด้วย

Results (Thai) 2:

ตัวแก้ปัญหาสถาบันวิจัยสแตนฟอร์ด (ทศวรรษ 1970)
ระบบสำหรับโครงการวิทยาการวางแผน: SHAKEY (โดย Nilsson et.al)
ความรู้แสดง: ก่อนสั่งตรรกะ

อัลกอริทึม: ไปข้างหน้ากำหนดสายงานบนกฎ

การค้นขั้นตอน: ค้นหาเส้นทางจากจุดเริ่มต้นไปเป้าหมาย
กำหนดสายงานไปข้างหน้า: inferencing ปรับปรุงข้อมูล
กำหนดสายงานย้อนหลัง: เป้าหมาย

Results (Thai) 3:

ทั้ง Stanford การวิจัยสถาบันปัญหานักแก้ปัญหานี้( 1970 s ):
การวางแผนระบบสำหรับหุ่นยนต์โครงการ:บาร์ Shakey (โดย at Studien uber Autoritat und Familie AL )
ความรู้การแสดง:การสั่งซื้อครั้งแรกตรรกะ.

อัลกอริธึม:ส่งต่อพ่วงไปเรื่อยๆในกฎ

ใดการค้นหาวิธีการ:ค้นหาที่พาธจากเริ่ม( Start )เพื่อเป้าหมาย.
ส่งต่อพ่วงไปเรื่อยๆ:ข้อมูล - ขับรถพ่วงไปเรื่อยๆ inferencing
ย้อนกลับ:เป้าหมาย - ขับรถ