An intelligent task analysis approach for special education based on MIRA

Abstract This paper describes a novel approach for generating a logical sequence of tasks in the task analysis process of special education. This approach is based on the formalism MIRA (Mīmāṁsā Inspired Representation of Actions), which has the feature of expressing an action as reason, instruction and goal. MIRA also prescribes a set of deduction rules, which helps in the reasoning process of actions. These features are incorporated in this approach and a software tool, namely MIRATaskGen is designed, which facilitates the task analysis process of special education. The software receives various action related inputs along with the start and finish stages and generates a sequence of tasks from the start to the finish. This tool also informs the user, whether the desired goal can be achieved. If the desired goal cannot be achieved, then the sequence of actions from the start to a point of discontinuity is detected.