Question

Consider the following first-order inference problem given the rules and facts: • R1: If X is...

Consider the following first-order inference problem given the rules and facts:

• R1: If X is a close relative of Y and Y is a close relative of Z then X is acquainted with Z.

• R2: If X is a parent of Y, then X is a close relative of Y.

• R3: If X is married to Y, then X is a close relative of Y.

• F1: Sam is a parent of Mike.

• F2: Mike is married to Alice.

1. (5 points) FOL representation Express the rules R1-R3 and the facts F1,F2 in first-order logic using the following constants and predicates:

• c(X,Y) — X is a close relative of Y.

• p(X,Y) — X is a parent of Y.

• m(X,Y) — X is married to Y.

• a(X,Y) — X is acquainted with Y.

• Sam, Mike, Alice : Constants.

2. (5 points) FOL reasoning Infer that Sam is acquainted with Alice using either forward or backward chaining.

Homework Answers

Answer #1

Sol.

R1: c(X,Y) & c(Y,Z) ---> a(X,Z)

R2: p(X,Y) ----> c(X,Y)

R3: m(X,Y) ---> c(X,Y)

F1: p(Sam, Mike)

F2: m(Mike, Alice)

Part 2. Sam is Aquainted with Alice.

From R2: if X is parent of Y then X is a close relative of Y , so it can say that sam is parent of Mike then sam will be a close relative of Mike.

p(Sam, Mike) ---> c(Sam, Mike)...................(1)

Now From R3 it can be say that if Mike married to Alice then Mike will be a close relative of Alice.

m(Mike, Alice) ---> c(Mike, Alice).....................(2)

From Eq 1 and Eq 2 it deduce that sam is a close relative of Mike and Mike is also a close relative to Alice so From R1 it is pooved that sam is Aquainted with Alice.

c(Sam, Mike) & c(Mike, Alice) ---> a(Sam,Alice).

Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
ADVERTISEMENT
Need Online Homework Help?

Get Answers For Free
Most questions answered within 1 hours.

Ask a Question
ADVERTISEMENT
Active Questions
  • Create a program in java using if statements Suppose the WIFI of a client is not...
    asked 6 minutes ago
  • W Mart, one of major retailers, reported cash flows and earning: Comprehensive income) for the firm...
    asked 18 minutes ago
  • Parker Hi-Fi Systems Parker Hi-Fi Systems, located in Wellesley, Massachusetts, a Boston suburb, assembles and sells...
    asked 18 minutes ago
  • Manufacturing companies strive to maintain production​ consistency, but it is often difficult for outsiders to tell...
    asked 30 minutes ago
  • There is a difference between statistical probability and theoretical probability. The theoretical probability of rolling a...
    asked 36 minutes ago
  • In a small struggling technology company, the employees are aware that processes and structures must change...
    asked 48 minutes ago
  • On June 30, 2018, Blue, Inc. leased a machine from Large Leasing Corporation. The lease agreement...
    asked 58 minutes ago
  • You are on a mountain and see three other mountain tops that create a polygonal valley....
    asked 1 hour ago
  • Congressional Ethics: Identify one (1) member of Congress who has been charged with ethics violations in...
    asked 1 hour ago
  • A study had a statistically significant finding that walking 1 mile everyday will reduce the BMI...
    asked 1 hour ago
  • What is meant by electrical equivalent of heat. (define ) What is electrical energy and what...
    asked 1 hour ago
  • A block of mass 1.970  kg is free to slide on a frictionless, horizontal surface. A cord...
    asked 1 hour ago