(Ex.1 in Ch14 of the book KRR) Blocks World Imagine that we have a collectionof blocks on a table and a robot arm that is capable of picking up blocks and putting themelsewhere, as shown in Figure 1.We assume that the robot arm can hold at most one block at a time. We also assume thatthe robot can only pick up a block if there is no other block on top of it. Finally, we assumethat a block can only support or be supported by at most one other block, but that the tablesurface is large enough that all blocks can be directly on the table. There are only two actionsavailable: puton(x, y) which picks up block x and moves it onto block y, andputonTable(x) which moves block x onto the table. CABDВFEFigure 1: The Blocks WorldSimilarly, we have only two fluents:On(x, y, s) which holds when block x is on block y, andOnTable(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 bybriefly describing an interpretation where the effect axioms are satisfied but the successorstate ones are not.• Show how frame axioms are logically entailed by the successor state axioms.

The Blocks World problem is a classic example of an Artificial Intelligence problem where a robot is…

Answered: ● Write the precondition axioms for the…

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Related questions

Concept explainers

Question

(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.

Expert Solution

Trending now

This is a popular solution!

Step by step

Solved in 2 steps

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions