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

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

"lim4j-samples": Example 09_1

 

sample代码如下：

	public static void main(String[] args) throws Exception {
		Argument a1 = new Argument("All mammals have lungs. All whales are mammals. Therefore all whales have lungs.");

		JudgedStatement js1 = new Proposition("All mammals have lungs.");
		JudgedStatement js2 = new Proposition("All whales are mammals.");
		JudgedStatement js3 = new Proposition("All whales have lungs.");

		Condition cd1 = new QuantifiersCondition("all", QuantifiersType.UNIVERSAL);

		js1.addCondition(cd1);
		js2.addCondition(cd1);
		js3.addCondition(cd1);
		a1.addCondition(cd1);
		a1.addJudgedStatement(js1, js2, js3);

		Root root = new Root(a1);

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

输出结果：

    
        All mammals have lungs. All whales are mammals. Therefore all whales have lungs.
        
        
    
    
        All mammals have lungs.
        
    
    
        All whales are mammals.
        
    
    
        All whales have lungs.
        
    
    
        
            
        
        all
    
    
        
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
            
        
    

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

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

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