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

Reviews

Write a Review

 

Computer Engineering Questions & Answers

  What are the reasons of project failure

Make sure to contain how and why project was initiated, what setting up was done, how plan went wrong and what was done to solve the trouble. What are the reasons of project failure

  Hardware support to memory management

Study any two multicore processor architecture and discuss the following features briefly

  How many tasks real-time application contain

How many tasks real-time application contain In this particular real-time application, there are many tasks; each runs exact same code except with different data each time.

  What are the errors

What are the errors

  Calculate average time in a linear search

Calculate average time in a linear search

  Accessing and reading a mouse

Accessing and reading a mouse

  What is green computing and green communication technology

What is Green Computing and Green Communication technology.

  How to write a program to check the collision

How to write a program to check the collision Write down a java program to check if they will collide or not. If they are going to collide print a message that 'The crafts will collide at (x,y)' where co-ordinates (x,y) are on Map as points of co..

  Develop a checkout lane simulation

Develop a checkout lane simulation that can be used to determine the optimal number of lanes that Cougar Mart should have open.

  Problem on encryption using a one-round version of des

Problem on encryption using a one-round version of DES.

  What is home wireless network and security

What is home wireless network and security Methodology- Review topics covered in lecture hours, from textbook, reference books plus online research, to behaviour a comprehensive study about wireless network security implementation at home.

  Ict governance

ICT is defined as the term of Information and communication technologies, it is diverse set of technical tools and resources used by the government agencies to communicate and produce, circulate, store, and manage all information.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd