Question: Given the axioms from Figure, what are all the applicable concrete instances of Fly (p, from, to) in the state described by At (P1, JFK)

Given the axioms from Figure, what are all the applicable concrete instances of Fly (p, from, to) in the state described by At (P1, JFK) ^ At (P2, SF0) ^ Plane (P1) ^ Plane (P2) A Airport (JFK) ^ Airport(SFO)?

Init( At(C1, SFO) A At(C2, JFK)A At(P. SFO) A At(P2, JFK) A

Init( At(C1, SFO) A At(C2, JFK)A At(P. SFO) A At(P2, JFK) A Cargo(C1) A Cargo(C2) A Plane( Pi) A Plane(P2) A Airport( JFK) A Airport(SFO)) Goal( At(C1, JFK) A At(C2, SFO)) Action(Load(c, p, a), PRECOND: At(c, a) A At(p, a) A Cargo(c) A Plane(p) A Airport(a) EFFECT: - At(c, a) A In(c, p)) Action( Untoad(c, p, a), PRECOND: In(c, p) A At(p, a) A Cargo(c) A Plane(p) A Airport(a) EFFECT: At(c, a) A - In(c, p)) Action(Fly(p, from, to), PRECOND: At(p, from) A Plane(p) A Airport(from) A Airport(to) EFFECT: - At(p, from) A At(p, to))

Step by Step Solution

3.43 Rating (175 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

This is an easy exercise the point of which is to understand that applicable means sat... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Document Format (1 attachment)

Word file Icon

21-C-S-A-I (160).docx

120 KBs Word File

Students Have Also Explored These Related Artificial Intelligence Questions!