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

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

"lim4j-samples": Example 09_2

 

sample代码如下：

	public static void main(String[] args) throws Exception {
		Argument a1 = new Argument("All soldiers who want to be generals are not cowards. Some soldiers are cowards. Therefore some soldiers don't want to be generals.");

		JudgedStatement js1 = new Proposition("All soldiers who want to be generals are not cowards.");
		JudgedStatement js2 = new Proposition("Some soldiers are cowards.");
		JudgedStatement js3 = new Proposition("Some soldiers don't want to be generals.");

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

		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 soldiers who want to be generals are not cowards. Some soldiers are cowards. Therefore some soldiers don't want to be generals.
        
        
    
    
        All soldiers who want to be generals are not cowards.
        
    
    
        Some soldiers are cowards.
        
    
    
        Some soldiers don't want to be generals.
        
    
    
        
            
        
        all
    
    
        
            
        
        some
    
    
        
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
            
            
        
    

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

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

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