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

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

"lim4j-samples": Example 01

 

 

sample代码如下：
 

	public static void main(String[] args) throws Exception {
		Argument a1 = new Argument("① All mammals are warm-blooded animals. "
				+ "② No lizards are warm-blooded animals. "
				+ "③ Therefore all lizards are nonmammals.");

		JudgedStatement js1 = new Proposition("All mammals are warm-blooded animals.");
		JudgedStatement js2 = new Proposition("No lizards are warm-blooded animals.");
		JudgedStatement js3 = new Proposition("All lizards are nonmammals.");

		a1.addEvidence(js1, js2);
		a1.addConclusion(js3);

		Root root = new Root(a1);

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

输出结果：
 

    
        
        ① All mammals are warm-blooded animals. ② No lizards are warm-blooded animals. ③ Therefore all lizards are nonmammals.
        
        
        
    
    
        All mammals are warm-blooded animals.
    
    
        No lizards are warm-blooded animals.
    
    
        All lizards are nonmammals.
    
    
        
            
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
            
        
    
    
        
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
        
    

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

源代码：

lim4j-samples：https://github.com/CodeJStudio/lim4j-samples

lim4j：        https://github.com/CodeJStudio/lim4j

参考文献：

《逻辑信息模型与逻辑信息网络》 / "Theory of Logical Information Model & Logical Information Network"

《从逻辑信息模型，到逻辑信息网络，直至实现通用人工智能》