Compiling a Default Reasoning System into Prolog Export

@article{citeulike:1295987, abstract = {Artificial intelligence researchers have been designing representation systems for default and abductive reasoning. Logic Programming researchers have been working on techniques to improve the efficiency of Horn Clause deduction systems. This paper describes how one such default and abductive reasoning system (namely Theorist) can be translated into Horn clauses (with negation as failure), so that we can use the clarity of abductive reasoning systems and the efficiency of Horn clause deduction...}, author = {Poole, David}, citeulike-article-id = {1295987}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/poole90compiling.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/poole90compiling.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/poole90compiling.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/poole90compiling.html}, journal = {New Generation Computing}, keywords = {ai, logic, programming, rules}, number = {1}, pages = {3--38}, posted-at = {2007-05-14 23:25:32}, priority = {4}, title = {Compiling a Default Reasoning System into Prolog}, url = {http://citeseer.ist.psu.edu/poole90compiling.html}, volume = {9}, year = {1991} }

TY - JOUR ID - citeulike:1295987 L3 - citeulike-article-id:1295987 N2 - Artificial intelligence researchers have been designing representation systems for default and abductive reasoning. Logic Programming researchers have been working on techniques to improve the efficiency of Horn Clause deduction systems. This paper describes how one such default and abductive reasoning system (namely Theorist) can be translated into Horn clauses (with negation as failure), so that we can use the clarity of abductive reasoning systems and the efficiency of Horn clause deduction... IS - 1 JF - New Generation Computing EP - 38 TI - Compiling a Default Reasoning System into Prolog VL - 9 SP - 3 KW - ai KW - logic KW - programming KW - rules AU - Poole, David PY - 1991/// UR - http://citeseer.ist.psu.edu/poole90compiling.html ER -