ทฤษฎีคำสัญญา
ทฤษฎีสัญญาเป็นวิธีการวิเคราะห์ที่เหมาะสมสำหรับการศึกษาระบบใดๆ ของส่วนประกอบที่โต้ตอบกัน ในบริบทของวิทยาศาสตร์สารสนเทศทฤษฎีสัญญาเสนอวิธีการจัดระเบียบและทำความเข้าใจระบบโดยการจำลองความร่วมมือโดยสมัครใจระหว่างผู้แสดงหรือตัวแทน แต่ละราย ซึ่งเปิดเผยเจตนา ของตน ต่อกันในรูปแบบของสัญญา ทฤษฎีสัญญามีพื้นฐานมาจากทฤษฎีกราฟและทฤษฎีเซต[ 1 ]
เป้าหมายของทฤษฎีคำสัญญาคือการเปิดเผยพฤติกรรมของส่วนรวมโดยพิจารณาจากมุมมองของส่วนย่อยแทนที่จะเป็นส่วนรวม กล่าวอีกนัยหนึ่งคือเป็นมุมมองแบบสร้างจากล่างขึ้นบนของโลก ทฤษฎีคำสัญญาไม่ใช่เทคโนโลยีหรือวิธีการออกแบบ ไม่ได้สนับสนุนจุดยืนหรือหลักการออกแบบใดๆ ยกเว้นในฐานะวิธีการวิเคราะห์[ 2 ]
ทฤษฎีสัญญาถูกนำไปใช้ในหลากหลายสาขาวิชา ตั้งแต่การจัดการเครือข่าย ( SDN ) [ 3 ]และการจัดการระบบคอมพิวเตอร์[ 4 ]ไปจนถึงองค์กร[ 5 ]และการเงิน[ 6 ]
ประวัติศาสตร์
ทฤษฎีสัญญารูปแบบแรกเริ่มได้รับการเสนอโดยนักฟิสิกส์และนักวิทยาศาสตร์คอมพิวเตอร์Mark Burgessในปี 2547 [ 3 ]โดยเริ่มแรกในบริบทของวิทยาศาสตร์สารสนเทศ เพื่อแก้ปัญหาที่สังเกตได้จากการใช้ตรรกะตามภาระผูกพันในแผนการจัดการคอมพิวเตอร์ โดยเฉพาะอย่างยิ่งสำหรับ การ จัดการตามนโยบาย[ 7 ]
ความร่วมมือระหว่างเบอร์เจสและนักวิทยาศาสตร์คอมพิวเตอร์ชาวดัตช์แยน เบิร์กสตราได้ปรับปรุงแบบจำลองของคำสัญญา ซึ่งรวมถึงแนวคิดเรื่องข้อจำกัดและบทบาทของความไว้วางใจ ความร่วมมือนี้ส่งผลให้เกิดหนังสือหลายเล่มและบทความทางวิทยาศาสตร์จำนวนมากที่ครอบคลุมการใช้งานที่หลากหลาย[ 1 ] [ 6 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ]
แม้ว่าทฤษฎีคำสัญญาจะมีการประยุกต์ใช้ในวงกว้าง แต่เดิมนั้น Burgess ได้เสนอทฤษฎีนี้ขึ้นมาเพื่อใช้เป็นแบบจำลองซอฟต์แวร์การจัดการคอมพิวเตอร์CFEngineและพฤติกรรมที่เป็นอิสระของมัน CFEngine อยู่ระหว่างการพัฒนามาตั้งแต่ปี 1993 [ 4 ]และ Burgess พบว่าทฤษฎีที่มีอยู่ซึ่งอิงตามภาระผูกพันนั้นไม่เหมาะสม เนื่องจาก "มันเป็นเพียงความหวังลมๆ แล้งๆ" [ 14 ]ด้วยเหตุนี้ CFEngine จึงใช้แบบจำลองความเป็นอิสระ ซึ่งเป็นไปตามทฤษฎีคำสัญญา ทั้งในฐานะวิธีการหลีกเลี่ยงความไม่สอดคล้องกันแบบกระจายในนโยบาย และในฐานะหลักการรักษาความปลอดภัยเพื่อป้องกันการโจมตีจากภายนอก ณ เดือนมกราคม 2023 มีบริษัทมากกว่า 2,700 แห่งทั่วโลกที่ใช้ CFEngine [ 15 ]
นอกเหนือจากการจัดการการกำหนดค่าและ วินัย DevOpsแล้ว ทฤษฎีคำสัญญาเริ่มต้นอย่างช้าๆ ในบทความPromise You A Rose Garden (2007) [ 14 ] Burgess ใช้รูปแบบที่เป็นที่นิยมมากกว่าและไม่เป็นทางการ แต่ก็ไม่สามารถขยายการมองเห็นแนวคิดนี้ในวงกว้างได้ในขณะนั้น ไม่กี่ปีต่อมา ในปี 2012 สถานการณ์ก็เปลี่ยนไปเมื่อCiscoเริ่มใช้ทฤษฎีคำสัญญาใน โครงการ SDN ที่กำลังเติบโต หรือที่รู้จักกันในชื่อ Application Centric Infrastructure (ACI) [ 16 ]สื่อเทคโนโลยีเริ่มนำการใช้งานนี้มาใช้ในปี 2013 [ 17 ] [ 3 ] [ 18 ] [ 19 ]ซึ่งนำไปสู่การประยุกต์ใช้ทฤษฎีคำสัญญาในสาขาวิชาใหม่ๆ มากมายในอีกหลายปีต่อมา เช่น ชีววิทยา[ 20 ]การจัดการห่วงโซ่อุปทาน[ 21 ]การออกแบบ[ 22 ]ธุรกิจ/ความเป็นผู้นำ[ 23 ] [ 5 ]และสถาปัตยกรรมระบบ[ 24 ]ทิม โอไรลีย์กล่าวถึงทฤษฎีสัญญาในหนังสือขายดีของเขาWTF: What's the Future [ 25 ]
แนวคิดหลัก
ทฤษฎีคำสัญญาถูกอธิบายว่าเป็นเครื่องมือสร้างแบบจำลองหรือวิธีการวิเคราะห์ที่เหมาะสมสำหรับการศึกษาระบบใดๆ ที่ประกอบด้วยส่วนประกอบที่โต้ตอบกัน ไม่ใช่เทคโนโลยีหรือระเบียบวิธีออกแบบ และไม่ได้สนับสนุนจุดยืนหรือหลักการออกแบบใดๆ นอกเหนือจากเป็นวิธีการวิเคราะห์เท่านั้น
ตัวแทน
ในทฤษฎีคำสัญญา ตัวแทน (Agents) กล่าวได้ว่ามีความเป็นอิสระหมายความว่าพวกเขามี ความเป็นอิสระ เชิงสาเหตุต่อกันและกัน ความเป็นอิสระนี้หมายความว่าพวกเขาไม่สามารถถูกควบคุมจากภายนอกได้ พวกเขาสร้างพฤติกรรมของตนเองขึ้นมาเองทั้งหมด แต่พวกเขาสามารถพึ่งพาบริการของกันและกันได้ผ่านการให้คำสัญญาเพื่อส่งสัญญาณความร่วมมือ ดังนั้น ตัวแทนจึงกำหนดตนเองได้จนกว่าพวกเขาจะสละความเป็นอิสระบางส่วนหรือทั้งหมดโดยการให้คำสัญญาที่จะยอมรับคำแนะนำจากตัวแทนอื่น
เอเจนต์อาจเรียบง่ายเหมือนหัวข้อใน เอกสาร HTMLหรือซับซ้อนเหมือนเซิร์ฟเวอร์ชื่อในเครือข่าย (เช่น เซิร์ฟเวอร์ DNS ) ไม่ว่าจะมีความซับซ้อนภายในมากน้อยเพียงใด เอเจนต์จะห่อหุ้มกลไกที่สร้างและรักษาสัญญา หัวข้อ HTML สร้างสัญญาเกี่ยวกับการแสดงผลของตัวเองผ่านคำสั่งCSS [ 26 ]เซิร์ฟเวอร์ DNS สัญญาว่าจะให้คำตอบสำหรับคำถามเกี่ยวกับชื่อโดเมน ชื่อโฮสต์ และที่อยู่ IP [ 14 ]อย่างแรกนั้นง่ายมาก อย่างหลังนั้นซับซ้อนกว่ามาก ความแตกต่างในความซับซ้อนของกระบวนการ ภายในเหล่านี้ นำไปสู่คำจำกัดความของสิ่งที่เรียกว่าการปรับขนาดเชิงความหมายของความซับซ้อนของเอเจนต์
เจตนาและผลลัพธ์
ในทฤษฎีคำสัญญา ตัวแทนอาจมีความตั้งใจความตั้งใจนั้นอาจเกิดขึ้นได้ด้วยพฤติกรรมหรือผลลัพธ์ที่ต้องการ ความตั้งใจจึงกลายเป็นรูปธรรมได้โดยการกำหนดชุดของผลลัพธ์ที่ยอมรับได้ซึ่งเชื่อมโยงกับความตั้งใจแต่ละอย่าง ผลลัพธ์จะมีประโยชน์มากที่สุดเมื่อมันอธิบายถึง จุด คงที่หรือจุดคงที่ทางคณิตศาสตร์ในคำอธิบายสถานะบางอย่าง เพราะสิ่งนี้สามารถมีความเสถียรทั้งในเชิงพลวัตและเชิงความหมาย
เจตนาแต่ละอย่างแสดงถึงผลลัพธ์ที่สามารถวัดได้ ซึ่งอาจอธิบายได้ว่าเป็นสถานะของตัวแทน บางครั้งเจตนาจะถูกอธิบายว่าเป็นเป้าหมาย จุดมุ่งหมาย หรือสถานะที่ต้องการ การเลือกเจตนาโดยตัวแทนนั้นไม่ได้อธิบายไว้เพื่อหลีกเลี่ยงคำถามเกี่ยวกับเจตจำนงเสรี[ 1 ]
ตัวแทนต่างแสดงเจตนาของตนต่อกันโดยการให้คำมั่นสัญญาหรือการบังคับซึ่งเป็นมาตรวัดที่ช่วยให้พวกเขาสามารถประเมินได้ว่าเจตนาเหล่านั้นสำเร็จหรือไม่ (เช่น คำมั่นสัญญาได้รับการรักษาไว้หรือไม่)
คำสัญญา
คำสัญญาเกิดขึ้นเมื่อตัวแทนหนึ่งแบ่งปันเจตนาของตนกับตัวแทนอื่นโดยสมัครใจ (เช่น โดยการเผยแพร่เจตนาของตน) วิธีการแบ่งปันนั้นขึ้นอยู่กับผู้สร้างแบบจำลองที่จะอธิบาย
ตัวอย่างเช่น วัตถุอย่างเช่นมือจับประตู เป็นตัวแทนที่ให้คำมั่นว่าจะเหมาะสมสำหรับการเปิดประตู แม้ว่ามันอาจจะถูกใช้เพื่อสิ่งอื่นได้เช่นกัน (เช่น การขุดหลุมในดิน) เราไม่สามารถสันนิษฐานได้ว่าตัวแทนจะยอมรับคำมั่นสัญญาที่ให้ไว้ด้วยเจตนารมณ์ที่แท้จริง เพราะตัวแทนแต่ละตัวมีบริบทและความสามารถของตนเอง คำมั่นสัญญาเรื่องความสามารถในการเป็นมือจับประตูอาจแสดงออกโดยอาศัยรูปทรงทางกายภาพหรือโดยการมีป้ายกำกับเขียนไว้ในภาษาใดภาษาหนึ่ง ตัวแทนที่ใช้คำมั่นสัญญานี้สามารถประเมินได้ว่าตัวแทนนั้นรักษาสัญญาหรือไม่ หรือเหมาะสมกับวัตถุประสงค์ หรือ ไม่ ตัวแทนใดๆ ก็สามารถตัดสินใจเรื่องนี้ได้ด้วยตนเอง
ตัวแทนอีกฝ่ายอาจใช้คำสัญญาโดยสมัครใจเพื่อมีอิทธิพลต่อการใช้งานของตัวแทนอีกฝ่าย คำสัญญาช่วยอำนวยความสะดวกในการปฏิสัมพันธ์ ความร่วมมือ และมีแนวโน้มที่จะเพิ่มผลลัพธ์ที่ตั้งใจไว้ให้สูงสุด คำสัญญาไม่ใช่คำสั่งหรือการควบคุมแบบกำหนดตายตัว
ความเป็นอิสระ
ภาระผูกพันมากกว่าคำสัญญาเป็นวิธีการดั้งเดิมในการจำลองพฤติกรรมในสังคม ในเทคโนโลยี และในด้านอื่นๆ[ 27 ]แม้ว่าจะยังคงมีบทบาทสำคัญ แต่แบบจำลองที่อิงตามภาระผูกพันก็มีจุดอ่อนที่ทราบกันดี โดยเฉพาะอย่างยิ่งในด้านต่างๆ เช่น ความสามารถในการปรับขนาดและความสามารถในการคาดการณ์ เนื่องจากความแข็งกระด้างและการขาดพลวัต
จุดเริ่มต้นของทฤษฎีคำสัญญาที่แตกต่างจากตรรกะของพันธะคือแนวคิดที่ว่าตัวแทนทั้งหมดในระบบควรมีอิสระในการควบคุม กล่าวคือ ไม่สามารถถูกบีบบังคับหรือกดดันให้ทำพฤติกรรมใดพฤติกรรมหนึ่งได้ ทฤษฎีพันธะในวิทยาการคอมพิวเตอร์มักมองว่าพันธะเป็นคำสั่งที่แน่นอนซึ่งก่อให้เกิดผลลัพธ์ที่เสนอไว้ ในทฤษฎีคำสัญญา ตัวแทนสามารถให้คำสัญญาได้เฉพาะเกี่ยวกับพฤติกรรมของตนเองเท่านั้น สำหรับตัวแทนที่มีอิสระ การให้คำสัญญาเกี่ยวกับพฤติกรรมของผู้อื่นจึงไม่มีความหมาย
แม้ว่าข้อสันนิษฐานนี้อาจตีความได้ในเชิงศีลธรรมหรือจริยธรรม แต่ในทฤษฎีคำสัญญา นี่เป็นเพียงหลักการทางวิศวกรรมเชิงปฏิบัติ ซึ่งนำไปสู่การประกาศบทบาทที่ตั้งใจไว้ของผู้กระทำหรือตัวแทนในระบบอย่างครบถ้วนยิ่งขึ้น: เมื่อไม่อนุญาตให้ตั้งสมมติฐานเกี่ยวกับพฤติกรรมของผู้อื่น เราจึงจำเป็นต้องบันทึกคำสัญญาแต่ละข้ออย่างครบถ้วนมากขึ้น เพื่อให้สามารถคาดการณ์ได้ ซึ่งในทางกลับกันจะเปิดเผยรูปแบบความล้มเหลวที่เป็นไปได้ที่พฤติกรรมความร่วมมืออาจล้มเหลว
ระบบการสั่งการและควบคุม—เช่นเดียวกับระบบที่กระตุ้นให้เกิดทฤษฎีพันธะ—สามารถจำลองได้ง่ายๆ โดยให้ตัวแทนสมัครใจสัญญาว่าจะปฏิบัติตามคำสั่งของตัวแทนอื่น (ซึ่งถือเป็นแบบจำลองพฤติกรรมที่สมจริงกว่า) เนื่องจากคำสัญญาอาจถูกถอนได้เสมอ จึงไม่มีความขัดแย้งระหว่างความร่วมมือโดยสมัครใจกับการสั่งการและควบคุม
ในปรัชญาและกฎหมาย คำสัญญามักถูกมองว่าเป็นสิ่งที่นำไปสู่ภาระผูกพัน ทฤษฎีคำสัญญาปฏิเสธมุมมองนั้น เบิร์กสตราและเบอร์เจสกล่าวว่าแนวคิดของคำสัญญาเป็นอิสระจากภาระผูกพันโดยสิ้นเชิง[ 27 ]
เศรษฐศาสตร์
คำสัญญาอาจมีค่าสำหรับผู้รับคำสัญญาหรือแม้แต่ผู้ให้คำสัญญา นอกจากนี้ยังอาจนำไปสู่ต้นทุนได้อีกด้วย ดังนั้นจึงมีเรื่องราวทางเศรษฐศาสตร์ที่จะเล่าเกี่ยวกับคำสัญญา เศรษฐศาสตร์ของคำสัญญาเป็นแรงจูงใจให้เกิด พฤติกรรม ของตัวแทนที่เห็นแก่ตัวและทฤษฎีคำสัญญาสามารถมองได้ว่าเป็นแรงจูงใจสำหรับ การตัดสินใจ ตามทฤษฎีเกมซึ่งคำสัญญาหลายข้อมีบทบาทเป็นกลยุทธ์ในเกม[ 28 ]
ทฤษฎีสัญญายังถูกนำมาใช้เพื่อสร้างแบบจำลองและสร้างความเข้าใจใหม่เกี่ยวกับระบบการเงินอีก ด้วย [ 6 ]
พฤติกรรมที่เกิดขึ้นใหม่
ในวิทยาการคอมพิวเตอร์ทฤษฎีสัญญาอธิบายบริการที่ควบคุมโดยนโยบาย ในกรอบของตัวแทนอิสระโดยสมบูรณ์ ซึ่งช่วยเหลือซึ่งกันและกันโดยความร่วมมือโดยสมัครใจเท่านั้น เป็นกรอบสำหรับการวิเคราะห์แบบจำลองที่สมจริงของเครือข่ายสมัยใหม่ และเป็นแบบจำลองอย่างเป็นทางการสำหรับปัญญาแบบกลุ่ม[ 29 ]
ทฤษฎีคำสัญญาอาจมองได้ว่าเป็นกรอบการทำงานเชิงตรรกะและทฤษฎีกราฟสำหรับการทำความเข้าใจความสัมพันธ์ที่ซับซ้อนในเครือข่าย ซึ่งมีข้อจำกัดมากมายที่ต้องปฏิบัติตาม โดยทฤษฎีนี้ได้รับการพัฒนาขึ้นที่วิทยาลัยมหาวิทยาลัยออสโลโดยดึงเอาแนวคิดจากงานวิจัยหลายด้านมาใช้ รวมถึงการจัดการตามนโยบาย ทฤษฎีกราฟ ตรรกะ และการจัดการการกำหนดค่า ทฤษฎีนี้ใช้วิธีการสร้างสรรค์ที่สร้างโครงสร้างการจัดการแบบดั้งเดิมจากกราฟของตัวแทนอิสระที่โต้ตอบกัน คำสัญญาอาจเกิดขึ้นจากตัวแทนหนึ่งไปยังตัวมันเอง หรือจากตัวแทนหนึ่งไปยังอีกตัวแทนหนึ่ง และแต่ละคำสัญญาจะบ่งบอกถึงข้อจำกัดต่อพฤติกรรมของตัวแทนที่ให้คำสัญญา ความเป็นอะตอมของคำสัญญาทำให้เป็นเครื่องมือในการค้นหาความขัดแย้งและความไม่สอดคล้องกัน
ความเป็นตัวตนในฐานะแบบจำลองของระบบในห้วงเวลาและอวกาศ
คำมั่นสัญญาที่ทำโดยตัวแทนอิสระนำไปสู่ โครงสร้าง กราฟ ที่ได้รับการยอมรับร่วมกัน ซึ่งในทางกลับกันนำไปสู่โครงสร้างเชิงพื้นที่ที่ตัวแทนเหล่านั้นแทนตำแหน่งที่เป็นเหมือนจุด สิ่งนี้ช่วยให้แบบจำลองของพื้นที่อัจฉริยะกล่าวคือ พื้นที่ที่มีการติดป้ายกำกับเชิงความหมายหรือแม้แต่พื้นที่เชิงฟังก์ชัน เช่น ฐานข้อมูล แผนที่ความรู้ คลังสินค้า โรงแรม ฯลฯ สามารถรวมเข้ากับคำอธิบายพื้นที่และเวลาแบบดั้งเดิมอื่นๆ ได้ แบบจำลองของกาลอวกาศเชิงความหมายใช้ทฤษฎีคำมั่นสัญญาเพื่ออธิบายแนวคิดของกาลอวกาศเหล่านี้
คำสัญญาเป็นพื้นฐานทางคณิตศาสตร์มากกว่าความประชิดของกราฟ เนื่องจากการเชื่อมโยงต้องอาศัยความยินยอมร่วมกันของตัวแทนอิสระสองตัว ดังนั้นแนวคิดของพื้นที่ที่เชื่อมต่อกันจึงต้องใช้ความพยายามมากขึ้นในการสร้างโครงสร้าง ทำให้คำสัญญาเป็นแนวคิดของพื้นที่ที่น่าสนใจทางคณิตศาสตร์ และเป็นวิธีที่มีประโยชน์ในการสร้างแบบจำลองระบบข้อมูลทางกายภาพและเสมือนจริง[ 30 ]
ทฤษฎีคำมั่นสัญญา การเปลี่ยนแปลงแบบคล่องตัว และสังคมศาสตร์
Daniel Mezick และ Mark Sheffield ผู้จัดงานOpen Leadership Network และOpen Space Technology ได้เชิญ Mark Burgess ผู้ริเริ่มทฤษฎีคำมั่นสัญญา มาเป็นวิทยากรหลักในการประชุม Open Leadership Network ที่บอสตันในปี 2019 ซึ่งนำไปสู่การนำการพัฒนาอย่างเป็นทางการของทฤษฎีคำมั่นสัญญามาใช้ในการสอนแนวคิดแบบ Agile ต่อมา Burgess ได้ขยายบันทึกการบรรยายเป็นหลักสูตรการเรียนออนไลน์[ 31 ]ซึ่งเขาอ้างว่ากระตุ้นให้เกิดการศึกษาเชิงลึกยิ่งขึ้นเกี่ยวกับแนวคิดของระบบสังคม รวมถึงความไว้วางใจและอำนาจ[ 32 ] [ 33 ]