“Abduction”逻辑推理与《测候丛谈》译介研究

皮尔士在本能的"Hypothesis"基础上提出了不同于归纳演绎的"Abduction"——溯因逻辑。通过"Abduction"对译介过程中译者思路的影响,得出"Abduction"构成译者猜测的本能与多种可能性的假设的结论。本文以晚清气象译著《测候丛谈》的译介经过,译者对原语知识的归纳,目的语知识的演绎论证,发现这个过程最终会使译文以一种"全新"于原文式凸显出来,不仅能加快翻译速度,而且有助于帮助译者形成翻译思维习惯。

Can hip abduction reduce the risk of femoral head necrosis deteriorated into osteoarthritis?A 3D finite element analysis

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.

The relationship between abduction deficit and reoperation among patients with infantile esotropia

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.

皮尔士“Abduction”译名探讨

本文介绍皮尔士abduction的基本概念 ,分析其词源构成 ,讨论其多种译名 ,认为从皮尔士术语学观点以及翻译标准看 ,“溯因 (推理 )”堪称佳译。本文还简述了溯因逻辑在语言学研究领域中的重要意义。

An Exploration of How Practitioners Make Meaning in a Chinese Medicine Consultation and Treatment

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.

Consistency-based abduction with extended disjunctive logic programs

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

Intuitive Minimal Abduction in Sequent Calculi

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.

Philosophy of Science for Scientists: The Probabilistic Interpretation of Science

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.

Increased Q-Factor increases frontal-plane knee joint loading in stationary cycling

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.

Building Intelligent DSS Based on Multi-Agent Cooperation

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.

A Logical Approach to Emulation of Higher Mental Processes

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.

Deep Myofascial Kinetic Lines in Horses, Comparative Dissection Studies Derived from Humans

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 Columna vertebralis. 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.

基于Abductive网络的镍基单晶高温合金蠕变断裂寿命预测

通过建立镍基单晶高温合金的蠕变断裂寿命与合金成分、试验温度以及试验应力的4层Abductive网络预测模型,对CMSX-4与CMSX-10合金进行了不同试验条件下的寿命预测,并用试验所得的合金lgt_r-lgσ曲线进行了验证。结果表明:Abductive网络具有高的准确性与很好的适用性,能够准确预测不同成分镍基单晶高温合金的蠕变断裂寿命。

Selection of the Optimal Cooling Parameters to the Multi-Cavity Die

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.

Agent Belief with Credibility and Its Revision Mechanism

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.

On the Criminal Responsibility of Buying Abducted Women or Children: The Human Dignity Perspective

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 novel collaborative decision-making method based on generalized abductive learning for resolving design conflicts

In complex product design,lots of time and resources are consumed to choose a preference-based compromise decision from non-inferior preliminary design models with multi-objective conflicts.However,since complex products involve intensive multi-domain knowledge,preference is not only a comprehensive representation of objective data and subjective knowledge but also characterized by fuzzy and uncertain.In recent years,enormous challenges are involved in the design process,within the increasing complexity of preference.This article mainly proposes a novel decision-making method based on generalized abductive learning(G-ABL)to achieve autonomous and efficient decision-making driven by data and knowledge collaboratively.The proposed G-ABL framework,containing three cores:classifier,abductive kernel,and abductive machine,supports preference integration from data and fuzzy knowledge.In particular,a subtle improvement is presented for WK-means based on the entropy weight method(EWM)to address the local static weight problem caused by the fixed data preferences as the decision set is locally invariant.Furthermore,fuzzy comprehensive evaluation(FCE)and Pearson correlation are adopted to quantify domain knowledge and obtain abducted labels.Multi-objective weighted calculations are utilized only to label and compare solutions in the final decision set.Finally,an engineering application is provided to verify the effectiveness of the proposed method,and the superiority of which is illustrated by comparative analysis.

A sequential model of bargaining in logic programming

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 in disjunctive logic programming

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 Emergent Constructive Approach to Evolinguistics:Considering Hierarchy and Intention Sharing in Linguistic Communication

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.