Guest editor's introduction: Reasoning a
โ
Vladimir Lifschitz
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 94 KB
The automation of reasoning about the consequences of actions has been viewed as an important problem since the early days of Artificial Intelligence. Logic programming turned out to be an excellent tool for describing actions and their effects. The use of negation as failure leads to a simple solut