Proof planning is a form of theorem proving in which the proving procedure is viewed as a planning process. The plan operators in proof planning are called methods. In this paper we propose a strategy for heuristically restricting the set of methods to be applied in proof search. It is based on the idea that the plausibility of a method can be estimated by comparing the model class of proof lin...

Brachytherapy applications are not restricted to one method only; any method could be combined with another, as well as other radiotherapy techniques. In cervical cancer, intracavitary brachytherapy (ICBT) has been used for practical reasons. Lately though, combination of ICBT and and interstitial brachytherapy (ISBT) techniques are being evaluated in deference to feasibility, practicality and ...

We present demonstration-guided motion planning (DGMP), a new framework for planning motions for personal robots to perform household tasks. DGMP combines the strengths of sampling-based motion planning and robot learning from demonstrations to generate plans that (1) avoid novel obstacles in cluttered environments, and (2) learn and maintain critical aspects of the motion required to successfu...

Planning in adversarial and uncertain environments can be modeled as the problem of devising strategies in stochastic perfect information games. These games are generalizations of Markov decision processes (MDPs): there are two (adversarial) players, and a source of randomness. The main practical obstacle to computing winning strategies in such games is the size of the state space. In practice ...

Symbolic universal planning based on the reduced Ordered Binary Decision Diagram (OBDD) has been shown to be an efficient approach for planning in non-deterministic domains. To date, however, no guided algorithms exist for synthesizing universal plans. In this paper, we introduce a general approach for guiding universal planning based on an existing method for heuristic symbolic search in deter...

Following previous studies reporting a beneficial effect for pre-task planning on learners' task performance, the present research takes into account the possible effects of directing learners' attention to meaning and form of language on their written production while they have one- and five-minute strategic planning time. The study randomly categorized 48 intermediate learners of English into...

This project concerns the design and fabrication of the Automated Guided Robot (AGR) prototype, utilizing genetic algorithm (GA) as a mainframe in helping the robot to generate a self-understanding of the area of work and mobilization to a destination desired by the user. The main objective of this project is to create and develop a Path Planning Mobile Robot able to avoid obstacles in its path...

In radiosurgery a moving beam of radiation is used as an ablative surgical instrument to destroy brain tu. roots. Classical radiosurgical systems rely on rigid skeletal fixation of the anatomic region to be treated. This fixation procedure is very pain]ui for the patient and limits radiosurgical procedures to brain lesions. Furthermore, due to the necessity of rigid fixation, radiosurgical trea...