Efficient reasoning

@article{citeulike:2194597, abstract = {Many tasks require \"reasoning\" --- i.e., deriving conclusions from a corpus of explicitly stored information --- to solve their range of problems. An ideal reasoning system would produce alland -only the correct answers to every possible query, produce answers that are as specific as possible, be expressive enough to permit any possible fact to be stored and any possible query to be asked, and be efficient. Unfortunately, this is provably impossible: as correct and precise systems become more...}, author = {Greiner, Russell and Darken, Christian and Santoso, Iwan N. }, citeulike-article-id = {2194597}, journal = {ACM Computing Surveys}, keywords = {learning, logic, machine, probabilistic}, number = {1}, pages = {1--30}, posted-at = {2008-01-04 13:50:35}, priority = {2}, title = {Efficient reasoning}, url = {http://citeseer.ist.psu.edu/greiner98efficient.html}, volume = {33}, year = {2001} }

TY - JOUR ID - citeulike:2194597 L3 - citeulike-article-id:2194597 TI - Efficient reasoning JF - ACM Computing Surveys VL - 33 IS - 1 SP - 1 EP - 30 N2 - Many tasks require "reasoning" --- i.e., deriving conclusions from a corpus of explicitly stored information --- to solve their range of problems. An ideal reasoning system would produce alland -only the correct answers to every possible query, produce answers that are as specific as possible, be expressive enough to permit any possible fact to be stored and any possible query to be asked, and be efficient. Unfortunately, this is provably impossible: as correct and precise systems become more... KW - learning KW - logic KW - machine KW - probabilistic AU - Greiner, Russell AU - Darken, Christian AU - Santoso, Iwan PY - 2001/// UR - http://citeseer.ist.psu.edu/greiner98efficient.html ER -