Two Aspects of Automating Logics of Action and Change : Regression and Tractability

摘要

The autonomy of an artificial agent (e.g. a robot) will certainly depend on its ability to perform intelligent tasks, such as learning, planning, and reasoning about its own actions and their eff ...