Question

Consider the following states:

• Initial state: At(Home)

• Goal state: At(Home), Travelled

and the following actions:

• Action: AirportCheckIn

o Precondition: At(Airport)

o Effect: Have(BoardingPass), ~Have(Luggage)

• Action: FlightCancelled

o Precondition: At(Airport), Have(BoardingPass)

o Effect: ~Checked, ~Have(BoardingPass)

• Action: GetLuggage

o Precondition: At(Home)

o Effect: Have(Luggage)

• Action: GoHome

o Precondition: At(Airport), Travelled

o Effect: ~At(Airport), At(Home), ~Checked, ~Have(BoardingPass)

• Action: GoToAirport

o Precondition: At(Home)

o Effect: At(Airport), ~At(Home)

• Action: SecurityCheck

o Precondition: At(Airport), Have(BoardingPass)

o Effect: Checked

• Action: RoundTrip

o Precondition: At(Airport), Checked, Have(BoardingPass)

o Effect: ~Checked, ~Have(BoardingPass), Travelled

Starting from the initial state, provide a state diagram for all alternative plans that might lead to the goal state through progression.

Answer 1

Answer:

1) Arunachal Pradesh

2) Himachal Pradesh

3) Mizoram