Homework Help is Here – Start Your Trial Now!
Math
Advanced Math
Given 5 persons, namely A, B, C, D, and E, are to be seated on 5 chairs arranged side by side in a straight line and are labelled as in Figure 1. 4 5 Figure 1: 5 chairs side by side in a straight line The following rules are specified. The predicate OnChair(P, s) means that I' is seated on chair of numbers. 2 3 T₁: VX,Y, OnChair(X, s) A OnChair(Y,s) →> X = Y r2: Vs, t OnChair(A, s) A OnChair (B, t) → |-t|/1 ra: Vs, t OnChair(B, s) A OnChair(C, t) |st|1 T4: Vs OnChair (D, s) V OnChair(E, s) >8/1A/5 rs: Vs, UnChair (C, s) A OnChair (D, t) → |-t|/1 TG: Vs,t OnChair(A, s) A OnChair (E, t) → |-t| 2 s and represent any chair number; X and Y represent any person sitting on a chair. As examples to interpret the rules, • means if person X is sitting on chairs and person Y is also sitting on chair s, X and Y refer to the same person, i.e. no two persons can be seated on the same chair; • 12 means A and IB cannot be seated next to each other. Assuming IB is to be seated on chair 1, using forward chaining, demonstrate the pro- cess of finding the complete seating plan.

Given 5 persons, namely A, B, C, D, and E, are to be seated on 5 chairs arranged side by side in a straight line and are labelled as in Figure 1. 4 5 Figure 1: 5 chairs side by side in a straight line The following rules are specified. The predicate OnChair(P, s) means that I' is seated on chair of numbers. 2 3 T₁: VX,Y, OnChair(X, s) A OnChair(Y,s) →> X = Y r2: Vs, t OnChair(A, s) A OnChair (B, t) → |-t|/1 ra: Vs, t OnChair(B, s) A OnChair(C, t) |st|1 T4: Vs OnChair (D, s) V OnChair(E, s) >8/1A/5 rs: Vs, UnChair (C, s) A OnChair (D, t) → |-t|/1 TG: Vs,t OnChair(A, s) A OnChair (E, t) → |-t| 2 s and represent any chair number; X and Y represent any person sitting on a chair. As examples to interpret the rules, • means if person X is sitting on chairs and person Y is also sitting on chair s, X and Y refer to the same person, i.e. no two persons can be seated on the same chair; • 12 means A and IB cannot be seated next to each other. Assuming IB is to be seated on chair 1, using forward chaining, demonstrate the pro- cess of finding the complete seating plan.

Advanced Engineering Mathematics
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
See similar textbooks
icon
Related questions
Question
Given 5 persons, namely A, B, C, D, and E, are to be seated on 5 chairs arranged side by side in a straight line and are labelled as in Figure 1. 1 2 3 4 5 Figure 1: 5 chairs side by side in a straight line The following rules are specified. The predicate OnChair (P, s) means that I is seated on chair of number s. T₁: 72: VX, Y, s OnChair (X, s) A OnChair(Y,s) → X = Y Vs, t OnChair (A, s) A UnChair (B, t) →> |s-t|/1 T3: Vs, t OnChair(B, s) A OnChair (C, t) → |s-t|=1 T4: Vs OnChair(D, s) V OnChair(E, s) → s/1^s/5 TS: Vs, t OnChair(C, s) A OnChair (D, t) → |s-t| / 1 TG: Vs,t OnChair(A, s) A OnChair (E, t) →> |s-t=2 s and t represent any chair number; X and Y represent any person sitting on a chair. As examples to interpret the rules, • ₁ means if person X is sitting on chairs and person Y is also sitting on chair s, X and Y refer to the same person, i.e. no two persons can be seated on the same chair; 72 means A and B cannot be seated next to each other. Assuming B is to be seated on chair 1, using forward chaining, demonstrate the pro- cess of finding the complete seating plan.
Transcribed Image Text:Given 5 persons, namely A, B, C, D, and E, are to be seated on 5 chairs arranged side by side in a straight line and are labelled as in Figure 1. 1 2 3 4 5 Figure 1: 5 chairs side by side in a straight line The following rules are specified. The predicate OnChair (P, s) means that I is seated on chair of number s. T₁: 72: VX, Y, s OnChair (X, s) A OnChair(Y,s) → X = Y Vs, t OnChair (A, s) A UnChair (B, t) →> |s-t|/1 T3: Vs, t OnChair(B, s) A OnChair (C, t) → |s-t|=1 T4: Vs OnChair(D, s) V OnChair(E, s) → s/1^s/5 TS: Vs, t OnChair(C, s) A OnChair (D, t) → |s-t| / 1 TG: Vs,t OnChair(A, s) A OnChair (E, t) →> |s-t=2 s and t represent any chair number; X and Y represent any person sitting on a chair. As examples to interpret the rules, • ₁ means if person X is sitting on chairs and person Y is also sitting on chair s, X and Y refer to the same person, i.e. no two persons can be seated on the same chair; 72 means A and B cannot be seated next to each other. Assuming B is to be seated on chair 1, using forward chaining, demonstrate the pro- cess of finding the complete seating plan.
Expert Solution
steps

Step by step

Solved in 2 steps with 1 images

SEE SOLUTIONCheck out a sample Q&A here
Blurred answer
Similar questions
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,
SEE MORE TEXTBOOKS