| 1. | Automated reasoning and equation solving with the characteristic set method
基于特征列方法的自动推理与方程求解 |
| 2. | Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
尽管神经网络寻找到的解是一个满意解，但这不影响我们考虑将神经网络技术应用于自动推理理论与方法中。 |
| 3. | In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在对命题逻辑系统的模型推理和归结原理研究的基础上，尝试利用神经网络部分实现自动推理。 |
| 4. | Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
工程师还有很多根本的问题尚未解决，包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。 |
| 5. | It can be extended to fuzzy logic systems and some lattice - valued logic systems . 3 . the study on automated reasoning a new automated reasoning method based on path searching was proposed
2 、提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。 |
| 6. | The normal form theories can keep the intuition relationship between the complete normal form and the truth table , which only keeps in classical 2 - valued logic system . the tableau system can act as the automated reasoning system in incomplete information environments
该范式理论能够在三值环境下依旧保留等值完全范式与真值表? ?对应的直观关系，同时，建立的表推演系统可作为不完全信息的自动推演系统。 |
| 7. | Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。 |
| 8. | Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology , the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used , which enables the system to be a truly " open system " with infinitely many problems and solutions , instead of just a compilation of fixed ones ; about the function of the system , it incarnates the constructivism and it has excellent human - machine interface , concurrence , and openness
Par方法可以说清“问题程序”的全过程，可以解决现有程序设计教学存在的根本问题，帮助学习者实质性地提高程序设计的能力；在实现技术方面，借鉴了当代流行的泛型思想，并将人工智能在知识表示、自动推理等研究中形成的思想方法和成果应用于程序设计icai系统的开发，使得系统具有一个既有问题又有解答的无限题库，这些解答是由自动推理产生的而不再是固定问题、答案的堆砌；在系统功能方面，充分体现了建构主义思想，具有良好的人机交互性、并发性和开放性。 |
| 9. | Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm , the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning , or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ) , which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc . hi the course of systematic research , we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content , we select par method as the main content
本系统选用薛锦云教授的par方法为主要教学内容，应用人工智能的知识表示和自动推理原理及泛型思想，使得系统具有以下核心功能：展示几种典型例题的解；以泛型思想为指导，实现了无限题库，可以自动生成与典型例题类似的问题给学生求解并给予提示；对于这些题目，计算机可以自动推理出由问题到程序的全过程供学生学习；也可通过自动推理根据用户的实际做题情况实时给出提示，交互式地帮助学生学习算法程序设计；学生可以从问题库中获得练习，并调用转换器，将自己的apla程序转化为可执行语言程序，运行以检验其正确性；对教师而言，可以对已有的实例库、问题库进行添加操作等。在系统的研制过程中，我们深入研究了系统的各方面相关知识，并进行了多方面的创新：在教学内容方面，首次选用par方法为主要内容。 |
