อะไรคือรากฐานทางประวัติศาสตร์ของภาพเขียนขนาดใหญ่ของ Milner


14

Robin Milnerกำหนดbigraphsเป็นประเภทของกราฟิกที่มีโครงสร้างเหมือนกราฟ แต่ที่โหนดสามารถซ้อนกัน พวกเขาพูดคุยกันทั่วไปเกี่ยวกับขั้นตอนการคำนวณเช่น CCS และ -calculus แต่ Milner ดูเหมือนจะตั้งใจให้พวกเขาใช้มากขึ้นโดยทั่วไป: บันทึกการสัมมนาจากไม่นานก่อนที่เขาจะเสียชีวิตรายละเอียดพัฒนาการล่าสุดπ

เมื่อมองย้อนกลับไปข้างหน้าคำนำของหนังสือเรียน The Space and Motion of Agent Communications ของมิลเนอร์ในปี 2009นั้นไม่ได้ให้ความสำคัญกับประวัติศาสตร์มากนัก Milner ยอมรับอย่างชัดเจนถึงรากของมันใน Mobile Ambients และ Pi แคลคูลัส ถึงกระนั้นโมเดลก็ธรรมดามากจนมีการเชื่อมโยงอย่างแน่นหนากับรุ่นเก่า

มีรุ่นก่อนหน้าของ bigraphs หรือไม่

เน้นองค์ประกอบของวากยสัมพันธ์มากกว่าวิธีที่พวกเขาใช้ในการจับภาพระบบการพัฒนาแบบอย่างที่ชัดเจนคือ AB Kempe, Memoir ในทฤษฎีของแบบฟอร์มคณิตศาสตร์ธุรกรรมทางปรัชญาของราชสมาคมแห่งลอนดอน 177, 1–70, 1886 กระดาษอาจมีการแนะนำจุดสุดยอดและกราฟสีขอบ (ฉันไม่รู้การใช้งานก่อนหน้านี้ Kempe ดูเหมือนว่าจะมีแอพพลิเคชั่นทั่วไปบางประเภทอยู่ในใจที่ Milner มองเห็น มีรุ่นก่อนอื่นที่ควรกล่าวถึงหรือไม่

(แก้ไข: ตอนนี้ทำเครื่องหมายวิกิชุมชนนี้โดยหวังว่าจะได้คำตอบเพิ่มเติม)


เป็นคำถามที่ดีมาก!

คำตอบ:


9

ส่วนใหญ่ของหมวดหมู่เชิงทฤษฎีพื้นฐานสำหรับ bigraphs ได้ทำในรูปของ Reactive Systems:

Leifer, JJ และ Milner, R. (2000) สืบมา congruences bisimulation สำหรับระบบปฏิกิริยา ใน Palamidessi, C. , บรรณาธิการ, การประชุมวิชาการระหว่างประเทศครั้งที่ 11 ว่าด้วยทฤษฎี Concurrency (CONCUR'00), เล่ม 1877 ของบันทึกการบรรยายในวิทยาการคอมพิวเตอร์ , หน้า 243-258 Springer-Verlag ( ลิงก์ )

นี่คือผลลัพธ์ที่แสดงให้เห็นว่าการแบ่งส่วน bisimulation นั้นสอดคล้องกันในที่ที่มี RPO เพียงพอ

ดังที่คุณได้กล่าวไว้อย่างถูกต้องมีการเชื่อมโยงกับแคลคูลัสต่าง ๆโดยเฉพาะ - โดยเฉพาะอย่างยิ่งในการจับความคิดของ "สถานที่"

บทคัดย่อเคมีเครื่อง (จาม) นอกจากนี้ยังได้รับการยกฐานะอย่างมีนัยสำคัญ - อาจจะอยู่ในแง่ของความหมายของปฏิกิริยาเช่นเดียวกับแนวคิดอื่น ๆ ไม่กี่ (เช่นเยื่อ) ที่มีลักษณะที่คุ้นเคยเมื่อมองจากโลก bigraphs นี่อาจเป็นสัญญาณที่ชัดเจนว่าฉันเป็นบรรพบุรุษทางอุดมการณ์ของระบบปฏิกิริยาแบบกราฟิคขนาดใหญ่ในหลาย ๆ ด้าน

ในที่สุดฉันคิดว่ามันคุ้มค่าที่จะดูหัวข้อการทำงานของมิลเนอร์จาก CCS ไปยัง pi-แคลคูลัสไปจนถึงระบบปฏิกิริยา คุณเห็นแนวโน้มที่ชัดเจนภายในสาระการทำงานในการนำเสนอ abstractions เพิ่มเติมหรือความสามารถในการเข้ารหัสข้อมูลบางอย่างซึ่งอาจรวมอยู่ในแบบจำลองก่อนหน้านี้โดยปริยาย

นี่ไม่ใช่วิธีการที่สมบูรณ์ แต่ฉันคิดว่ามันยุติธรรมอย่างแน่นอนที่จะเห็นการพัฒนาของกราฟขนาดใหญ่เป็นความก้าวหน้าตามธรรมชาติจากแนวคิดที่แตกต่างกันมากมาย


เมื่อกราฟใหญ่พูดถึงสถานที่และความคล่องตัวพวกเขาหมายถึงสถานที่ทางกายภาพจริงและการเคลื่อนไหว? หรือแนวคิดเหล่านี้สามารถนำมาใช้สำหรับแนวคิดที่เป็นนามธรรมของท้องถิ่นและการเคลื่อนไหวได้หรือไม่?
CMCDragonkai

@CMCDragonkai ขอโทษสำหรับการตอบกลับช้า (หนึ่งปีปลาย ... ) แต่ความคิดที่เป็นนามธรรมแน่นอนของสถานที่และการเคลื่อนไหว ตัวอย่างเช่นสถานที่ใช้ใน bigraphs เพื่อเข้ารหัสโครงสร้างของคำเกี่ยวกับพีชคณิตบ่อยเท่าที่จะใช้ในการเข้ารหัสโครงสร้างของอาคาร
เกียน
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.