Question: Giving examples from the airport domain, explain how symbol-splitting reduces the size of the precondition axioms and the action exclusion axioms. Derive a general formula
Giving examples from the airport domain, explain how symbol-splitting reduces the size of the precondition axioms and the action exclusion axioms. Derive a general formula for the size of each axiom set in terms of the number of rime steps, the number of action schemata, their antics, and the number of objects.
Step by Step Solution
★★★★★
3.38 Rating (157 Votes )
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
A precondition axiom is of the form FlyP JFK SFO AtP JFK There are OTX P A of these axioms where T i... View full answer
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)
21-C-S-A-I (173).docx
120 KBs Word File
