首先提出个人立场：“代码正义”在一定程度上是可以的，至少交互判断是可行的。至于其“必要性”，则在于进一步消除司法过程中的“不公正”，赋予司法过程“可重复性”。1先给大家举个实际的例子。下图是1998年袭击东非大使馆的人员网络：我们要找出他们的合作关系，也就是找出他们有多少组。可以通过代码完成：clique=FindClique[g,{5},All]{{"Fahad","Fadhil","Khalfan","Awad","Ghailani"},{"Odeh","Owhali","Fazul","Azzam","Atwah"},{"Abdullah","Odeh","Owhali","Fazul","Atwah"}}其实用上面的代码就可以了。画成这样：partnership这样可以分成三个cliques，也可以用电脑解：三个cliques我们甚至可以直接找到这个事件的外部联系人：With[{dar=First[clique]},Complement[Flatten[AdjacencyList[g,#]&/@dar],dar]]{"Abdullah","Atwah","Hage","Odeh"}这四个人：Abdullah,Atwah,Hage,Odeh,是“外部联系人”。我个人的看法是，凡是可以写成“流程图”的法律条款，都可以写成（至少是交互的）判断程序。2知乎上的@柯萌举了这个例子，认为计算机无法处理这样的问题：孩子A打孩子B，孩子B带着孩子B的爷爷去学校严重打了孩子A，但是孩子B的爷爷是精神病，但是孩子A打孩子B的行为是受孩子A的父母教唆的。为了让孩子A顺利打败孩子B，孩子A的父亲谎称有人干活，孩子B的父亲（监护人））被骗出村。这个事件看起来确实很复杂，但是从图论的角度来说，用计算机语言是可以准确描述的。我粗略想一下，一个事件有几个基本的组成部分：人；团体；时间线;活动；材料;它们之间的共同关系是：人->事件：主动做...；person->person：教唆，被教唆，欺骗，殴打，...（事件）；人->物质：使用；生产；...这样的关系可以用多个图来表示。有力的地方就有施力者和受力者，这里也是一样。“行为”可以存储在节点的每条边上。好吧，我们看刚才的例子：A孩子打B孩子，B孩子带着B孩子的爷爷去学校，还狠狠地打了A孩子，但是B孩子的爷爷是精神病人，A孩子打B孩子的行为却是教唆的孩子A的父母为了让孩子A顺利打孩子B，孩子A的父亲谎称有人干活，把孩子B的父亲（监护人）骗出了村。可以画出这样的图：GraphPlot[{{"A"->"B","打人"},{"B"->"B爷爷（精神病）","指使打人"},{"B父母"->"B","教唆打人"},{"B爷爷（精神病）"->"A","打"},{"B父母"->"A父亲","骗出村"},{"爸爸A"->"A","无法保护"}},VertexLabeling->True,DirectedEdges->True]结果图是这样的：Eventdiagram然后我们可以描述本次事件的过程如下：B爷爷打A成功=B爷爷打A&&A的爸爸不在家。B爷爷打A=B指示B爷爷&&B爷爷同意B爷爷同意=Random[]B指示B爷爷=B父母怂恿B&&A打B&&B同意打AB父母怂恿B打人=A打B&&B父母认为他们需要打AA爸爸不在家=B骗A爸爸出村A爸爸不在家。上面的逻辑关系成立后，可以通过布尔代数计算（这个是可行的）。每个行为与“B爷爷成功打败A”事实之间的关系，可以分担责任，做出判断。 以上是一些大概的想法，希望能和大家一起探讨这个问题。发文没几分钟，@LostAbaddon就来了，带来了一个很纠结的问题：小明和小红在小王家的屋顶上玩耍，小红开玩笑的轻轻推了小明一把，小明撞到了小王的栏杆上王家屋顶恰好松动，小明不料从楼上掉下来，被楼下小李家的游泳池接住了。在小李家的游泳池里，小明被鳄鱼咬死了。请问：这起事件谁负责，谁该受到惩罚？那么，我个人的观点是，这些问题都可以写成布尔表达式。具体来说，这个问题如下：布尔表达式求解：((((((((曾经年久失修&&小王还没修过))栏杆是假货)&&小红把小明推了一下&&小明是推到栏杆上&&小明没抓住栏杆)(小明自己跳下去了&&小红没拦))&&小丽收下了鳄鱼&&小强把鳄鱼收养了&&鳄鱼愿意咬小明)((((((年久失修&&小王没修过)栏杆是假货)&&小红推了一下小明&&小明被推到栏杆上&&小明没坚持到栏杆上)(小明自己跳下去了&&小明红没拦住))&&小明不会游泳&&小明没得到医治)化简得:小明死了=(小明不能游泳不会游泳&&小红没停&&小明没救治&&小明自己跳下去了)(Xiao强养鳄鱼&&小红没有阻止&&小李收下了鳄鱼&&鳄鱼愿意咬小明&&小明自己跳到栏杆上&&小红推了小明）（年久失修了一个好久了&&小明不会游泳&&小王没修好&&小明没扶着栏杆&&小明没被救治&&小明被推到栏杆上&&小红推小明）（小强养鳄鱼&&小明没扶住栏杆&&小李收下了鳄鱼&&栏杆是假货&&鳄鱼舍得咬小明&&小明被推到栏杆上&&小红推了小明)(是年久失修&&小强养鳄鱼&&小王不修理&&小明不牢牢扶住栏杆&&小李收下鳄鱼&&鳄鱼愿意咬小明&&小明被推到栏杆上&&小红推小明)有六种情况：小明不会游泳&&小红没有停下来&&小明没有得到治疗&&小明自己跳下去把鳄鱼给养了&&小红没有停下来&&小李接受了鳄鱼&&鳄鱼愿意咬小明&&小明自己跳下去了，小明不会游泳&&小明没有扶住栏杆&&栏杆是假货&&小明没有得到治疗&&小明被推到栏杆上&&小红推了一会儿小明失修了&&小明不会游泳&&小王没修好&&小明没扶着栏杆&&小明没救治&&小明被推到栏杆上&&小红一推小明夏o强养了鳄鱼&&小明没扶着栏杆&&小丽收下了鳄鱼&&栏杆是假货&&鳄鱼舍得咬小明&&小明被推到栏杆上&&小红推着小明年久失修一次&&小强养了鳄鱼&&小王没修理&&小明没扶着栏杆&&小李收下了鳄鱼&&鳄鱼愿意咬小明&&小明被推到栏杆上&&小红推送小明原文链接：http://www.jianshu.com/p/1930817c3165
