%0 Journal Article %1 Kleer1986 %A de Kleer, Johan %D 1986 %J Artificial Intelligence %K kiwi %T An Assumption-based TMS %V 28 %X This paper presents a new view of problem solving motivated by a new kind of truth maintenance system. Unlike previous truth maintenance systems which were based on manipulating justifications. this truth maintenance system is, in addition, based on manipulating assumption sets. As a consequence it is possible to work effectively and efficiently with inconsistent information, context switching is free, and most backtracking (and all retraction) is avoided. These capabilities motivate a different kind of problem -solving architecture in which multiple potential solutions are explored simultaneously. This architecture is particularly well-suited for tasks where a reasonable fraction of the potential solutions must be explored.

@article{Kleer1986, abstract = {This paper presents a new view of problem solving motivated by a new kind of truth maintenance system. Unlike previous truth maintenance systems which were based on manipulating justifications. this truth maintenance system is, in addition, based on manipulating assumption sets. As a consequence it is possible to work effectively and efficiently with inconsistent information, context switching is free, and most backtracking (and all retraction) is avoided. These capabilities motivate a different kind of problem -solving architecture in which multiple potential solutions are explored simultaneously. This architecture is particularly well-suited for tasks where a reasonable fraction of the potential solutions must be explored.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {de Kleer, Johan}, biburl = {https://www.bibsonomy.org/bibtex/2b5df9abeabe183a23f39520b007298b7/fraktalek}, citeulike-article-id = {3508838}, interhash = {6af8a9f1927c0e3800c47e6dc454e968}, intrahash = {b5df9abeabe183a23f39520b007298b7}, journal = {Artificial Intelligence}, keywords = {kiwi}, posted-at = {2008-11-13 14:13:57}, priority = {2}, timestamp = {2008-11-14T13:33:39.000+0100}, title = {An Assumption-based TMS}, volume = 28, year = 1986 }