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

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

"lim4j-samples": Example 04

 

 

 
sample代码如下：

	public static void main(String[] args) throws Exception {
		Argument a1 = new Argument("① The Big Bang theory is crumbling .... "
				+ "② According to orthodox wisdom, the cosmos began with the Big Bang-an immense, perfectly symmetrical explosion 20 billion years ago. "
				+ "③ (The problem is that) astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years .... "
				+ "④ (Studies based on new data collected by satellite, and backed up by earlier ground surveys, show that) galaxies are clustered into vast ribbons that stretch billions of light years, "
				+ "⑤ and are separated by voids hundreds of millions of light years across. "
				+ "⑥ Galaxies are observed to travel at only a small fraction of the speed of light. "
				+ "⑦ Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.");

		Argument a2 = new Argument("④ (Studies based on new data collected by satellite, and backed up by earlier ground surveys, show that) galaxies are clustered into vast ribbons that stretch billions of light years, "
				+ "⑤ and are separated by voids hundreds of millions of light years across. "
				+ "⑥ Galaxies are observed to travel at only a small fraction of the speed of light. "
				+ "⑦ Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.");

		Argument a3 = new Argument("③ Astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years .... "
				+ "⑦ Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.");

		Argument a4 = new Argument("① The Big Bang theory is crumbling .... "
				+ "② According to orthodox wisdom, the cosmos began with the Big Bang-an immense, perfectly symmetrical explosion 20 billion years ago. "
				+ "③ (The problem is that) astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years .... ");

		JudgedStatement js1 = new Proposition("The Big Bang theory is crumbling.");
		JudgedStatement js2 = new Proposition("According to orthodox wisdom, the cosmos began with the Big Bang-an immense, perfectly symmetrical explosion 20 billion years ago.");
		JudgedStatement js3 = new Proposition("Astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years.");
		JudgedStatement js4 = new Proposition("(Studies based on new data collected by satellite, and backed up by earlier ground surveys, show that) galaxies are clustered into vast ribbons that stretch billions of light years,");
		JudgedStatement js5 = new Proposition("Galaxies are separated by voids hundreds of millions of light years across.");
		JudgedStatement js6 = new Proposition("Galaxies are observed to travel at only a small fraction of the speed of light.");
		JudgedStatement js7 = new Proposition("Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.");

		a2.addEvidence(js4, js5, js6);
		a2.addConclusion(js7);
		a3.addEvidence(js7);
		a3.addConclusion(js3);
		a4.addEvidence(js2, js3);
		a4.addConclusion(js1);
		a1.addSubArgument(a2, a3, a4);

		Root root = new Root(a1);

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

输出结果：

    
        ① The Big Bang theory is crumbling .... ② According to orthodox wisdom, the cosmos began with the Big Bang-an immense, perfectly symmetrical explosion 20 billion years ago. ③ (The problem is that) astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years .... ④ (Studies based on new data collected by satellite, and backed up by earlier ground surveys, show that) galaxies are clustered into vast ribbons that stretch billions of light years, ⑤ and are separated by voids hundreds of millions of light years across. ⑥ Galaxies are observed to travel at only a small fraction of the speed of light. ⑦ Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.
        
    
    
        
        ④ (Studies based on new data collected by satellite, and backed up by earlier ground surveys, show that) galaxies are clustered into vast ribbons that stretch billions of light years, ⑤ and are separated by voids hundreds of millions of light years across. ⑥ Galaxies are observed to travel at only a small fraction of the speed of light. ⑦ Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.
        
        
        
    
    
        
        ③ Astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years .... ⑦ Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.
        
        
        
    
    
        
        ① The Big Bang theory is crumbling .... ② According to orthodox wisdom, the cosmos began with the Big Bang-an immense, perfectly symmetrical explosion 20 billion years ago. ③ (The problem is that) astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years .... 
        
        
        
    
    
        The Big Bang theory is crumbling.
    
    
        According to orthodox wisdom, the cosmos began with the Big Bang-an immense, perfectly symmetrical explosion 20 billion years ago.
    
    
        Astronomers have confirmed by observation the existence of huge conglomerations of galaxies that are simply too big to have been formed in a mere 20 billion years.
    
    
        (Studies based on new data collected by satellite, and backed up by earlier ground surveys, show that) galaxies are clustered into vast ribbons that stretch billions of light years,
    
    
        Galaxies are separated by voids hundreds of millions of light years across.
    
    
        Galaxies are observed to travel at only a small fraction of the speed of light.
    
    
        Mathematics shows that such large clumps of matter must have taken at least one hundred billion years to come together -- five times as long as the time since the hypothetical Big Bang.
    
    
        
            
            
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
            
            
        
    
    
        
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
            
        
    
    
        
            
        
        
    
    
        
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
            
        
    
    
        
            
        
    
    
        
            
        
    
    
        
            
            
            
        
    

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

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

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