Which of the following descriptions are correct?
a. Event Calculus, Temporal Action Logics, Situation Calculus are all action (description) languages.
b. Action description languages are formal models of parts of natural language that are used for describing the effects of the actions.
c. Transition systems is an undirected graph whose vertices correspond to the states and the edges are labeled by actions
d. In the area of reasoning about actions, it is involved with commonsense reasoning.