逻辑信息模型（Logical Information Model） for Java：Example 11

逻辑信息模型（Logical Information Model） for Java：Example 11

"lim4j-samples": Example 11

 

sample代码如下：

	public static void main(String[] args) throws Exception {
		Argument a1 = new Argument("If the opponent of the death penalty is incorrect in his belief that the death penalty doesn't deter (homicide), "
				+ "he is responsible for the murder of innocent individuals who would not have been murdered if the death penalty had been invoked.");

		Statement s1 = new Statement("If the opponent of the death penalty is incorrect in his belief that the death penalty doesn't deter (homicide),");
		Statement s2 = new Statement("Protecting the lives of innocent individuals from murder justifies the execution of murderers "
				+ "if other murderers are then deterred by the fear of execution.");

		Condition cd1 = new PremiseCondition(s1);
		Condition cd2 = new PremiseCondition(s2, true);

		a1.addCondition(cd1, cd2);

		Root root = new Root(a1);

		root.marshalToXml(true, System.out);
	}

输出结果：

    
        If the opponent of the death penalty is incorrect in his belief that the death penalty doesn't deter (homicide), he is responsible for the murder of innocent individuals who would not have been murdered if the death penalty had been invoked.
        
    
    
        If the opponent of the death penalty is incorrect in his belief that the death penalty doesn't deter (homicide),
    
    
        Protecting the lives of innocent individuals from murder justifies the execution of murderers if other murderers are then deterred by the fear of execution.
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
        
    

=============================

源代码：
lim4j-samples：https://github.com/CodeJStudio/lim4j-samples
lim4j：        https://github.com/CodeJStudio/lim4j

参考文献：
《逻辑信息模型与逻辑信息网络》 / "Theory of Logical Information Model & Logical Information Network"
《从逻辑信息模型，到逻辑信息网络，直至实现通用人工智能》