检索结果-南通市图书馆

Intuitive Minimal abduction in Sequent Calculi

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 1998年第3期13卷 209-219页

作者：伊波陶先平等 InstituteofComputerSoftware NanjingUniversityNanjing210093PR.China StateKeyLaboratoryforNovelSoftw

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 *** 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.

关键词： abduction sequent calculus algorithm

在线全文

学校读者我要写书评

暂无评论

皮尔士“abduction”译名探讨

外语教学与研究 2003年第6期35卷 469-472页

作者：曾凡桂湖南大学

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

关键词：皮尔士溯因推理译名语言学 abduction 术语学翻译标准词源分析

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

在线全文

学校读者我要写书评

暂无评论

兰台世界（上旬） 2015年第11期 122-123页

作者：危春红轩芳陈志杰南京信息工程大学语言文化学院

皮尔士在本能的"Hypothesis"基础上提出了不同于归纳演绎的"abduction"——溯因逻辑。通过"abduction"对译介过程中译者思路的影响,得出"abduction"构成译者猜测的本能与多种可能性的假设的结论。本文以晚清气象译著《测候丛谈》的译介... 详细信息

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

关键词： abduction 溯因逻辑译介研究

A sequential model of bargaining in logic programming

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2015年第3期9卷 474-484页

作者： Wu CHEN Dongmo ZHANG Maonian WU College of Computer and Information Science Southwest University Chongqing 400715 China Center for the Study of Logic and Intelligence Southwest University Chongqing 400715 China School of Computing Engineering and Mathematics University of Western Sydney Penrith NSW 2751 Australia School of Information Engineering Huzhou University Huzhou 313000 China

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.

关键词： bargaining logic programming sequentialmodel abduction

The Emergent Constructive Approach to Evolinguistics:Considering Hierarchy and Intention Sharing in Linguistic Communication

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science and Systems Engineering 2020年第6期29卷 675-696页

作者： Takashi Hashimoto School of Knowledge Science Japan Advanced Institute of Science and Technology(JAIST)Nomi 923-1292Japan

Evolinguistics is an attempt to clarify the origins and evolution of language and communication,thereby deepening our understanding of humans from an evolutionary *** 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 *** Evolinguistics,two idiosyncrasies of human linguistic communication are the primary focus,namely,using hierarchically organized symbol sequences in language and sharing intentions in *** believe that the integration of these two characteristics made humans co-creative and smart,and in particular gave us knowledge co-creation *** 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 *** studies taking this approach are introduced in this *** is a language evolution experiment in a laboratory to consider the process,mechanisms,and neural basis of symbolic communication *** 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.

关键词： Evolinguistics origins and evolution of language hierarchy intention sharing symbolic communication recursive combination abduction

Argumentation in disjunctive logic programming

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 1998年第1期41卷 106-112页

作者：王克文吴泉源陈火旺 Department of Computer Changsha Institute of Technology Changsha China

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 *** 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.

关键词： logic programming commonsense reasoning argumentation abduction semantics.

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

在线全文

学校读者我要写书评

暂无评论

Journal of Sport and Health Science 2020年第3期9卷 258-264页

作者： Tanner Thorsen Kelley Strohacker Joshua T.Weinhandl Songning Zhang Department of Kinesiology Recreation and Sport StudiesThe University of TennesseeKnoxvilleTN 37996USA

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 ***: 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 ***: 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.

关键词： Cycling biomechanics Inter-pedal distance Knee abduction moment Knee adduction moment Q-Factor

Building Intelligent DSS Based on Multi-Agent Cooperation

在线全文

学校读者我要写书评

暂无评论

Journal of Beijing Institute of Technology 2003年第S1期12卷 96-99页

作者：刘琼昕刘玉树高春晓 Department of Computer Science and Engineering School of Information Science and TechnologyBeijing Institute of TechnologyBeijing 100081China

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.

关键词： multi-agent decision support system plan negotiation abduction

在线全文

学校读者我要写书评

暂无评论

溯因≠溯因推理