In this paper, the following results are proved: (1) Using both deletion strategy and lock strategy, resolution is complete for a clause set where literals with the same predicate or proposition symbol have the same i...In this paper, the following results are proved: (1) Using both deletion strategy and lock strategy, resolution is complete for a clause set where literals with the same predicate or proposition symbol have the same index. (2) Using deletion strategy, both positive unit lock resolution and input lock resolution are complete for a Horn set where the indexes of positive literals are greater than those of negative literals. (3) Using deletion strategy, input half-lock resolution is complete for a Horn set. Keywords Resolution - index strategy - deletion strategy - unit resolution - input resolution Xiaochun Cheng had his Ph.D in 1996. He has been working as a lecturer at The University of Reading since 2000. He is a guest professor at North East Normal University and at Beijing Normal University. His research interests include theoretical and applied aspects on decision support systems, knowledge-based systems, intelligent systems.展开更多
文摘In this paper, the following results are proved: (1) Using both deletion strategy and lock strategy, resolution is complete for a clause set where literals with the same predicate or proposition symbol have the same index. (2) Using deletion strategy, both positive unit lock resolution and input lock resolution are complete for a Horn set where the indexes of positive literals are greater than those of negative literals. (3) Using deletion strategy, input half-lock resolution is complete for a Horn set. Keywords Resolution - index strategy - deletion strategy - unit resolution - input resolution Xiaochun Cheng had his Ph.D in 1996. He has been working as a lecturer at The University of Reading since 2000. He is a guest professor at North East Normal University and at Beijing Normal University. His research interests include theoretical and applied aspects on decision support systems, knowledge-based systems, intelligent systems.
