Suppose we have the following predicates and the universe where all of the objects are people...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
Suppose we have the following predicates and the universe where all of the objects are people : (i) study(X) -------------> X study diligently (v) poor(X) --> X is not poor (ii) -stupid(X). -> X is not stupid (vi) happy(x) ->X is happy (iii) smart(X) --> X is smart (vii) exciting_life(X) -------> X has an exciting life (iv) rich(x) -> X is rich --------- A) Express the following statements in FOL using the predicates and objects above: First Order Logic (FOL) S# English 1. Someone studying diligently must be not stupid 2. Everyone who is smart and not poor will be happy 3. Ali study dilligently and rich 4. Everyone who is happy will have an exciting life B) Convert your FOL expressions above to a set of clauses in CNF, i.e., into a set of disjunctions of atomic literals! C) Using the obtained CNF clauses, give a resolution proof that Ali has an exciting life. Show all of the resolutions and the substitutions. Draw the proof as a graph or give it as a list of steps, showing for each step the clauses resolved, the new clause and substitution used. Suppose we have the following predicates and the universe where all of the objects are people : (i) study(X) -------------> X study diligently (v) poor(X) --> X is not poor (ii) -stupid(X). -> X is not stupid (vi) happy(x) ->X is happy (iii) smart(X) --> X is smart (vii) exciting_life(X) -------> X has an exciting life (iv) rich(x) -> X is rich --------- A) Express the following statements in FOL using the predicates and objects above: First Order Logic (FOL) S# English 1. Someone studying diligently must be not stupid 2. Everyone who is smart and not poor will be happy 3. Ali study dilligently and rich 4. Everyone who is happy will have an exciting life B) Convert your FOL expressions above to a set of clauses in CNF, i.e., into a set of disjunctions of atomic literals! C) Using the obtained CNF clauses, give a resolution proof that Ali has an exciting life. Show all of the resolutions and the substitutions. Draw the proof as a graph or give it as a list of steps, showing for each step the clauses resolved, the new clause and substitution used.
Expert Answer:
Answer rating: 100% (QA)
Answer A 1 Someone studying diligently must not be stupid English For any person X if X studies dili... View the full answer
Related Book For
Managerial Economics and Strategy
ISBN: 978-0321566447
1st edition
Authors: Jeffrey M. Perloff, James A. Brander
Posted Date:
Students also viewed these accounting questions
-
Suppose we have the following payoff matrix for a complementary investment game. The number in the lower left corner is the payoff to Wild and Crazy Guys (WCG). The other number is the payoff to...
-
Suppose we have the following joint probabilities. Compute the marginalprobabilities. 15 .20 10 12525.05
-
In Exercise- 12.28, we have the following data concerning wear of a bearing: (a) The following model may be considered to describe this data: yi = 00 + 1xl, + 2X2i + 12x1ix2i + i, for i = 1,2,...,6....
-
A population of Ecuadorians have short stature. They have a rare genetic defect that affects the body's response to growth horm one, called Laron syndrome. Recent genetic studies have dem onstrated...
-
For the linear program Max2A + 3B s.t. 1A + 3B 6 5A + 3B 15 A, B 0 Find the optimal solution using the graphical solution procedure. What is the value of the objective function at the optimal...
-
A hospital spokesperson claims that the standard deviation of the waiting times experienced by patients in its minor emergency department is no more than 0.5 minute. A random sample of 25 waiting...
-
Matching Financial Statement Items to Financial Statement Categories LO1-1 Mark each item in the following list as an asset (A), liability (L), or shareholders equity (SE) item that would appear on...
-
MGS Rentals, Inc.s unadjusted and adjusted trial balances at June 30, 2014, follow. Requirements 1. Make the adjusting entries that account for the differences between the two trial balances. 2....
-
A South African company paying royalties to a non - resident in the first month of the 2 0 2 5 tax year, for the use of their copyright over a book, would have had to withhold tax ( to pay over to...
-
GUI Assignment You will be creating a seating arrangement application using JavaFX. The project will comprise of two sections: the interface and the Java code. The application will feature a 3x3...
-
Look at the APPLEs company's debt (both short-term and long-term). What are the major types of debt the company uses to fund its operations? What is the average cost (rate) on the debt? (Please state...
-
A borrower takes a loan of 5 0 0 , 0 0 0 over 3 0 years to purchase a property. Repayments are made annually in arrear, and payments increase by 1 0 % of the first payment at the end of each of years...
-
what method can be used for the carrying value of property plant and equipment?
-
A company had a beginning inventory cost of $36,164. The ending inventory cost was $52,175. The cost of merchandise sold during the period was $184,874. Find the turnover rate at cost.
-
The total investment in capital equipment is $30 million. By the end of the project planning period, that investment will be fully depreciated. Company analysts believe the equipment has a salvage...
-
You win the lottery and are faced with two choices (both pre-tax): you can either receive (i) 100 million in cash today, or (ii) receive an annuity of 10 million per year for the next 20 years...
-
Evaluate each function for the given value 11 f x x 6x 7 Find 0 A 7 B 2 C 6 D 2 3 3 f x 4x 4 Find f 3 B 7 D 8 A 9 C 2 2 2 f x 3x 4 4 Find 2 B 2 D 8 A 4 C 9 4 4 f x x 2x 4 Find 0 A 1 B 3 C 0 D 4
-
A stock has had returns of 8 percent, 26 percent, 14 percent, 17 percent, 31 percent, and 1 percent over the last six years. What are the arithmetic and geometric average returns for the stock?
-
Dale goes to the opera and ice hockey games. Draw a budget line for Dale. If the government imposes a 25% income tax on her, what happens to her budget line and opportunity set?
-
A firm has three different production facilities, all of which produce the same product. While reviewing the firms cost data, Jasmin, a manager, discovers that one of the plants has a higher average...
-
Modify Question 1.5 so that if Firm 1 chooses High and Firm 2 chooses Low (the upper right corner), Firm 1 receives 1 rather than 3. How does that change youranswer? Firm 1 Low Medium High Low otu 2...
-
Ratio Analysis} Selected information from Bigg Company's financial statements follows. \section*{Required:} 1. Calculate the following ratios for 2017 and 2018: (a) gross profit margin, (b) operating...
-
(NPV or IRR) You are considering buying an asset that has a 3-year life and costs $2,000. As an alternative to buying the asset, you can lease it for $600 per year; the first payment is due today and...
-
(NPV and IRR) You work in a company that sells furniture. The company is considering a new marketing campaign. The marketing campaign cost is $1M to be paid immediately. You expect that as a result...
Study smarter with the SolutionInn App