We propose that the QCD vacuum pion tetrahedron condensate density vary in space and drops to extremely low values in the Kennan, Barger and Cowie (KBC) void in analogy to earth’s atmospheric density drop with elevat...We propose that the QCD vacuum pion tetrahedron condensate density vary in space and drops to extremely low values in the Kennan, Barger and Cowie (KBC) void in analogy to earth’s atmospheric density drop with elevation from earth. We propose a formula for the gravitation acceleration based on the non-uniform pion tetrahedron condensate. Gravity may be due to the underlying microscopic attraction between quarks and antiquarks, which are part of the vacuum pion tetrahedron condensate. We propose an electron tetrahedron model, where electrons are comprised of tetraquark tetrahedrons, and . The quarks determine the negative electron charge and the or quarks determine the electron two spin states. The electron tetrahedron may perform a high frequency quark exchange reactions with the pion tetrahedron condensate by tunneling through the condensation gap creating a delocalized electron cloud with a fixed spin. The pion tetrahedron may act as a QCD glue bonding electron pairs in atoms and molecules and protons to neutrons in the nuclei. Conservation of valence quarks and antiquarks is proposed.展开更多
Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes...Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes a complete quantified temporal KBC （knowledge, belief and certainty） logic and corresponding reasoning in hierarchical multi-agent systems （HMAS）. The key point is that internal beliefs and certainty, and external belief and certainty are considered in our logic. The internal beliefs and certainty show every agent is au- tonomous, while the external belief and certainty indicate the mutual influence of mental attitudes between two different agents on different layers in HMAS. To interpret this logic, we propose four classes of corresponding quantified interpreted systems, and define first-order KBC axiomatisations over HMAS, which are sound and complete with respect to the corresponding semantical classes. Finally, we give a case study to show the advantages in terms of expressiveness of our logic.展开更多
文摘We propose that the QCD vacuum pion tetrahedron condensate density vary in space and drops to extremely low values in the Kennan, Barger and Cowie (KBC) void in analogy to earth’s atmospheric density drop with elevation from earth. We propose a formula for the gravitation acceleration based on the non-uniform pion tetrahedron condensate. Gravity may be due to the underlying microscopic attraction between quarks and antiquarks, which are part of the vacuum pion tetrahedron condensate. We propose an electron tetrahedron model, where electrons are comprised of tetraquark tetrahedrons, and . The quarks determine the negative electron charge and the or quarks determine the electron two spin states. The electron tetrahedron may perform a high frequency quark exchange reactions with the pion tetrahedron condensate by tunneling through the condensation gap creating a delocalized electron cloud with a fixed spin. The pion tetrahedron may act as a QCD glue bonding electron pairs in atoms and molecules and protons to neutrons in the nuclei. Conservation of valence quarks and antiquarks is proposed.
文摘Multi-agent systems （MAS） have received exten- sive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hier- archical structures. This paper proposes a complete quantified temporal KBC （knowledge, belief and certainty） logic and corresponding reasoning in hierarchical multi-agent systems （HMAS）. The key point is that internal beliefs and certainty, and external belief and certainty are considered in our logic. The internal beliefs and certainty show every agent is au- tonomous, while the external belief and certainty indicate the mutual influence of mental attitudes between two different agents on different layers in HMAS. To interpret this logic, we propose four classes of corresponding quantified interpreted systems, and define first-order KBC axiomatisations over HMAS, which are sound and complete with respect to the corresponding semantical classes. Finally, we give a case study to show the advantages in terms of expressiveness of our logic.
