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

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

"lim4j-samples": Example 09_3

 

sample代码如下：

	public static void main(String[] args) throws Exception {
		Argument a1 = new Argument("All visible light is electromagnetic wave. No sound wave is electromagnetic wave. Therefore no sound wave is visible light.");

		JudgedStatement js1 = new Proposition("All visible light is electromagnetic wave.");
		JudgedStatement js2 = new Proposition("No sound wave is electromagnetic wave.");
		JudgedStatement js3 = new Proposition("No sound wave is visible light.");

		Condition cd1 = new QuantifiersCondition("all", QuantifiersType.UNIVERSAL);
		Condition cd2 = new NegativesCondition("no / not", NegativesType.NEGATIVE);

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

		Root root = new Root(a1);

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

输出结果：

    
        All visible light is electromagnetic wave. No sound wave is electromagnetic wave. Therefore no sound wave is visible light.
        
        
    
    
        All visible light is electromagnetic wave.
        
    
    
        No sound wave is electromagnetic wave.
        
    
    
        No sound wave is visible light.
        
    
    
        
            
        
        all
    
    
        
            
        
        no / not
    
    
        
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
            
            
        
    

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

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

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