Which componet is the smallest unit in a spreadsheet

Determine whether or not the following pairs of predicates are unifiable. If they are, give the most-general unifier and show th

Evgen [1.6K]

Answer:

a) P(B,A,B), P(x,y,z)

=> P(B,A,B) , P(B,A,B}

Hence, most general unifier = {x/B , y/A , z/B }.

b. P(x,x), Q(A,A)

No mgu exists for this expression as any substitution will not make P(x,x), Q(A, A) equal as one function is of P and the other is of Q.

c. Older(Father(y),y), Older(Father(x),John)

Thus , mgu ={ y/x , x/John }.

d) Q(G(y,z),G(z,y)), Q(G(x,x),G(A,B))

=> Q(G(x,x),G(x,x)), Q(G(x,x),G(A,B))

This is not unifiable as x cannot be bound for both A and B.

e) P(f(x), x, g(x)), P(f(y), A, z)

=> P(f(A), A, g(A)), P(f(A), A, g(A))

Thus , mgu = {x/y, z/y , y/A }.

Explanation:

Unification: Any substitution that makes two expressions equal is called a unifier.

a) P(B,A,B), P(x,y,z)

Use { x/B}

=> P(B,A,B) , P(B,y,z)

Now use {y/A}

=> P(B,A,B) , P(B,A,z)

Now, use {z/B}

=> P(B,A,B) , P(B,A,B}

Hence, most general unifier = {x/B , y/A , z/B }

b. P(x,x), Q(A,A)

No mgu exists for this expression as any substitution will not make P(x,x), Q(A, A) equal as one function is of P and the other is of Q

c. Older(Father(y),y), Older(Father(x),John)

Use {y/x}

=> Older(Father(x),x), Older(Father(x),John)

Now use { x/John }

=> Older(Father(John), John), Older(Father(John), John)

Thus , mgu ={ y/x , x/John }

d) Q(G(y,z),G(z,y)), Q(G(x,x),G(A,B))

Use { y/x }

=> Q(G(x,z),G(z,x)), Q(G(x,x),G(A,B))

Use {z/x}

=> Q(G(x,x),G(x,x)), Q(G(x,x),G(A,B))

This is not unifiable as x cannot be bound for both A and B

e) P(f(x), x, g(x)), P(f(y), A, z)

Use {x/y}

=> P(f(y), y, g(y)), P(f(y), A, z)

Now use {z/g(y)}

P(f(y), y, g(y)), P(f(y), A, g(y))

Now use {y/A}

=> P(f(A), A, g(A)), P(f(A), A, g(A))

Thus , mgu = {x/y, z/y , y/A }.

7 0

3 years ago

Write a public member function which replace that replaces one occurrence of a given item in the ArrayBag with another passed as

ira [324]

Answer:

The method is written in Java

public static boolean abc(int [] ArrayBag,int num, int replace){

Boolean done = false;

for(int i =0; i<ArrayBag.length;i++){

if(ArrayBag[i] == num){

ArrayBag[i] = replace;

done = true;

}

for(int i = 0;i<ArrayBag.length;i++){

System.out.println(ArrayBag[i]+" ");

}

return done;

}

Explanation:

The method is written in java

The arguments of the method are:

1. ArrayBag -> The array declares as integer

2. num -> The array element to check the presence

3. replace - > The replacement variable

This line defines the method as boolean.

public static boolean abc(int [] ArrayBag,int num, int replace){

This line declares a boolean variable as false

Boolean done = false;

The following iterates through the elements of the array

for(int i =0; i<ArrayBag.length;i++){

This checks if the array element exist

if(ArrayBag[i] == num){

If yes, the array element is replaced

ArrayBag[i] = replace;

The boolean variable is updated from false to true

done = true;

}

The following iteration prints the elements of the array

for(int i = 0;i<ArrayBag.length;i++){

System.out.println(ArrayBag[i]+" ");

}

This prints returns the boolean thats indicates if replacement was done or not.

return done;

}

Attached to this solution is the program source file that includes the main method of the program

Download txt

5 0

3 years ago

Describe psychographic differences among the past five generations of Americans that you learned about in this course. What type

Hunter-Best [27]

i would love to help i just dont understand

7 0

3 years ago

Which of the following statements is true?

Lilit [14]

Answer:

Option A is the correct answer choice for the above question.

Explanation:

The computer system needs intercommunication which is done inside the processor to process the task given by the user. There are two types of model is used for intercommunication--

Message passing and
Shared memory

The difference between two is that message passing passes the message on two points at a single unit of time whereas shared memory simultaneous shares the multiple messages. That's why shared memory is faster than message passing.

Hence option A is the correct choice because it also refers to the above concept. While the other is not correct because--
Option B states that message passing is faster than shared memory which is wrong.
Option C states that message passing is used for large data but shared memory is used for large data.
Option D states that shared memory is unavailable in some processor which is wrong.

3 0

3 years ago

Write a Box class whose init method takes three parameters and uses them to initialize the private length, width and height data

lord [1]

Answer:

Answered below

Explanation:

//Program is written in Java programming //language

Class Box{

private double length;

private double width;

private double height;

Box(double len, double wid, double hgt){

length = len;

width = wid;

height = hgt;

}

public double volumeOfBox( ){

double volume = length * width * height;

return volume;

}

public double getLength( ){

return length;

}

public double getWidth( ){

return width;

}

public double getHeight( ){

return height;

}

8 0

3 years ago