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

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

"lim4j-samples": Example 06

 

 
sample代码如下：

	public static void main(String[] args) throws Exception {
		InformationSection is1 = new InformationSection("How should we define the word 'planet'? "
				+ "① Planets are simply bodies in orbit around the sun and that there are nine planets in the solar system -- of which the smallest is Pluto, made of unusual stuff, with an unusual orbit, and most distant from the sun. "
				+ "② But other bodies, larger than Pluto and oddly shaped, have been recently discovered orbiting the sun. Are they also planets? Why not? "
				+ "③ Older definitions had become conceptually inadequate. "
				+ "④ An intense controversy within the International Astronomical Union (IAU), still not fully resolved, has recently resulted in a new definition of 'planet' .... "
				+ "⑤ Needed were definitions that would accommodate new discoveries as well as old, while maintaining a consistent and fully intelligible account of the entire system. "
				+ "⑥ Such definitions were adopted by the IAU in 2006. "
				+ "A planet is a celestial body that, within the Solar System, (1) is in orbit around the Sun; and (2) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape; and (3) has cleared the neighborhood around its orbit. "
				+ "In a system other than our solar system, the new definition requires that the body (1) be in orbit around a star or stellar remnant; and (2) have a mass below the limiting mass for thermonuclear fusion of deuterium; and (3) be above the minimum mass/size requirement for planetary status in the solar system.");

		Argument a1 = new Argument("① Planets are simply bodies in orbit around the sun and that there are nine planets in the solar system -- of which the smallest is Pluto, made of unusual stuff, with an unusual orbit, and most distant from the sun. "
				+ "② But other bodies, larger than Pluto and oddly shaped, have been recently discovered orbiting the sun.... "
				+ "③ Older definitions had become conceptually inadequate.");

		Argument a2 = new Argument("③ Older definitions had become conceptually inadequate.... "
				+ "⑤ Needed were definitions that would accommodate new discoveries as well as old, while maintaining a consistent and fully intelligible account of the entire system. "
				+ "⑥ Such definitions were adopted by the IAU in 2006. "
				+ "A planet is a celestial body that, within the Solar System, (1) is in orbit around the Sun; and (2) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape; and (3) has cleared the neighborhood around its orbit. "
				+ "In a system other than our solar system, the new definition requires that the body (1) be in orbit around a star or stellar remnant; and (2) have a mass below the limiting mass for thermonuclear fusion of deuterium; and (3) be above the minimum mass/size requirement for planetary status in the solar system.");

		JudgedStatement js1 = new Definition("Planets are simply bodies in orbit around the sun and that there are nine planets in the solar system -- of which the smallest is Pluto, made of unusual stuff, with an unusual orbit, and most distant from the sun.");
		JudgedStatement js2 = new Proposition("Other bodies, larger than Pluto and oddly shaped, have been recently discovered orbiting the sun.");
		JudgedStatement js3 = new Proposition("Older definitions(①) had become conceptually inadequate.");
		JudgedStatement js4 = new Narration("An intense controversy within the International Astronomical Union (IAU), still not fully resolved, has recently resulted in a new definition of 'planet'.");
		JudgedStatement js5 = new Proposition("Needed were definitions that would accommodate new discoveries as well as old, while maintaining a consistent and fully intelligible account of the entire system.");
		JudgedStatement js6 = new Definition("Such definitions were adopted by the IAU in 2006. "
				+ "A planet is a celestial body that, within the Solar System, (1) is in orbit around the Sun; and (2) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape; and (3) has cleared the neighborhood around its orbit. "
				+ "In a system other than our solar system, the new definition requires that the body (1) be in orbit around a star or stellar remnant; and (2) have a mass below the limiting mass for thermonuclear fusion of deuterium; and (3) be above the minimum mass/size requirement for planetary status in the solar system.");

		a1.addEvidence(js1, js2);
		a1.addConclusion(js3);
		a2.addEvidence(js3, js5);
		a2.addConclusion(js6);

		is1.addSubInformationElement(a1, a2, js1, js2, js3, js4, js5, js6);
		
		Root root = new Root(is1);

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

输出结果：

    
        How should we define the word 'planet'? ① Planets are simply bodies in orbit around the sun and that there are nine planets in the solar system -- of which the smallest is Pluto, made of unusual stuff, with an unusual orbit, and most distant from the sun. ② But other bodies, larger than Pluto and oddly shaped, have been recently discovered orbiting the sun. Are they also planets? Why not? ③ Older definitions had become conceptually inadequate. ④ An intense controversy within the International Astronomical Union (IAU), still not fully resolved, has recently resulted in a new definition of 'planet' .... ⑤ Needed were definitions that would accommodate new discoveries as well as old, while maintaining a consistent and fully intelligible account of the entire system. ⑥ Such definitions were adopted by the IAU in 2006. A planet is a celestial body that, within the Solar System, (1) is in orbit around the Sun; and (2) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape; and (3) has cleared the neighborhood around its orbit. In a system other than our solar system, the new definition requires that the body (1) be in orbit around a star or stellar remnant; and (2) have a mass below the limiting mass for thermonuclear fusion of deuterium; and (3) be above the minimum mass/size requirement for planetary status in the solar system.
        
    
    
        
        ① Planets are simply bodies in orbit around the sun and that there are nine planets in the solar system -- of which the smallest is Pluto, made of unusual stuff, with an unusual orbit, and most distant from the sun. ② But other bodies, larger than Pluto and oddly shaped, have been recently discovered orbiting the sun.... ③ Older definitions had become conceptually inadequate.
        
        
        
    
    
        
        ③ Older definitions had become conceptually inadequate.... ⑤ Needed were definitions that would accommodate new discoveries as well as old, while maintaining a consistent and fully intelligible account of the entire system. ⑥ Such definitions were adopted by the IAU in 2006. A planet is a celestial body that, within the Solar System, (1) is in orbit around the Sun; and (2) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape; and (3) has cleared the neighborhood around its orbit. In a system other than our solar system, the new definition requires that the body (1) be in orbit around a star or stellar remnant; and (2) have a mass below the limiting mass for thermonuclear fusion of deuterium; and (3) be above the minimum mass/size requirement for planetary status in the solar system.
        
        
        
    
    
        Planets are simply bodies in orbit around the sun and that there are nine planets in the solar system -- of which the smallest is Pluto, made of unusual stuff, with an unusual orbit, and most distant from the sun.
    
    
        Other bodies, larger than Pluto and oddly shaped, have been recently discovered orbiting the sun.
    
    
        Older definitions(①) had become conceptually inadequate.
    
    
        An intense controversy within the International Astronomical Union (IAU), still not fully resolved, has recently resulted in a new definition of 'planet'.
    
    
        Needed were definitions that would accommodate new discoveries as well as old, while maintaining a consistent and fully intelligible account of the entire system.
    
    
        Such definitions were adopted by the IAU in 2006. A planet is a celestial body that, within the Solar System, (1) is in orbit around the Sun; and (2) has sufficient mass for its self-gravity to overcome rigid body forces so that it assumes a hydrostatic equilibrium (nearly round) shape; and (3) has cleared the neighborhood around its orbit. In a system other than our solar system, the new definition requires that the body (1) be in orbit around a star or stellar remnant; and (2) have a mass below the limiting mass for thermonuclear fusion of deuterium; and (3) be above the minimum mass/size requirement for planetary status in the solar system.
    
    
        
            
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
            
        
    
    
        
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
            
        
    
    
        
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
            
            
            
            
            
            
        
    

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

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

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