China
Africa
Explore chapters and articles related to this topic
SOME ASPECTS OF R.C. STRUCTURE CAD SYSTEM
Published in Franklin Y. Cheng, FU Zizhi, Computational Mechanics in Structural Engineering, 2003
Liu Guang - dong, Shang Shou - ping
The present Artificial Intelligence is the predicate logical deduction system on the basis of mathematical logic. It is to use a simple structure to make inference formalization and runs on the fourth generation computer in the form of series. Although it embodies intelligence under many conditions, but with many complex problems in practice, it still seems powerless and is not so good as human brain thinking process. The main reason is: human brain realizes intelligence with the help of parallel action of much nerve elements, but the present fourth generation computer has no such structure.
A Method for Backward Failure Propagation in Conceptual System Design
Published in Nuclear Science and Engineering, 2023
Ali Mansoor, Xiaoxu Diao, Carol Smidts
As discussed earlier, the forward application of the ISFA method relies on logic-based rules, i.e., BRs and FFL. However, it is imperative to derive a reversed version of the rules for their application to the backward propagation. The derivation of the reverse rules is performed using PL (Ref. 42). This mathematical technique is widely used in computer science to verify software and design computing and artificial intelligence systems. It is a branch of mathematical logic that combines simple propositions to make more complicated propositions and studies the logical relationships and properties derived from manipulating the statements. The propositions are the simplest statements that cannot be further subdivided. A proposition can be either true or false but cannot have both truth values simultaneously. The value of a complex statement depends on the truth values of the comprising propositions. The simple propositions are combined using connectives to make complex statements (some connectives are shown in Table I). These complex statements can be studied based on the axioms of PL and the rules of inference of PL. A set of statements, called premise, can be used to derive a new statement or a new set of statements. For the sake of simplicity and improved readability of the logical expressions used later in this paper, we introduce a logic connective called multi-XOR, , which is defined as follows: