To this problem there are different kinds of solutions currently such as classical logic and truth maintenance techniques .

针对这个问题目前已有各种方法如用经典逻辑、 真 值 维护等技术解决此类问题。

This paper analyzes the characteristics and limitations of approximate reasoning ( based on probability ) and nonmonotonic reasoning ( based on truth maintenance system ) .

不精确推理和非 单调 推理 是人工智能中两个重要的研究方面。

The algorithms of reasoning and truth maintenance in the stratified ATMS are presented .

给出了StratifiedATMS的推理和 真 值 维护的算法。

Nonmonotonic Truth Maintenance System by Combining Priorities and Belief Degrees

结合优先级和可信度的非单调 真 值 维护系统

Research on Explanation Mechanism of Truth Maintenance Structure and Relational Database

基于 真 值 维持结构和关系数据库的解释机制研究

Parallel Assumption-Based Truth Maintenance Simulation System

基于假设的并行 真值 维护模拟系统

Study of Hierarchic Knowledge Representation and Nonmonotonic Truth Maintenance for Reasoning

知识的层次表示和推理的非单调 真 值 维护的研究