| 1. | Survey of studies of inductive logic and ai in u . s . a
美国归纳逻辑与人工智能研究概况 |
| 2. | The function in scientific cognizance of traditional inductive logic
论古典归纳逻辑的科学认知功能 |
| 3. | Logic and inductive logic programming
逻辑与归纳逻辑程序设计 |
| 4. | Inductive logic programming
归纳逻辑程序设计 |
| 5. | This dissertation concentrates on the initial research work in genetic inductive logic programming technique
本论文主要开展了遗传归纳逻辑程序设计技术的初步研究。 |
| 6. | It has been proved that it is impossible to establish the formal inductive logic on the basis of " inductive probability "
这证明基于归纳的概然性特征，不可能建立起形式的归纳逻辑。 |
| 7. | It is characterized by frequency explanation , which greatly puts forward induction logic into a research of form and quantity
它使归纳逻辑向形式化和数量化的研究方面前进了一大步。 |
| 8. | First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp )
基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计( ilp ) 。 |
| 9. | Carnap gained inspiration from the development of probability logic , so he made " probability " a basis of his inductive theory
由于受概率逻辑发展的启发，卡尔纳普用“概率”作为研究归纳逻辑的基础。 |
| 10. | The background and reasons of rudolf carnap ' s theory of confirmation analyzed from three aspects in the first part of the paper
本文第一部分，分析了卡尔纳普概率确证归纳逻辑体系产生的历史背景与原因。 |
