Predicate color and action paint using situation calculus

Assignment Help Computer Engineering

Reference no: EM132971

Question

1. Add to situation calculus the ability to paint an object. In particular, add the predicate color(Obj,Col,Sit)that is true if object Obj has color Col in situation Sit.

The parcel starts off blue. Thus, we have an axiom:color(parcel,blue,init).

2. There is action paint(Obj,Col) to paint object Obj with color Col. For this question, assume objects can only be painted red, and they can only be painted as the object and the robot are both at position o109. Colors accumulate on the robot (there is nothing that undoes an object being a color; if you paint the parcel red, it is both red and blue - of course this is unrealistic, but it makes the problem simpler).

3. Axiomatize predicate color and the action paint using situation calculus.

Reference no: EM132971

Questions Cloud

What is the amortization amount for every intangible asset : What is the amortization amount for every intangible asset in the existing year?

What technologies are used in windows server 2008 : What technologies are used in windows server 2008

Check a governmental and a not-for-profit program : Check a governmental and a not-for-profit program

What would the tax rate need to be in year : What would the tax rate need to be in Year 2 to make the taxpayer indifferent?

Predicate color and action paint using situation calculus : Predicate color and action paint using situation calculus

Related diversification and unrelated diversification : Using appropriate examples explain how other companies can benefit from: (i) related diversification and (ii) Unrelated diversification

Determine the cost of goods manufactured for february : Determine the cost of goods manufactured for February.

Detail advantages of looping : Detail advantages of looping

What could be your response to the ceo : What could be your response to the CEO

User Account

All Pages