本书将基于社会选择理论进行跨文化互动的逻辑机制研究，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来刻画防策略投票问题，并生成为计算机可识别的程序代码，从而实现计算机对防策略投票问题的模拟和解决，以期实现对现实问题解决的自动