1996 Volume 8 Issue 1 Pages 73-78
Generally, an expression of proposition for decision making has its later condition part which is inperative or conclusive such as "If S is A, then do B" or "If S is C, then T is D". But People often express a proposition by using auxiliary verbs of intention such as "If S is A, then you SHOULD do B" or "If S is C, then you MUST NOT do D" in thought.This paper proposes that we express a proposition for decision making by using auxiliary verbs of intention such as MUST, SHOULD, HAD BETTER and MAY and process it by an algorithm. The Algorithm makes a decision for actions expressed by verb by evaluating weight of proposition in order of strength depending on the auxiliary verb of intention. It is easy for designers to analyze process of decision making by this method.This method is applied to operation of autonomous rendezvous and docking for space vehicle. And the process of decision making for actions are shown by simulation.