全文获取类型
收费全文 | 164篇 |
免费 | 13篇 |
国内免费 | 12篇 |
专业分类
电工技术 | 3篇 |
综合类 | 14篇 |
化学工业 | 4篇 |
金属工艺 | 2篇 |
建筑科学 | 3篇 |
能源动力 | 2篇 |
水利工程 | 18篇 |
石油天然气 | 2篇 |
武器工业 | 1篇 |
无线电 | 5篇 |
一般工业技术 | 8篇 |
冶金工业 | 11篇 |
自动化技术 | 116篇 |
出版年
2023年 | 2篇 |
2022年 | 2篇 |
2020年 | 6篇 |
2019年 | 2篇 |
2018年 | 2篇 |
2017年 | 3篇 |
2016年 | 2篇 |
2015年 | 7篇 |
2014年 | 12篇 |
2013年 | 7篇 |
2012年 | 7篇 |
2011年 | 15篇 |
2010年 | 8篇 |
2009年 | 7篇 |
2008年 | 12篇 |
2007年 | 10篇 |
2006年 | 12篇 |
2005年 | 17篇 |
2004年 | 8篇 |
2003年 | 12篇 |
2002年 | 3篇 |
2001年 | 8篇 |
2000年 | 6篇 |
1999年 | 5篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1996年 | 3篇 |
1995年 | 2篇 |
1993年 | 3篇 |
1984年 | 1篇 |
1974年 | 1篇 |
排序方式: 共有189条查询结果,搜索用时 15 毫秒
181.
Calculating risk is relatively straightforward when there is reliable statistical evidence on which to base a judgment. However, novel technologies are often characterised by a lack of such historical data, which creates a problem for risk assessment. In fact, numerical risk assessments can be positively misleading in such situations. We describe a decision support system – StAR – that gives quantitative assessments where appropriate, but which is also able to provide qualitative risk assessments based on arguments for and against the presence of risk. The user is presented with a summary statement of risk, together with the arguments that underlie this assessment. Furthermore, the user is able to search beyond these top-level arguments in order to discover more about the available evidence. Here we suggest that this approach is well-suited to the way in which people naturally make decisions, and we show how the StAR approach has been implemented in the domain of toxicological risk assessment. 相似文献
182.
Reaching an agreement or understanding through argumentation is an important aspect of decision making in a virtual society as well as in our real society. In this paper, we consider compromise (Aufheben) and concession (weaker Aufheben) as a simple form of Hegelian dialectical reasoning, which we think are desiderata to deliberate or cognitive agents. We then propose an argument-based agent system that allows for the issue modification among agents concerned during argumentation and reaching an agreement or understanding through argumentation with the dialectical reasoning capability. We illustrate its potential usefulness by showing applications to seller and buyer agents and traveling salesman agents in e-commerce. 相似文献
183.
A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY 总被引:5,自引:0,他引:5
Paul Krause Simon Ambler Morten Elvang-Goransson John Fox 《Computational Intelligence》1995,11(1):113-131
We present the syntax and proof theory of a logic of argumentation, LA. We also outline the development of a category theoretic semantics for LA. LA is the core of a proof theoretic model for reasoning under uncertainty. In this logic, propositions are labeled with a representation of the arguments which support their validity. Arguments may then be aggregated to collect more information about the potential validity of the propositions of interest. We make the notion of aggregation primitive to the logic, and then define strength mappings from sets of arguments to one of a number of possible dictionaries. This provides a uniform framework which incorporates a number of numerical and symbolic techniques for assigning subjective confidences to propositions on the basis of their supporting arguments. These aggregation techniques are also described with examples. 相似文献
184.
185.
高大模板工程方案的编制和专家论证及监理 总被引:1,自引:0,他引:1
结合具体工程实例,详细地介绍了高大模板工程方案的编制、专家论证及实施监理,得出了该工程在浇筑过程中未出现任何异常情况,高大支模的施工能够在安全和质量保证的前提下顺利完成的结论。 相似文献
186.
该文基于JADE平台,立足辩论这一多Agent交互模式,从消息的封装、本体的表示、交互过程以及争议生成等方面设计了多Agent辩论的实现机制,实验表明这种设计是很有实用意义的。 相似文献
187.
讨论一类扩展的溯因程序,它包含经典否定、缺省否定、一致性约束以及溯因推理机制,论文的主要思想是:⑴本文限制某些假说(包括不相容假说)的攻击能力这样的出发点,定义一种更符合直观理解的“反驳”与“击败”概念,其中的Ⅱ-型击败关系具有动态的特点;⑵首次尝试一致性约束可以引起假说间的反驳与是一致笥约束不再仅仅是全局性的相容约束,基于这些思想提出的完全类语义拓展了Dung所奠定的溯因逻辑程序设计的辩论理论基 相似文献
188.
近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确定其辩护状态。分级论辩系统(Graded Argumentation System,GAS)是对经典Dung型论辩系统(Dung-style Argumentation System,DAS)的推广,通过一般化DAS语义的两个核心性质,即无冲突性和可接受性,来提供更细化的论点状态概念。当前的论辩系统语义等效性研究主要集中在框架和论点层次上,可为其结构约简提供有力的保证。针对两个不同分级论辩系统中论点的语义等效问题,首先运用分级模态逻辑(Graded Modal Logic,GML)形式化分级论辩系统的片段,然后建立并证明了分级论辩系统基于外延的语义和GML公式之间的一一对应关系,最后定义分级互模拟关系并证明其蕴含分级论辩系统的4个重要的语义等价性。 相似文献
189.