By Peter Haddawy (eds.)
This monograph integrates AI and decision-theoretic ways to the illustration of making plans difficulties via constructing a first-order good judgment of time, likelihood, and motion for representing and reasoning approximately plans. The semantics of the good judgment accommodates intuitive houses of time, probability, and motion principal to the making plans challenge. The logical language integrates either modal and probabilistic constructs and permits quantification through the years issues, chance values, and area members. The language can symbolize the opportunity that proof carry and occasions take place at a variety of instances and that activities and different occasions have an effect on the long run. An set of rules for the matter of creating development making plans is constructed and the good judgment is used to end up the set of rules correct.