Author: Peter F. HaddawyPublisher:
ISBN:
Category : Knowledge representation (Information theory)
Languages : en
Pages : 350
Book Description
The language can represent the chance that facts hold and events occur at various times. It can represent the chance that actions and other events affect the future. The model of action distinguishes between action feasibility, executability, and effects. Using this distinction, a notion of expected utility for acts that may not be feasible is defined. This notion is used to reason about the chance that trying a plan will achieve a given goal. An algorithm for the problem of building construction planning is developed and the logic is used to prove the algorithm correct."
