Given 5 persons, namely A, B, C, D, and E, are to be seated on 5 chairs arranged sideby side in a straight line and are labelled as in Figure 1.12345Figure 1: 5 chairs side by side in a straight lineThe following rules are specified. The predicate OnChair (P, s) means that I is seatedon chair of number s.T₁:72:VX, Y, s OnChair (X, s) A OnChair(Y,s) → X = YVs, t OnChair (A, s) A UnChair (B, t) →> |s-t|/1T3: Vs, t OnChair(B, s) A OnChair (C, t) → |s-t|=1T4: Vs OnChair(D, s) V OnChair(E, s) → s/1^s/5TS: Vs, t OnChair(C, s) A OnChair (D, t) → |s-t| / 1TG: Vs,t OnChair(A, s) A OnChair (E, t) →> |s-t=2s 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 chairs, X and Y refer to the same person, i.e. no two persons can be seated onthe 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.

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.

Elementary Geometry for College Students

6th Edition

ISBN:9781285195698

Author:Daniel C. Alexander, Geralyn M. Koeberlein

Publisher:Daniel C. Alexander, Geralyn M. Koeberlein

Chapter1: Line And Angle Relationships

Section1.6: Relationships: Perpendicular Lines

Problem 18E: Does the relation is in love with have a reflexive property consider one person? a symmetric...

See similar textbooks

Similar questions

Does the relation is in love with have a reflexive property consider one person? a symmetric property consider two people? a transitive property consider three people?
For what values of c is c(1,2,3)=1?
2. Decide whether or not each statement is true for and . a. b. c. d. e. f.
Does the relation is a brother of have a reflexive property consider one male? A symmetric property consider two males? A transitive property consider three males?