● Write the precondition axioms for the actions.
(Ex.1 in Ch14 of the book KRR) Blocks World Imagine that we have a collection
of blocks on a table and a robot arm that is capable of picking up blocks and putting them
elsewhere, as shown in Figure 1.
We assume that the robot arm can hold at most one block at a time. We also assume that
the robot can only pick up a block if there is no other block on top of it. Finally, we assume
that a block can only support or be supported by at most one other block, but that the table
surface is large enough that all blocks can be directly on the table. There are only two actions
available:
puton(x, y) which picks up block x and moves it onto block y, and
putonTable(x) which moves block x onto the table.
![C
AB
D
В
F
E
Figure 1: The Blocks World
Similarly, we have only two fluents:
On(x, y, s) which holds when block x is on block y, and
OnTable(x, s) which holds when block x is on the table.
Answer the following questions:
• Write the precondition axioms for the actions.
.Write the effect axioms for the actions.
• Show how successor state axioms for the fluents would be derived from these effect axioms.
Argue that the successor state axioms are not logically entailed by the effect axioms by
briefly describing an interpretation where the effect axioms are satisfied but the successor
state ones are not.
• Show how frame axioms are logically entailed by the successor state axioms.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2Fdd179b6b-0385-4d01-8b81-15afa03c2285%2Fec831a26-3bae-4ac0-b695-d2598aaa7a40%2Fxun6ox2_processed.png&w=3840&q=75)
![](/static/compass_v2/shared-icons/check-mark.png)
Trending now
This is a popular solution!
Step by step
Solved in 2 steps
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
![Database System Concepts](https://www.bartleby.com/isbn_cover_images/9780078022159/9780078022159_smallCoverImage.jpg)
![Starting Out with Python (4th Edition)](https://www.bartleby.com/isbn_cover_images/9780134444321/9780134444321_smallCoverImage.gif)
![Digital Fundamentals (11th Edition)](https://www.bartleby.com/isbn_cover_images/9780132737968/9780132737968_smallCoverImage.gif)
![Database System Concepts](https://www.bartleby.com/isbn_cover_images/9780078022159/9780078022159_smallCoverImage.jpg)
![Starting Out with Python (4th Edition)](https://www.bartleby.com/isbn_cover_images/9780134444321/9780134444321_smallCoverImage.gif)
![Digital Fundamentals (11th Edition)](https://www.bartleby.com/isbn_cover_images/9780132737968/9780132737968_smallCoverImage.gif)
![C How to Program (8th Edition)](https://www.bartleby.com/isbn_cover_images/9780133976892/9780133976892_smallCoverImage.gif)
![Database Systems: Design, Implementation, & Manag…](https://www.bartleby.com/isbn_cover_images/9781337627900/9781337627900_smallCoverImage.gif)
![Programmable Logic Controllers](https://www.bartleby.com/isbn_cover_images/9780073373843/9780073373843_smallCoverImage.gif)