This paper introduces a general log

This paper introduces a general logical framework for reasoning about diffusion processes within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic extension of standard hybrid logic, allowing to model complex phenomena involving several properties of agents. We provide a complete axiomatization and a terminating and complete tableau system for this logic and show how to apply the framework to diffusion phenomena documented in social networks analysis.

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

เอกสารนี้แนะนำกรอบตรรกะทั่วไปสำหรับเหตุผลเกี่ยวกับกระบวนการแพร่ภายในเครือข่ายทางสังคม ใหม่ "ตรรกะการแพร่ในสังคมเครือข่าย" เป็นนามสกุลแบบไดนามิกของตรรกะมาตรฐานผสม ช่วยให้การจำลองปรากฏการณ์ที่ซับซ้อนเกี่ยวข้องกับคุณสมบัติต่าง ๆ ของตัวแทน เรามี axiomatization ที่สมบูรณ์และระบบฉากสิ้นสุด และสมบูรณ์สำหรับตรรกะนี้ และแสดงวิธีการใช้กรอบการปรากฏการณ์การแพร่ที่จัดทำเอกสารในการวิเคราะห์เครือข่ายทางสังคม

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

บทความนี้จะแนะนำกรอบตรรกะทั่วไปสำหรับเหตุผลเกี่ยวกับกระบวนการการแพร่ภายในเครือข่ายทางสังคม ใหม่ "ลอจิกสำหรับการแพร่กระจายในเครือข่ายทางสังคม" เป็นส่วนขยายของตรรกะแบบไดนามิกของไฮบริดมาตรฐานช่วยให้การจำลองปรากฏการณ์ที่ซับซ้อนที่เกี่ยวข้องกับคุณสมบัติหลาย ๆ อย่างของตัวแทน เราให้ axiomatization สมบูรณ์และยกเลิกระบบและฉากที่สมบูรณ์แบบสำหรับตรรกะนี้และแสดงวิธีการใช้กรอบกับปรากฏการณ์การแพร่บันทึกไว้ในการวิเคราะห์เครือข่ายทางสังคม

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

กระดาษนี้จะแนะนำเกี่ยวกับกรอบตรรกะทั่วไปเหตุผลกระบวนการเกี่ยวกับการแพร่กระจายภายในเครือข่ายทางสังคม ตรรกะใหม่ " กระจายในเครือข่ายทางสังคม " เป็นส่วนขยายของตรรกะแบบไดนามิกมาตรฐานอนุญาตให้รูปแบบซับซ้อนปรากฏการณ์ที่เกี่ยวข้องกับหลายคุณสมบัติของตัวแทนเราให้บริการ axiomatization สมบูรณ์และยกเลิกระบบที่สมบูรณ์และฉากสำหรับตรรกะนี้และแสดงวิธีที่จะใช้กรอบการกระจายปรากฏการณ์เอกสารในการวิเคราะห์เครือข่ายทางสังคม