The purpose of this study was to investigate biomechanical behavior changes of femoral head necrosis(FHN)by increasing lower extremity abduction(LEA)angle,offering scientific basis on choosing the LEA procedure for th...The purpose of this study was to investigate biomechanical behavior changes of femoral head necrosis(FHN)by increasing lower extremity abduction(LEA)angle,offering scientific basis on choosing the LEA procedure for the exact classifications.Methods:Thirty computational models were constructed and used to simulate six different abducent angles with five different progresses of FHN.The initial model was validated by the bony density distribution in X-rays images and the photograph of the cadaver bone in cross-section.The stress transfer path(STP)of each model was analyzed and the contact stresses were assessed.Results:During the midstance phase,STP of type A showed strong similarities with the healthy level;STP distribution was from the top of the femoral head to the calcar;the damage area of STP of type B was approximately 25%of the healthy.While STPs in both type C1 and C2 were broken off.As the increase of the abduction angle,STP of type B transformed into type A,STP of type C1 transformed into type B.STP of type C2 transformed into type C1.There was no significant difference in contact stress between the four settings of FHN and normal femoral head.Conclusions:We found computational biomechanical technique to be a sensitive and useful method for distinguishing the biomechanical difference of FHN during abduction gait.These results showed that LEA motion could effectively reduce collapse risk and interrupt the disease pathway of FHN deteriorated into osteoarthritis.Furthermore,our findings indicated that the LEA procedure was suitable for type A,B and C1,while type C2 of FHN involved surgical intervention might get a better clinical outcome.展开更多
AIM： To determine the relationship between abduction deficit and reoperation among patients with infantile esotropia （IET）. METHODS： The records of 216 patients （432 eyes） with lET who underwent surgery, from 2...AIM： To determine the relationship between abduction deficit and reoperation among patients with infantile esotropia （IET）. METHODS： The records of 216 patients （432 eyes） with lET who underwent surgery, from 2010 to 2015 were studied. Patients with lET whose deviation appeared before 6mo of age and had stable preoperative deviation in two examinations with at least 2wk apart and a minimum 3too postoperative follow up were included. Cases with early onset accommodative esotropia, congenital cataract, retinopathy of prematurity （ROP）, manifest nystagmus, fundus lesions, neurologic and ophthalmic anomalies, 6th nerve palsy and Duane＇s syndrome were excluded. Preoperative abduction deficit was considered from -1 to -3 grading scale. Three months after surgery, children were classified into no-need reoperation [deviation〈15 prism diopters （PD）], and need-reoperation groups （deviaUon〉15 PD）. RESULTS： In this retrospective study, 117 female and 99 male patients with the mean surgical age of 4.7±6.4y were included. Reoperation rate was 33.3% and 16.0% in lET patients with and without abduction deficit, respectively in patients who had a history of late surgery. Abduction deficit increased the odds of reoperation by 82% [OR=1.82, 95% confidence interval （CI） =1.05 to 3.19, P=0.003] in patients who had a history of late surgery （〉2 years old, P=0.021）. Abduction deficit was improved significantly after operation （P〈0.001）. CONCLUSION： Based on our results, abduction deficit can be considered as a risk factor of reoperation in lET patients who are operated at the age of more than 2y.展开更多
By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the typical abductive semantics (TAS), is presented, which is quit...By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the typical abductive semantics (TAS), is presented, which is quite simple and highly intuitive. TAS is complete and coincides with the stable semantics for the class of disjunctive programs that possess stable models. By the coherence principle, TAS can be easily generalized to extended disjunctive programs and can properly handle some benchmark problems in commonsense reasoning展开更多
Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of 'good' abduction, a new criterion of abduction called intuitive-mi...Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of 'good' abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced.An IMA is an abductive formula equivalent to the minimal abductive formula under the theory part of a sequent and literally as simple as possible. Abduction algorithms are presented on the basis of a complete natural reduction system. An abductive formula, obtained by the algorithms presented in this papert is an IMA if the reduction tree, from which the abduction is performed, is fully expanded. Instead of using Skolem functions, a term-ordering is used to indicate dependency between terms.展开更多
In Chinese medicine, practitioners assess patients’ complaints, analyze their underlying problems, identify causes and come to a diagnosis, which then directs treatment. What is not obvious and not recorded in a cons...In Chinese medicine, practitioners assess patients’ complaints, analyze their underlying problems, identify causes and come to a diagnosis, which then directs treatment. What is not obvious and not recorded in a consultation is the clinical reasoning process that practitioners use. The research filmed three practitioners in the UK while they conducted a consultation and treatment on new patients. The practitioners and researchers viewed the films and used them as aide-memoirs while the reasoning process throughout was discussed. In order to determine the pattern, practitioners used the four examinations to gather information from the patient in an iterative process;their aesthetic reasoning was highly developed. Through triangulation they checked the information they received against a detailed understanding of the qi-dynamic. They used highly analytical strategies of forward(inductive) and backward(deductive) reasoning against the prototypes of the signs and symptoms that indicate a specific Zheng. This was achieved through an abductive process that linked description with explanation and causal factors with pathological mechanisms. The feedback loop with the patient continued through the consultation and into the treatment. A process of translation and interpretation was needed to turn the patient’s story into the practitioner’s story of qi-dynamics that then directed the treatment. Awareness of our clinical reasoning process will mitigate against biases, improve our diagnoses and treatment choices and support the training of students.展开更多
Background: Q-Factor(QF), or the inter-pedal width, in cycling is similar to step-width in gait. Although increased step-width has been shown to reduce peak knee abduction moment(KAbM), no studies have examined the bi...Background: Q-Factor(QF), or the inter-pedal width, in cycling is similar to step-width in gait. Although increased step-width has been shown to reduce peak knee abduction moment(KAbM), no studies have examined the biomechanical effects of increased QF in cycling at different workrates in healthy participants.Methods: A total of 16 healthy participants(8 males, 8 females, age: 22.4 ± 2.6 years, body mass index: 22.78 ± 1.43 kg/m^2, mean ± SD) participated.A motion capture system and customized instrumented pedals were used to collect 3-dimensional kinematic(240 Hz) and pedal reaction force(PRF)(1200 Hz) data in 12 testing conditions: 4 QF conditions—Q1(15.0 cm), Q2(19.2 cm), Q3(23.4 cm), and Q4(27.6 cm)—under 3 workrate conditions—80 watts(W), 120 W, and 160 W. A 3 × 4(QF × workrate) repeated measures of analysis of variance were performed to analyze differences among conditions(p < 0.05).Results: Increased QF increased peak KAbM by 47%, 56%, and 56% from Q1 to Q4 at each respective workrate. Mediolateral PRF increased from Q1 to Q4 at each respective workrate. Frontal-plane knee angle and range of motion decreased with increased QF. No changes were observed for peak vertical PRF, knee extension moment, sagittal plane peak knee joint angles, or range of motion.Conclusion: Increased QF increased peak KAbM, suggesting increased medial compartment loading of the knee. QF modulation may influence frontal-plane joint loading when using stationary cycling for exercise or rehabilitation purposes.展开更多
Recently we proposed “quantum language” (or, “the linguistic Copenhagen interpretation of quantum mechanics”, “measurement theory”) as the language of science. This theory asserts the probabilistic interpretatio...Recently we proposed “quantum language” (or, “the linguistic Copenhagen interpretation of quantum mechanics”, “measurement theory”) as the language of science. This theory asserts the probabilistic interpretation of science (=the linguistic quantum mechanical worldview), which is a kind of mathematical generalization of Born’s probabilistic interpretation of quantum mechanics. In this paper, we consider the most fundamental problems in philosophy of science such as Hempel’s raven paradox, Hume’s problem of induction, Goodman’s grue paradox, Peirce’s abduction, flagpole problem, which are closely related to measurement. We believe that these problems can never be solved without the basic theory of science with axioms. Since our worldview (=quantum language) has the axiom concerning measurement, these problems can be solved easily. Thus we believe that quantum language is the central theory in philosophy of science. Hence there is a reason to assert that quantum language gives the mathematical foundations to science.展开更多
A general multi-agent architecture is proposed for intelligent decision support system (MAIDSS). The agent in MAIDSS is built based on an extension of BDI framework. Several agents form a team working together on a de...A general multi-agent architecture is proposed for intelligent decision support system (MAIDSS). The agent in MAIDSS is built based on an extension of BDI framework. Several agents form a team working together on a decision problem; several agent teams are defined to stand for the benefits of different people in the real world. The decision making process is based on multi-agent cooperation, and a logical framework for a team of agents cooperating to create the solution for the decision problem is discussed in detail.展开更多
In the discipline of artificial intelligence,the problem of emulating higher mental processes such as the cognitive learning still remains open.Here a logical approach to higher mental processes, including insight lea...In the discipline of artificial intelligence,the problem of emulating higher mental processes such as the cognitive learning still remains open.Here a logical approach to higher mental processes, including insight learning and intuition acquisition,is presented.This approach is based on the conventional logic,including deduction, induction,and abduction.The combined deductive reasoning and abductive reasoning or alternatively predicate completion are used for insight learning,and an integrated inductive learning is used to acquire the intuition of the rule-based expert systems.The application of the approach to real-world problems is also described in detail.展开更多
Seven superficial myofascial kinetic lines have been described earlier in horses in a comparative dissection study to the human lines. The lines act as an anatomical basis for understanding locomotion, stabilization, ...Seven superficial myofascial kinetic lines have been described earlier in horses in a comparative dissection study to the human lines. The lines act as an anatomical basis for understanding locomotion, stabilization, and posture. Further dissections verified three profound equine lines comparable to those described in humans and a fourth line not described previously. Forty-four horses of different breed and gender were dissected, imaged and video recorded. The horses were euthanized due to reasons not related to this study. A Deep Ventral Line (DVL) very similar to that in the human was verified in these studies. The line spans from the insertion of the profound flexor tendon in the hindlimb to the base of the cranium and oral part of the cavities of the head. It includes the profound, hypaxial myofascial structures, the ventral coccygeal muscles, the psoas muscles, the diaphragm, the longus colli/capitis muscles and the ventral capital muscles. The inner lining of the pelvic, abdominal and thoracic cavities with all the organs, vessels and nerves are also included. The line is closely connected to the autonomic nervous system by the vagus nerve, the pelvic nerves, the sympathetic trunk and several of the prevertebral nerves and ganglia. The new line identified in this study, is a Deep Dorsal Line (DDL), which starts in the dorsal tail muscles. It comprises myofascial structures of the spinocostotransversal system from the tail to the head including the nuchal ligament. It connects to the dura mater and has a major role in controlling the motion and stabilization of the <em>Columna vertebralis</em>. Both the DDL and the DVL include the coccygeal myofascia and periosteum of the skull. Due to differences in biped and quadruped anatomy the Front Limb Adduction Line (FADL) and the Front Limb Abduction Line (FABL) differ from the human lines. The lines are identified as slings in the brachial and antebrachial regions. The FABL includes structures for abduction and internal rotation connecting to the Front Limb Retraction Line (FLRL), and the FADL structures of adduction and external rotation in close proximity to the Front Limb Protraction Line (FLPL). The front limb lines support the movement of the front limb around the “thoraco-scapula pivot joint” medially at the level of the upper third of the scapula. The DVL identified in this study is similar to the human DFL whereas the front limb lines differ somewhat from the deep human arm lines due to differences in bi- and quadruped anatomy and biomechanics. We have identified and described this new equine DDL. The lines altogether explain a profound body balance and confirm the three-dimensional equine fascial network, which is of great clinical and biomechanical importance.展开更多
This study is subject to the finite element and abd uc tive network method application in the multi-cavity die. In order to select the optimal cooling system parameters to minimize the warp of a die-casting die, t he ...This study is subject to the finite element and abd uc tive network method application in the multi-cavity die. In order to select the optimal cooling system parameters to minimize the warp of a die-casting die, t he Taguchi’s method and the abductive network are used. These methods are appli ed to create an efficient model with functional nodes for the considered problem . Once the cooling system parameters are developed, this network can be used to predict the warp for the die-casting die accurately. A simulated annealing (SA) optimization algorithm with a performance index is then applied to the neur al network for searching the optimal cooling system parameters, and obtain rathe r satisfactory result as compared with the corresponding finite element veri fication.展开更多
An approach to characterize the credibility of beliefs of an agent is proposed in this paper, which can define the uncertainty of beliefs, calculation rules and inference rules about credibility and a method for belie...An approach to characterize the credibility of beliefs of an agent is proposed in this paper, which can define the uncertainty of beliefs, calculation rules and inference rules about credibility and a method for belief revision based on abductive reasoning is also given. When an agent receives some new information, if the new information is consistent with the current belief set, then incorporate this new information with an appropriate credibility, otherwise the choice will be different depending on the characters of agents, and the deliberated agents will choose the belief with a better explanation under the current belief set. Removing one belief may cause the removal of those beliefs that, together with others, logically entail the formula to be removed. A method based on abduction is proposed to solve these problems.展开更多
Buying and selling abducted women or children are symmetrical crimes, but the “the same punishment for the same crime” is not applied. The focus of the criminal punishment for buying abducted women or children is no...Buying and selling abducted women or children are symmetrical crimes, but the “the same punishment for the same crime” is not applied. The focus of the criminal punishment for buying abducted women or children is not about increasing the statutory sentence, but strengthening judicial and law enforcement, to increase the prosecution rate and impose combined punishment for several crimes including the buying of abducted women or children and other subsequent crimes, so as to demonstrate the inevitability of criminal punishment. Human dignity is the core legal interest violated by the crime of buying abducted women or children. The specific legal interest is that humans are not for sale, which should be valued and protected independently in criminal law. This crime is a type of behavioral offense rather than a crime of circumstances. Under normal circumstances,neither the consent of the victim nor the goodwill of the purchaser excludes conviction of the crime. Compared with the crime of abducting and trafficking women or children, buying abducted women or children is not necessarily a serious crime, and the basic statutory punishment of less than three years is reasonable. However, it is possible to appropriately raise the sentence to less than five years in legislation.Where subsequent behaviors do not constitute a crime, they can be used as aggravating circumstances for the crime, and an aggravated statutory sentence can be configured to connect with the statutory punishments for the crime of abducting and trafficking women or children.展开更多
A clinical decision support system(CDSS)can help physicians make clinical decisions,such as differential diagnosis,therapy planning,or plan critiquing.To make such informed decisions,a physician may need to keep track...A clinical decision support system(CDSS)can help physicians make clinical decisions,such as differential diagnosis,therapy planning,or plan critiquing.To make such informed decisions,a physician may need to keep track of a large amount of medical data and literature,such as new research articles,pharmacological therapies,and updates in Clinical Practice Guidelines.Therefore,a CDSS can be designed to assist physicians by providing relevant evidence-based clinical recommendations,subsequently reducing the cognitive overhead required to stay up-to-date with an evolving body of literature.We designed a CDSS by leveraging Semantic Web technologies to create an AI system that reasons in a way similar to physicians.We base our abstraction of human reasoning on the Select and Test Model(ST-Model),which combines multiple forms of reasoning,such as abstraction,deduction,abduction,and induction,to arrive at and test hypotheses.Based on this framework,we perform ensemble reasoning,the integration and interaction of multiple types of reasoning.We apply our CDSS to the treatment of type 2 diabetes mellitus by designing a domain ontology,the Diabetes Pharmacology Ontology(DPO),that supports both deductive and abductive reasoning.DPO is also used to provide a schema for our knowledge representation of hypothetical patients,where each patient is encoded in RDF as a Personalized Health Knowledge Graph(PHKG).We use the Whyis knowledge graph framework to implement our CDSS.This is achieved by writing software agents to perform custom deductive reasoning and integrating abduction using an existing reasoning engine,the AAA Abduction Solver.We apply our approach to perform therapy planning on hypothetical patients.展开更多
Older adults are at an increased risk of developing knee osteoarthritis.High internal knee abduction moment during daily activities may elevate the risk of knee osteoarthritis.Incline walking exercise has been found t...Older adults are at an increased risk of developing knee osteoarthritis.High internal knee abduction moment during daily activities may elevate the risk of knee osteoarthritis.Incline walking exercise has been found to decrease knee abduction moment in healthy young adults.However,it is unknown if this occurs in healthy older adults.The purpose of this study was to quantify the internal knee abduction moment at different treadmill grades to determine if incline walking could reduce the knee abduction moment in healthy older adults.Twelve healthy older adult males walked on a treadmill at five incline grades(0%,5%,10%,15%,and 20%)at 1.34 m·s^(-1).The primary outcome variable was the internal knee abduction moment.A one-way repeated measures multivariate analysis of variance was performed to determine differences in the dependent variables among incline gradients.Peak knee abduction moment significantly decreased from level walking at all gradients in 10% increments(0%-10%,p<0.001;5%-15%,p<0.002;and 10%-20%,p=0.04).A reduction in knee abduction moment during incline walking could result in decreased knee joint loading on the medial knee compartment.For older adults,who are looking to exercise to improve their health,incline walking may be beneficial to promote lower body strength and cardiovascular ability without inflicting further harm to the aging knee joints.However,because the frontal plane knee joint was of primary interest in this study,further research is needed to determine the effects of incline walking on other joints and in other planes of motion.展开更多
This paper proposes a sequential model of bar- gaining specifying reasoning processes of an agent be- hind bargaining procedures. We encode agents＇ background knowledge, demands, and bargaining constraints in logic p...This paper proposes a sequential model of bar- gaining specifying reasoning processes of an agent be- hind bargaining procedures. We encode agents＇ background knowledge, demands, and bargaining constraints in logic pro- grams and represent bargaining outcomes in answer sets. We assume that in each bargaining situation, each agent has a set of goals to achieve, which are normally unachievable with- out an agreement among all the agents who are involved in the bargaining. Through an alternating-offers procedure, an agreement among bargaining agents may be reached by ab- ductive reasoning. We show that the procedure converges to a Nash equilibrium if each agent makes rational offers/counter- offers in each round. In addition, the sequential model also has a number of desirable properties, such as mutual commit- ments, individual rationality, satisfactoriness, and honesty.展开更多
Argumentation (abduction) is widely applied in artificial intelligence (AI) and law reasoning. However, the problem of how to perform argumentation in disjunctive logic programming (DLP) is still open.In addition, a u...Argumentation (abduction) is widely applied in artificial intelligence (AI) and law reasoning. However, the problem of how to perform argumentation in disjunctive logic programming (DLP) is still open.In addition, a unifying semantic framework is required for incorporating various semantics for DLP. An argumentation-theoretic framework for DLP by taking the disjuncts of negative literals as abducibles is presented. This semantics not only is a simple and intuitive framework for performing argumentation and abduction in DLP, but also provides a unifying framework for many key semantics of disjunctive logic programs. In particular, it is shown that the EGCWA, well-founded model and disjunctive stable models can all be embedded into this semantics.展开更多
基金The authors received grants from Natural Science Foundation of Guangdong Province(2014A030310214),Science and Technology Project of Guangdong Province(2014A020221041),and the Medical Science and Technology Foundation of Guangdong Province(A2015039).
文摘The purpose of this study was to investigate biomechanical behavior changes of femoral head necrosis(FHN)by increasing lower extremity abduction(LEA)angle,offering scientific basis on choosing the LEA procedure for the exact classifications.Methods:Thirty computational models were constructed and used to simulate six different abducent angles with five different progresses of FHN.The initial model was validated by the bony density distribution in X-rays images and the photograph of the cadaver bone in cross-section.The stress transfer path(STP)of each model was analyzed and the contact stresses were assessed.Results:During the midstance phase,STP of type A showed strong similarities with the healthy level;STP distribution was from the top of the femoral head to the calcar;the damage area of STP of type B was approximately 25%of the healthy.While STPs in both type C1 and C2 were broken off.As the increase of the abduction angle,STP of type B transformed into type A,STP of type C1 transformed into type B.STP of type C2 transformed into type C1.There was no significant difference in contact stress between the four settings of FHN and normal femoral head.Conclusions:We found computational biomechanical technique to be a sensitive and useful method for distinguishing the biomechanical difference of FHN during abduction gait.These results showed that LEA motion could effectively reduce collapse risk and interrupt the disease pathway of FHN deteriorated into osteoarthritis.Furthermore,our findings indicated that the LEA procedure was suitable for type A,B and C1,while type C2 of FHN involved surgical intervention might get a better clinical outcome.
文摘AIM： To determine the relationship between abduction deficit and reoperation among patients with infantile esotropia （IET）. METHODS： The records of 216 patients （432 eyes） with lET who underwent surgery, from 2010 to 2015 were studied. Patients with lET whose deviation appeared before 6mo of age and had stable preoperative deviation in two examinations with at least 2wk apart and a minimum 3too postoperative follow up were included. Cases with early onset accommodative esotropia, congenital cataract, retinopathy of prematurity （ROP）, manifest nystagmus, fundus lesions, neurologic and ophthalmic anomalies, 6th nerve palsy and Duane＇s syndrome were excluded. Preoperative abduction deficit was considered from -1 to -3 grading scale. Three months after surgery, children were classified into no-need reoperation [deviation〈15 prism diopters （PD）], and need-reoperation groups （deviaUon〉15 PD）. RESULTS： In this retrospective study, 117 female and 99 male patients with the mean surgical age of 4.7±6.4y were included. Reoperation rate was 33.3% and 16.0% in lET patients with and without abduction deficit, respectively in patients who had a history of late surgery. Abduction deficit increased the odds of reoperation by 82% [OR=1.82, 95% confidence interval （CI） =1.05 to 3.19, P=0.003] in patients who had a history of late surgery （〉2 years old, P=0.021）. Abduction deficit was improved significantly after operation （P〈0.001）. CONCLUSION： Based on our results, abduction deficit can be considered as a risk factor of reoperation in lET patients who are operated at the age of more than 2y.
基金Project supported by the State Climbing Project of China, the High-Tech Program of China and the fund from the National University of Defense Technology.
文摘By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the typical abductive semantics (TAS), is presented, which is quite simple and highly intuitive. TAS is complete and coincides with the stable semantics for the class of disjunctive programs that possess stable models. By the coherence principle, TAS can be easily generalized to extended disjunctive programs and can properly handle some benchmark problems in commonsense reasoning
文摘Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of 'good' abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced.An IMA is an abductive formula equivalent to the minimal abductive formula under the theory part of a sequent and literally as simple as possible. Abduction algorithms are presented on the basis of a complete natural reduction system. An abductive formula, obtained by the algorithms presented in this papert is an IMA if the reduction tree, from which the abduction is performed, is fully expanded. Instead of using Skolem functions, a term-ordering is used to indicate dependency between terms.
基金This research was self-funded as part of an Education Doctorate at the Institute of Education,University College London.
文摘In Chinese medicine, practitioners assess patients’ complaints, analyze their underlying problems, identify causes and come to a diagnosis, which then directs treatment. What is not obvious and not recorded in a consultation is the clinical reasoning process that practitioners use. The research filmed three practitioners in the UK while they conducted a consultation and treatment on new patients. The practitioners and researchers viewed the films and used them as aide-memoirs while the reasoning process throughout was discussed. In order to determine the pattern, practitioners used the four examinations to gather information from the patient in an iterative process;their aesthetic reasoning was highly developed. Through triangulation they checked the information they received against a detailed understanding of the qi-dynamic. They used highly analytical strategies of forward(inductive) and backward(deductive) reasoning against the prototypes of the signs and symptoms that indicate a specific Zheng. This was achieved through an abductive process that linked description with explanation and causal factors with pathological mechanisms. The feedback loop with the patient continued through the consultation and into the treatment. A process of translation and interpretation was needed to turn the patient’s story into the practitioner’s story of qi-dynamics that then directed the treatment. Awareness of our clinical reasoning process will mitigate against biases, improve our diagnoses and treatment choices and support the training of students.
文摘Background: Q-Factor(QF), or the inter-pedal width, in cycling is similar to step-width in gait. Although increased step-width has been shown to reduce peak knee abduction moment(KAbM), no studies have examined the biomechanical effects of increased QF in cycling at different workrates in healthy participants.Methods: A total of 16 healthy participants(8 males, 8 females, age: 22.4 ± 2.6 years, body mass index: 22.78 ± 1.43 kg/m^2, mean ± SD) participated.A motion capture system and customized instrumented pedals were used to collect 3-dimensional kinematic(240 Hz) and pedal reaction force(PRF)(1200 Hz) data in 12 testing conditions: 4 QF conditions—Q1(15.0 cm), Q2(19.2 cm), Q3(23.4 cm), and Q4(27.6 cm)—under 3 workrate conditions—80 watts(W), 120 W, and 160 W. A 3 × 4(QF × workrate) repeated measures of analysis of variance were performed to analyze differences among conditions(p < 0.05).Results: Increased QF increased peak KAbM by 47%, 56%, and 56% from Q1 to Q4 at each respective workrate. Mediolateral PRF increased from Q1 to Q4 at each respective workrate. Frontal-plane knee angle and range of motion decreased with increased QF. No changes were observed for peak vertical PRF, knee extension moment, sagittal plane peak knee joint angles, or range of motion.Conclusion: Increased QF increased peak KAbM, suggesting increased medial compartment loading of the knee. QF modulation may influence frontal-plane joint loading when using stationary cycling for exercise or rehabilitation purposes.
文摘Recently we proposed “quantum language” (or, “the linguistic Copenhagen interpretation of quantum mechanics”, “measurement theory”) as the language of science. This theory asserts the probabilistic interpretation of science (=the linguistic quantum mechanical worldview), which is a kind of mathematical generalization of Born’s probabilistic interpretation of quantum mechanics. In this paper, we consider the most fundamental problems in philosophy of science such as Hempel’s raven paradox, Hume’s problem of induction, Goodman’s grue paradox, Peirce’s abduction, flagpole problem, which are closely related to measurement. We believe that these problems can never be solved without the basic theory of science with axioms. Since our worldview (=quantum language) has the axiom concerning measurement, these problems can be solved easily. Thus we believe that quantum language is the central theory in philosophy of science. Hence there is a reason to assert that quantum language gives the mathematical foundations to science.
文摘A general multi-agent architecture is proposed for intelligent decision support system (MAIDSS). The agent in MAIDSS is built based on an extension of BDI framework. Several agents form a team working together on a decision problem; several agent teams are defined to stand for the benefits of different people in the real world. The decision making process is based on multi-agent cooperation, and a logical framework for a team of agents cooperating to create the solution for the decision problem is discussed in detail.
文摘In the discipline of artificial intelligence,the problem of emulating higher mental processes such as the cognitive learning still remains open.Here a logical approach to higher mental processes, including insight learning and intuition acquisition,is presented.This approach is based on the conventional logic,including deduction, induction,and abduction.The combined deductive reasoning and abductive reasoning or alternatively predicate completion are used for insight learning,and an integrated inductive learning is used to acquire the intuition of the rule-based expert systems.The application of the approach to real-world problems is also described in detail.
文摘Seven superficial myofascial kinetic lines have been described earlier in horses in a comparative dissection study to the human lines. The lines act as an anatomical basis for understanding locomotion, stabilization, and posture. Further dissections verified three profound equine lines comparable to those described in humans and a fourth line not described previously. Forty-four horses of different breed and gender were dissected, imaged and video recorded. The horses were euthanized due to reasons not related to this study. A Deep Ventral Line (DVL) very similar to that in the human was verified in these studies. The line spans from the insertion of the profound flexor tendon in the hindlimb to the base of the cranium and oral part of the cavities of the head. It includes the profound, hypaxial myofascial structures, the ventral coccygeal muscles, the psoas muscles, the diaphragm, the longus colli/capitis muscles and the ventral capital muscles. The inner lining of the pelvic, abdominal and thoracic cavities with all the organs, vessels and nerves are also included. The line is closely connected to the autonomic nervous system by the vagus nerve, the pelvic nerves, the sympathetic trunk and several of the prevertebral nerves and ganglia. The new line identified in this study, is a Deep Dorsal Line (DDL), which starts in the dorsal tail muscles. It comprises myofascial structures of the spinocostotransversal system from the tail to the head including the nuchal ligament. It connects to the dura mater and has a major role in controlling the motion and stabilization of the <em>Columna vertebralis</em>. Both the DDL and the DVL include the coccygeal myofascia and periosteum of the skull. Due to differences in biped and quadruped anatomy the Front Limb Adduction Line (FADL) and the Front Limb Abduction Line (FABL) differ from the human lines. The lines are identified as slings in the brachial and antebrachial regions. The FABL includes structures for abduction and internal rotation connecting to the Front Limb Retraction Line (FLRL), and the FADL structures of adduction and external rotation in close proximity to the Front Limb Protraction Line (FLPL). The front limb lines support the movement of the front limb around the “thoraco-scapula pivot joint” medially at the level of the upper third of the scapula. The DVL identified in this study is similar to the human DFL whereas the front limb lines differ somewhat from the deep human arm lines due to differences in bi- and quadruped anatomy and biomechanics. We have identified and described this new equine DDL. The lines altogether explain a profound body balance and confirm the three-dimensional equine fascial network, which is of great clinical and biomechanical importance.
文摘This study is subject to the finite element and abd uc tive network method application in the multi-cavity die. In order to select the optimal cooling system parameters to minimize the warp of a die-casting die, t he Taguchi’s method and the abductive network are used. These methods are appli ed to create an efficient model with functional nodes for the considered problem . Once the cooling system parameters are developed, this network can be used to predict the warp for the die-casting die accurately. A simulated annealing (SA) optimization algorithm with a performance index is then applied to the neur al network for searching the optimal cooling system parameters, and obtain rathe r satisfactory result as compared with the corresponding finite element veri fication.
文摘An approach to characterize the credibility of beliefs of an agent is proposed in this paper, which can define the uncertainty of beliefs, calculation rules and inference rules about credibility and a method for belief revision based on abductive reasoning is also given. When an agent receives some new information, if the new information is consistent with the current belief set, then incorporate this new information with an appropriate credibility, otherwise the choice will be different depending on the characters of agents, and the deliberated agents will choose the belief with a better explanation under the current belief set. Removing one belief may cause the removal of those beliefs that, together with others, logically entail the formula to be removed. A method based on abduction is proposed to solve these problems.
文摘Buying and selling abducted women or children are symmetrical crimes, but the “the same punishment for the same crime” is not applied. The focus of the criminal punishment for buying abducted women or children is not about increasing the statutory sentence, but strengthening judicial and law enforcement, to increase the prosecution rate and impose combined punishment for several crimes including the buying of abducted women or children and other subsequent crimes, so as to demonstrate the inevitability of criminal punishment. Human dignity is the core legal interest violated by the crime of buying abducted women or children. The specific legal interest is that humans are not for sale, which should be valued and protected independently in criminal law. This crime is a type of behavioral offense rather than a crime of circumstances. Under normal circumstances,neither the consent of the victim nor the goodwill of the purchaser excludes conviction of the crime. Compared with the crime of abducting and trafficking women or children, buying abducted women or children is not necessarily a serious crime, and the basic statutory punishment of less than three years is reasonable. However, it is possible to appropriately raise the sentence to less than five years in legislation.Where subsequent behaviors do not constitute a crime, they can be used as aggravating circumstances for the crime, and an aggravated statutory sentence can be configured to connect with the statutory punishments for the crime of abducting and trafficking women or children.
文摘A clinical decision support system(CDSS)can help physicians make clinical decisions,such as differential diagnosis,therapy planning,or plan critiquing.To make such informed decisions,a physician may need to keep track of a large amount of medical data and literature,such as new research articles,pharmacological therapies,and updates in Clinical Practice Guidelines.Therefore,a CDSS can be designed to assist physicians by providing relevant evidence-based clinical recommendations,subsequently reducing the cognitive overhead required to stay up-to-date with an evolving body of literature.We designed a CDSS by leveraging Semantic Web technologies to create an AI system that reasons in a way similar to physicians.We base our abstraction of human reasoning on the Select and Test Model(ST-Model),which combines multiple forms of reasoning,such as abstraction,deduction,abduction,and induction,to arrive at and test hypotheses.Based on this framework,we perform ensemble reasoning,the integration and interaction of multiple types of reasoning.We apply our CDSS to the treatment of type 2 diabetes mellitus by designing a domain ontology,the Diabetes Pharmacology Ontology(DPO),that supports both deductive and abductive reasoning.DPO is also used to provide a schema for our knowledge representation of hypothetical patients,where each patient is encoded in RDF as a Personalized Health Knowledge Graph(PHKG).We use the Whyis knowledge graph framework to implement our CDSS.This is achieved by writing software agents to perform custom deductive reasoning and integrating abduction using an existing reasoning engine,the AAA Abduction Solver.We apply our approach to perform therapy planning on hypothetical patients.
基金funded,in part,by a Ball State University ASPiRE grant.
文摘Older adults are at an increased risk of developing knee osteoarthritis.High internal knee abduction moment during daily activities may elevate the risk of knee osteoarthritis.Incline walking exercise has been found to decrease knee abduction moment in healthy young adults.However,it is unknown if this occurs in healthy older adults.The purpose of this study was to quantify the internal knee abduction moment at different treadmill grades to determine if incline walking could reduce the knee abduction moment in healthy older adults.Twelve healthy older adult males walked on a treadmill at five incline grades(0%,5%,10%,15%,and 20%)at 1.34 m·s^(-1).The primary outcome variable was the internal knee abduction moment.A one-way repeated measures multivariate analysis of variance was performed to determine differences in the dependent variables among incline gradients.Peak knee abduction moment significantly decreased from level walking at all gradients in 10% increments(0%-10%,p<0.001;5%-15%,p<0.002;and 10%-20%,p=0.04).A reduction in knee abduction moment during incline walking could result in decreased knee joint loading on the medial knee compartment.For older adults,who are looking to exercise to improve their health,incline walking may be beneficial to promote lower body strength and cardiovascular ability without inflicting further harm to the aging knee joints.However,because the frontal plane knee joint was of primary interest in this study,further research is needed to determine the effects of incline walking on other joints and in other planes of motion.
文摘This paper proposes a sequential model of bar- gaining specifying reasoning processes of an agent be- hind bargaining procedures. We encode agents＇ background knowledge, demands, and bargaining constraints in logic pro- grams and represent bargaining outcomes in answer sets. We assume that in each bargaining situation, each agent has a set of goals to achieve, which are normally unachievable with- out an agreement among all the agents who are involved in the bargaining. Through an alternating-offers procedure, an agreement among bargaining agents may be reached by ab- ductive reasoning. We show that the procedure converges to a Nash equilibrium if each agent makes rational offers/counter- offers in each round. In addition, the sequential model also has a number of desirable properties, such as mutual commit- ments, individual rationality, satisfactoriness, and honesty.
文摘Argumentation (abduction) is widely applied in artificial intelligence (AI) and law reasoning. However, the problem of how to perform argumentation in disjunctive logic programming (DLP) is still open.In addition, a unifying semantic framework is required for incorporating various semantics for DLP. An argumentation-theoretic framework for DLP by taking the disjuncts of negative literals as abducibles is presented. This semantics not only is a simple and intuitive framework for performing argumentation and abduction in DLP, but also provides a unifying framework for many key semantics of disjunctive logic programs. In particular, it is shown that the EGCWA, well-founded model and disjunctive stable models can all be embedded into this semantics.
