Language communication is the key of the ideologicalpolitical education. By using the field investigation method and grounded theory approach,the study analyzes the current situation and main reasons. Discourse differ...Language communication is the key of the ideologicalpolitical education. By using the field investigation method and grounded theory approach,the study analyzes the current situation and main reasons. Discourse differences in ideological-political education of universities are revealing " significance crisis ",acceptance obstacles and channel retardation. One reason is the necessary vitality in the content of discourses between the system and the real world during the ideological-political education. The second reason is because of lacking effective interaction in discourse. The third reason is the lack of the systematic intercourse and the fusion value between the discourse-communicating channel and the message delivery of the audience expectations. The results show that it is vital to achieve an organic unity between the academic discourse and the practical words in the ideological-political Education.展开更多
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.展开更多
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.展开更多
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展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
Evolinguistics is an attempt to clarify the origins and evolution of language and communication,thereby deepening our understanding of humans from an evolutionary perspective.The origins of language is characterized b...Evolinguistics is an attempt to clarify the origins and evolution of language and communication,thereby deepening our understanding of humans from an evolutionary perspective.The origins of language is characterized by the biological evolution of abilities related to language and communication,and the evolution of language by the structuralization and complexification of language knowledge as well as communication systems through cultural evolution.In Evolinguistics,two idiosyncrasies of human linguistic communication are the primary focus,namely,using hierarchically organized symbol sequences in language and sharing intentions in communication.We believe that the integration of these two characteristics made humans co-creative and smart,and in particular gave us knowledge co-creation capacity.The emergent constructive approach plays an important role in this research,which is a methodology to analyze complex systems by constructing and operating the evolutionary and emergent process of complex phenomena.Two studies taking this approach are introduced in this paper.One is a language evolution experiment in a laboratory to consider the process,mechanisms,and neural basis of symbolic communication systems.The other is an evolutionary simulation of recursive combination,which is thought of as the essential ability to form hierarchical structures.A hypothesis integrating intention sharing and recursive combination is discussed as an abductive reasoning mechanism for understanding others intentions.展开更多
The scientific study of crime comes under the general categories of forensic science and criminology, which include a large set of related branches, from forensic psychology to computer forensics. The emergence of for...The scientific study of crime comes under the general categories of forensic science and criminology, which include a large set of related branches, from forensic psychology to computer forensics. The emergence of forensic semiotics as part of this interdisciplinary amalgam is relatively unknown among both criminologists and semioticians. This paper provides an overview of the main objectives of forensic semiotics and its importance to the study of crime. One of the premises of forensic semiotics is that there is a thematic and interpretive continuity between actual crimes and their fictional representations. Actually, contemporary semiotics itself can be seen to start with Peirce's interest in detective fiction, from which he developed several of his key ideas, including the theory of abduction. This paper also discusses some case studies that have been carried out under the rubric of forensic semiotics, which indicate the relevance of semiotic analysis to the study of crime.展开更多
文摘Language communication is the key of the ideologicalpolitical education. By using the field investigation method and grounded theory approach,the study analyzes the current situation and main reasons. Discourse differences in ideological-political education of universities are revealing " significance crisis ",acceptance obstacles and channel retardation. One reason is the necessary vitality in the content of discourses between the system and the real world during the ideological-political education. The second reason is because of lacking effective interaction in discourse. The third reason is the lack of the systematic intercourse and the fusion value between the discourse-communicating channel and the message delivery of the audience expectations. The results show that it is vital to achieve an organic unity between the academic discourse and the practical words in the ideological-political Education.
文摘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.
基金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.
基金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
文摘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.
文摘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.
文摘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.
文摘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.
文摘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.
文摘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.
基金JSPS Grants-in-Aid for Scientific Research Grant-inaid Grant Numbers JP21120011,JP26240037,JP17H06383,20H04256。
文摘Evolinguistics is an attempt to clarify the origins and evolution of language and communication,thereby deepening our understanding of humans from an evolutionary perspective.The origins of language is characterized by the biological evolution of abilities related to language and communication,and the evolution of language by the structuralization and complexification of language knowledge as well as communication systems through cultural evolution.In Evolinguistics,two idiosyncrasies of human linguistic communication are the primary focus,namely,using hierarchically organized symbol sequences in language and sharing intentions in communication.We believe that the integration of these two characteristics made humans co-creative and smart,and in particular gave us knowledge co-creation capacity.The emergent constructive approach plays an important role in this research,which is a methodology to analyze complex systems by constructing and operating the evolutionary and emergent process of complex phenomena.Two studies taking this approach are introduced in this paper.One is a language evolution experiment in a laboratory to consider the process,mechanisms,and neural basis of symbolic communication systems.The other is an evolutionary simulation of recursive combination,which is thought of as the essential ability to form hierarchical structures.A hypothesis integrating intention sharing and recursive combination is discussed as an abductive reasoning mechanism for understanding others intentions.
文摘The scientific study of crime comes under the general categories of forensic science and criminology, which include a large set of related branches, from forensic psychology to computer forensics. The emergence of forensic semiotics as part of this interdisciplinary amalgam is relatively unknown among both criminologists and semioticians. This paper provides an overview of the main objectives of forensic semiotics and its importance to the study of crime. One of the premises of forensic semiotics is that there is a thematic and interpretive continuity between actual crimes and their fictional representations. Actually, contemporary semiotics itself can be seen to start with Peirce's interest in detective fiction, from which he developed several of his key ideas, including the theory of abduction. This paper also discusses some case studies that have been carried out under the rubric of forensic semiotics, which indicate the relevance of semiotic analysis to the study of crime.