We formalized a housekeeping domain

We formalized a housekeeping domain with multiple cleaning
robots, in the action description language C+, and solved
some housekeeping problem instances using the reasoner
CCALC as part of a planning and monitoring framework.
While representing the domain, we made use of some utilities
of CCALC: external predicates are used to embed geometric
reasoning in causal laws, and attributes of actions
are used to talk about the special cases of actions. To represent
commonsense knowledge and background knowledge,
we made use of external predicates/functions and macros in
causal laws. While computing plans for each robot, taking
into account temporal constraints, we made use of queries.

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

เรามีสถานะเป็นโดเมนทำความสะอาด ด้วยการทำความสะอาดหลายหุ่นยนต์ ในภาษา C + และแก้ไขคำอธิบายการดำเนินการบางกรณีปัญหาทำความสะอาดโดยใช้การ reasonerCCALC เป็นส่วนหนึ่งของการวางแผนและกรอบการตรวจสอบในขณะที่เป็นตัวแทนของโดเมน ที่เราทำใช้ยูทิลิตี้บางของ CCALC: ใช้ภายนอกเพรดิเคตการฝังรูปทรงเรขาคณิตใช้เหตุผลในกฎหมายเชิงสาเหตุ และแอตทริบิวต์ของการดำเนินการจะใช้การพูดคุยเกี่ยวกับกรณีพิเศษการดำเนินการ เพื่อเป็นตัวแทนความรู้ commonsense และความรู้เราใช้ฟังก์ชันภายนอกเพรดิเคตและแมโครในกฎหมายเชิงสาเหตุ เมื่อคำนวณแผนสำหรับแต่ละหุ่นยนต์ การบัญชีข้อจำกัดขมับ เราทำใช้แบบสอบถาม

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

เรากรงเล็บโดเมนบริการดูแลทำความสะอาดกับการทำความสะอาดหลาย
หุ่นยนต์ในคำอธิบายการกระทำของภาษา C + และแก้ไข
บางกรณีปัญหาการดูแลห้องพักโดยใช้เฟ้น
. CCALC เป็นส่วนหนึ่งของกรอบการวางแผนและการตรวจสอบ
ในขณะที่ตัวแทนของโดเมนที่เราทำให้การใช้สาธารณูปโภคบางส่วน
ของ CCALC: ภาคภายนอกจะใช้ในการฝังเรขาคณิต
เหตุผลในกฎหมายสาเหตุและคุณลักษณะของการกระทำที่
จะใช้ในการพูดคุยเกี่ยวกับกรณีพิเศษของการกระทำ เพื่อเป็นตัวแทนของ
ความรู้ commonsense และความรู้พื้นหลัง
เราทำให้การใช้ภาคภายนอก / ฟังก์ชั่นและมาโครใน
กฎหมายสาเหตุ ในขณะที่การคำนวณแผนการสำหรับหุ่นยนต์แต่ละตัวเอา
เข้าบัญชี จำกัด ชั่วเราทำให้การใช้คำสั่ง