人工智能6--非单调推理.pptVIP

TMS的工作过程 当TMS遇到一个矛盾节点为IN，则唤醒面向从属关系的回溯, 找出并删除当前的一个假设，即让该假设的状态为OUT, 从而使得矛盾节点为OUT 步骤1: 从矛盾节点开始，寻找它的基础节点，设为A1,A2, …,An，一般都放在矛盾节点的IN表中 步骤2: 从A1开始，令此节点状态为OUT 步骤3: 进行正确性维持检查，如果无法维持所有节点的IN/OUT状态，则撤销A1，取出下一个节点A2,　返回步骤2 如果A1,A2, …,An的任何一个或多个为OUT都无法维持所有节点的IN/OUT状态，则说明这是一个不可解决的矛盾 例子--会议安排问题 节点 命　　题 支持表 状态 １ TIME(M) = 9:00 (SL()(2)) IN ２ TIME(M) ≠9:00 OUT ３ ROOM(M) = 813 (SL()(4)) IN ４ ROOM(M) ≠813 OUT 推理程序在它处发现9点钟813房间已被其它事务占用，于是生成节点5 节点5　矛盾　　(SL(1,3)()) IN TMS的工作过程： 首先找出节点5的基础节点1,3,　所以将节点1的状态改为OUT 相应的，节点1的支持表(SL()(2))中，节点2的状态为IN 节点5的状态为OUT，矛盾消除 处理后，各节点的状态如下： 节点 命题 支持表 状态 １ TIME(M) = 9:00 (SL()(2))