2.1 Related WorkThe declarative spe

2.1 Related Work
The declarative specification of norms [6, 3] and policies [15, 14] is a widely studied concept in distributed artificial intelligence and in the specification of open interaction systems. Their declarative specification with a language with a formal semantics makes possible (i) to develop software agents able to automatically reason on them and software systems able to monitor their fulfilment or violation; (ii) in

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

2.1 งานที่เกี่ยวข้องข้อมูลจำเพาะ declarative บรรทัดฐาน [6, 3] และนโยบาย [15, 14] เป็นแนวคิดอย่างกว้างขวาง studied ในปัญญาประดิษฐ์แบบกระจาย และข้อมูลจำเพาะของระบบโต้ตอบเปิด ข้อมูลจำเพาะของ declarative ภาษามีความหมายอย่างเป็นทางการทำให้ (i) ได้พัฒนาซอฟต์แวร์ตัวแทนได้โดยอัตโนมัติเหตุผลเหล่านั้นและซอฟต์แวร์ระบบสามารถตรวจสอบการปฏิบัติตามพันธกรณีหรือละเมิด (ii) ใน

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

2.1 งานที่เกี่ยวข้อง
เปิดเผยข้อมูลของบรรทัดฐาน [6, 3] และนโยบาย [15, 14] เป็นแนวคิดการศึกษาอย่างกว้างขวางในการกระจายปัญญาประดิษฐ์และในสเปคของระบบการทำงานร่วมกันเปิด เปิดเผยข้อมูลของพวกเขาด้วยภาษาที่มีความหมายอย่างเป็นทางการทำให้เป็นไปได้ (i) ในการพัฒนาซอฟแวร์ตัวแทนสามารถให้เหตุผลที่พวกเขาโดยอัตโนมัติและระบบซอฟแวร์สามารถตรวจสอบการปฏิบัติตามของพวกเขาหรือการละเมิด; (ii) ใน

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

2.1 ความสัมพันธ์
สเปคคำประกาศของบรรทัดฐาน [ 6 ] และนโยบาย [ 15 , 14 ] มีการศึกษาอย่างกว้างขวาง แนวคิดในการกระจายและปัญญาประดิษฐ์ในการกำหนดระบบการเปิด Their declarative specification with a language with a formal semantics makes possible (i) to develop software agents able to automatically reason on them and software systems able to monitor their fulfilment or violation; (ii) in