| 1. | Automated reasoning and equation solving with the characteristic set method
基于特征列方法的自动推理与方程求解 |
| 2. | The in this thesis an icai system is built for this subject using automatic reasoning
本文恰是从事这方面的工作，研究一个带有自动推理功能的程序设计icai系统。 |
| 3. | Meanwhile , in order to automatically reason , an automatic reasoning program is developed based on artificial intelligence
为帮助对模型进行推理分析,还采用了人工智能中的自动推理技术,编写了自动推理程序。 |
| 4. | In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
在自动推理理论与应用的研究中，命题逻辑系统中的方法和内容具有广泛的适用性。 |
| 5. | Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
尽管神经网络寻找到的解是一个满意解，但这不影响我们考虑将神经网络技术应用于自动推理理论与方法中。 |
| 6. | In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在对命题逻辑系统的模型推理和归结原理研究的基础上，尝试利用神经网络部分实现自动推理。 |
| 7. | Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
工程师还有很多根本的问题尚未解决，包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。 |
| 8. | In 1989 , academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning
1989年吴文俊院士提出了吴?微分特征列法，为微分几何定理的机械化证明和自动推理的理论研究奠定了理论基础。 |
| 9. | This thesis firstly analyzed major techniques widely used in semantic web and also ontology theory . it then focused the researches on reasoning techniques in the context of ontology knowledge base systems
本文在分析语义web的支撑技术和本体知识库的理论后，着重研究基于本体知识库系统的自动推理技术，分逻辑推理和传统的规则推理两方面进行研究。 |
| 10. | In proposbonal calculus , the processing ofresoluhon pdriciple have combination explosion naturally so , how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving
命题逻辑系统中的归结原理本质上存在组合问题，因此，如何避免组合问题(通常以计算复杂性的形式出现)是自动推理研究中的一个重要课题。 |
