Book Collection

In this seminal work, Professor Jianfeng Zhan systematically differentiates intelligent life from normal objects through two defining properties: interrogation and free will. He presents a novel framework for fundamental interrogations: encompassing measurement, testing, reasoning and evaluation. Building on this foundation, Zhan provides a formal definition of cause and effect, positing that evaluation fundamentally involves uncovering an object's effects. He rigorously formalizes the evaluation problem, along with its dual challenges—design and inverse problems—de-evaluation and introduces the groundbreaking discipline of Evaluatology. This discipline establishes a universal framework, including universal concepts, axioms, fundamental issues and methodology. Collaborating with colleagues, graduate students, and postdoctoral researchers, Zhan et al. further develop foundational evaluation methodologies, explore novel pathways toward Strong Artificial Intelligence, and demonstrate the wide-ranging applications of Evaluatology across diverse domains.

在这本专著里，詹剑锋教授和同事及学生们将智能生命对世界的认识归结为四个基本的求索方法：测量、测试、推理和评价，并上升为四个相互支撑的学科：计量学（Metrology）、测试学（Testology）、推理学（Inferology）和评价学（Evaluatology），统称为求索科学。其中，计量学是重新定义，推理学是重新组织，其他两个学科均为首创。求索科学建立在一个精简和统一的基础概念体系之上。其中计量学是定义、实现和赋值对象的结构量和行为量的科学；测试学是检验和测试的科学：检验是唯一能验证命题和模型有效性的方法，测试基于检验，定义、实现和赋值对象的行为量；推理学是生成新命题和新模型的科学；评价学是揭示原因和影响的科学。传统的评价学科相当于本书中阐述的狭义评价学，即价值量的定义、实现和赋值的科学。评价学是集大成者：依赖计量学和测试学为评价对象的量赋值；依赖推理学推测不能直接测量或测试的量；依赖测试学检验评价结果的有效性。 詹剑锋还用故乡的山——铁林寨——命名了新的求索模型。走铁林寨不同的山间小路，都可以接近数亿年前地壳运动留下的痕迹——石船。受此启发，在求索铁林寨模型里，测量、测试、猜想、观察、实验、建模是平行方法，基于它们，主体都可以获得对象或对象关系的命题和模型。但只有通过了检验，后者才能成为真理或事实。 詹剑锋还提出了一系列有趣的猜想，包括理论构建困境猜想、智能生命猜想、知识来源猜想、自由意志猜想、自然界进化猜想、随机性、独立性和计算复杂性关系猜想、揭示原因与影响的物理实验方法和虚拟化实验方法猜想等。