On Machine Representations of Problems of Reasoning About Actions - The Missionaries and Cannibals Problem