ASP is an approach to declarative p

ASP is an approach to declarative problem solving. Rather than solving a problem by telling a computer how to solve the problem, the idea is simply to describe what the problem is and leave its solution to the computer. By comparison with other approaches such as SAT (Satisfiability Checking) and CP (Constraint Programming), ASP is an expressive nonmonotonic language based on stable model semantics, which allows elegant knowledge representation such as causality, defaults, and incomplete information. Then, we review the main concepts of ASP. More details can be seen in Ref. [23].

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

ASP เป็นวิธีแก้ปัญหาเปิดเผย แทนที่จะแก้ปัญหาโดยบอกวิธีการแก้ปัญหาคอมพิวเตอร์ ความคิดเพียงแค่จะ อธิบายว่า ปัญหาคืออะไร และปล่อยของโซลูชันไปยังคอมพิวเตอร์ เพิ่มเติมวิธีการอื่น ๆ เช่น SAT (ตรวจสอบ Satisfiability) และ CP (เขียนโปรแกรมข้อจำกัด) ASP เป็นภาษา nonmonotonic ไวน์ตามความหมายแบบมั่นคง ซึ่งช่วยให้แผ่สวยงามเช่น causality เริ่มต้น และข้อมูลที่ไม่สมบูรณ์ จากนั้น เราตรวจสอบแนวคิดหลักของ ASP รายละเอียดเพิ่มเติมสามารถดูได้ในรหัส [23]

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

ASP เป็นวิธีการแก้ปัญหาที่เปิดเผย มากกว่าการแก้ปัญหาด้วยการบอกคอมพิวเตอร์วิธีการในการแก้ปัญหาความคิดที่เป็นเพียงการอธิบายสิ่งที่เป็นปัญหาและปล่อยให้การแก้ปัญหากับคอมพิวเตอร์ โดยเปรียบเทียบกับวิธีการอื่น ๆ เช่น SAT (Satisfiability การตรวจสอบ) และซีพี ( จำกัด การเขียนโปรแกรม), ASP เป็นภาษาเชิงเดี่ยวสภาพที่แสดงออกบนพื้นฐานของความหมายรูปแบบที่มีเสถียรภาพซึ่งจะช่วยให้การแทนความรู้สง่างามเช่นเวรกรรมค่าเริ่มต้นและข้อมูลที่ไม่สมบูรณ์ จากนั้นเราจะตรวจสอบแนวคิดหลักของ ASP รายละเอียดเพิ่มเติมสามารถมองเห็นได้ในการอ้างอิง [23]

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

ASP เป็นแนวทางในการแก้ปัญหาการประกาศ . แทนที่จะแก้ปัญหาด้วยการบอกคอมพิวเตอร์ว่าจะแก้ปัญหาอย่างไร ความคิดเป็นเพียงการอธิบายสิ่งที่เป็นปัญหา และปล่อยให้สารละลายของคอมพิวเตอร์ โดยเปรียบเทียบกับวิธีอื่น ๆเช่น นั่ง ( ตรวจสอบความสอดคล้อง ) และ CP ( โปรแกรม จำกัด ) , ASP เป็นภาษา nonmonotonic แสดงออกตามความหมายแบบคงที่ ซึ่งช่วยให้การแทนความรู้ที่หรูหราเช่นวิธีเริ่มต้นและข้อมูลที่ไม่สมบูรณ์ งั้น เราทบทวนแนวคิดหลักของ ASP รายละเอียดเพิ่มเติมสามารถดูในอ้างอิง [ 23 ]