Question: Part 1 : Write the Firest Order Logic for the following sentences: 1 . Ahmed and Ali are brothers 2 . Chinky is a cat

Part 1: Write the Firest Order Logic for the following sentences:
1. Ahmed and Ali are brothers
2. Chinky is a cat
3. x is an integer
4. All men drinks coffee.
5.No one talks
6. Every man respects his parent.
7. Not all students like both Mathematics and Science
8. Mary loves everyone
9. Everyone loves everyone.
10. Every student except George smiles.
Part 2: Write the Descriptive logics for the following sentences:
1. Omar is a FatherOfDaughters and a Surgeon.
2. Raj is a father and has 3 sons and 4 daughters.
3. Joe is a father and has 3 sons and 4 daughters, the daughters are married and mothers.
4. Joe is a father and has 3 sons and 4 daughters, the daughters are married and mothers, All sons are graduated.
5. A FatherOfDaughters is precisely a male with at least one child and all of whose children are female.
6. A dog is among other things a mammal that is a pet and whose
voice call includes barking. Course: Principles of Artificial Intelligence

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!

Q:

Digital Communication I X A B C D Y Hosts X and Y are communicating through the data network provided by the switches A, B, C and D and the links interconnecting them as shown above. Initially all...

Q:

f a processor exhibited one branch delay slot how would you reorder (and possibly modify) the instructions in the following loop to gain a performance advantage? loop ldr r2,r3,#4 % r2=load(r3),...

Q:

Thank you in advance for the help We are expected to write a the above program in C Language via linux terminal. Here is the shellp.h file: #ifndef SHELLP_H #define SHELLP_H enum Kind {...

Q:

Unit tester file. C++ preferred. //Bring in unit testing code and tell it to build a main function #define DOCTEST_CONFIG_IMPLEMENT_WITH_MAIN //This pragma supresses a bunch of warnings QTCreator...

Q:

//Bring in unit testing code and tell it to build a main function #define DOCTEST_CONFIG_IMPLEMENT_WITH_MAIN //This pragma supresses a bunch of warnings QTCreator produces (and should not) #pragma...

Q:

Stop wasting my time. Right click on photo and select "Open image in new tab". If anything is missing please leave valuable feedback and not just one word statements. C V Unit tester file. C++...

Q:

nnep This counts as "setting the value", even if the value does not change. If its value was last set to v 6= n less than 30 seconds ago, it leaves its value unchanged and replies false. If a client...

Q:

A discrete sequence {xn} can be converted into a continuous representation x(t) = ts X n= (t n ts) xn, where ts is the sampling period. (a) State two characteristic properties of Dirac's function. [2...

Q:

Chapter 7 Revising and Presenting Your Writing I'm not a very good writer, but I'm an excellent rewriter. James A. Michener Half my life is an act of revision. John Irving Getting Started INT RODU CT...

Q:

Attached is a case study on "Meezan bank : category leader in Islamic banking" , the knowledge of the case is based on our classroom discussion of the last two weeks. Your task is to read the case...

Q:

1. What are the trade-offs in todays organizations between the positives and negatives of advanced technology? Does it really matter if some of the older employees are having a hard time adjusting;...

Q:

To achieve the target cost, Lens Care plans to reduce materials handling costs. How many parts must be removed from B-13 in order to achieve the target cost for B-13 (round up to whole units)? A)11...

Q:

The statute of limitations for a tax return does not begin to run until the return is filed. Question 9 Select one: True False

Q:

Listen Determine where f is discontinuous. f | x x if x 11 0 and -11 0 only 0 and 11 -11 only 11 only