This study discusses the analysis of various modeling approaches such as genetic algorithms, fuzzy logic and evidential reasoning, and maintenance techniques applicable to the liquefied natural gas （LNG） carrier ope...This study discusses the analysis of various modeling approaches such as genetic algorithms, fuzzy logic and evidential reasoning, and maintenance techniques applicable to the liquefied natural gas （LNG） carrier operations in the maritime environment. The usefulness of these algorithms in the LNG carrier industry in the areas of risk assessment and maintenance modeling as a standalone or hybrid algorithm are identified. This is evidenced with illustrative case studies.展开更多
OBJECTIVE: To discuss the application of logic to pattern differentiation for treatment in Traditional Chinese Medicine (TCM). METHODS: Comparing logic reasoning of syllogism with the logical thinking ofTCM pattern di...OBJECTIVE: To discuss the application of logic to pattern differentiation for treatment in Traditional Chinese Medicine (TCM). METHODS: Comparing logic reasoning of syllogism with the logical thinking ofTCM pattern differentiation for treatment. RESULTS:TCM logical thinking depends on symbolic and intuitive judgment with abstractive reasoning integrated into the process. Although it lacks quantitative measurement, it pays great attention to the comprehensive analysis of a disease's cause and its development patterns to get insight into the essence of illness. CONCLUSION: TCM diagnosis reasoning methodmay lack rigorousness, continuity, systematic induction and deduction, but its logical thinking still can attain its goal following a process with rigorous, regulated and scientific formal logic.展开更多
Inference rules are at the heart of studies of logic. Although legal logic is an applied logic, it is not a simple application of the inference rules of formal logic in the legal domain, but the outcome of a combinati...Inference rules are at the heart of studies of logic. Although legal logic is an applied logic, it is not a simple application of the inference rules of formal logic in the legal domain, but the outcome of a combination of the inference rules of formal logic and inference rules peculiar to the legal domain. Therefore, although legal inference rules have some features in common with the inference rules of formal logic, they also have a distinctive character. Their common features are to be found in the fact that the basic inference rules of formal logic are an indispensable part of the inference rules of legal logic, while their distinctiveness lies in the fact that legal inference rules contain a special inference rule that does not exist in formal logic, the rule of burden of proof.展开更多
文摘This study discusses the analysis of various modeling approaches such as genetic algorithms, fuzzy logic and evidential reasoning, and maintenance techniques applicable to the liquefied natural gas （LNG） carrier operations in the maritime environment. The usefulness of these algorithms in the LNG carrier industry in the areas of risk assessment and maintenance modeling as a standalone or hybrid algorithm are identified. This is evidenced with illustrative case studies.
基金Supported by the National Science & Technology Pillar Program in the 11th Five year Plan of China (2006BAI11B0801)the Priority Academic Program Development (PAPD) of Jiangsu Higher Education Institutions
文摘OBJECTIVE: To discuss the application of logic to pattern differentiation for treatment in Traditional Chinese Medicine (TCM). METHODS: Comparing logic reasoning of syllogism with the logical thinking ofTCM pattern differentiation for treatment. RESULTS:TCM logical thinking depends on symbolic and intuitive judgment with abstractive reasoning integrated into the process. Although it lacks quantitative measurement, it pays great attention to the comprehensive analysis of a disease's cause and its development patterns to get insight into the essence of illness. CONCLUSION: TCM diagnosis reasoning methodmay lack rigorousness, continuity, systematic induction and deduction, but its logical thinking still can attain its goal following a process with rigorous, regulated and scientific formal logic.
文摘Inference rules are at the heart of studies of logic. Although legal logic is an applied logic, it is not a simple application of the inference rules of formal logic in the legal domain, but the outcome of a combination of the inference rules of formal logic and inference rules peculiar to the legal domain. Therefore, although legal inference rules have some features in common with the inference rules of formal logic, they also have a distinctive character. Their common features are to be found in the fact that the basic inference rules of formal logic are an indispensable part of the inference rules of legal logic, while their distinctiveness lies in the fact that legal inference rules contain a special inference rule that does not exist in formal logic, the rule of burden of proof.
