Concept Hyponymy Sample Clauses

Concept Hyponymy. In the first scenario the two agents have initially their contrast sets K1 and K2, shown in Table 1. The first example e1 presented to both agents is an Armchair. The two agents first send Assert (chair, e1) in the case of A1 and Assert (armchair, e1) in the case of A2. They both discover a disagreement. The sign armchair ∈/ S(K1) so A1 sends Ask (armchair , e1) to A2. A2 responds with Answer (armchair β2) since β2 m e1. Then, A1 creates the subset E(C6) = {ei ∈ E(C2)|β2 ± ei}. Since E(C6) E(C2), A1 creates the subset E(C5) = E(C2)−E(C6). No contrast set has been created yet, so A1 creates a new contrast set K1j . The new concepts C5 = (chair, I(C5), E(C5)) and C6 = (armchair, β2, E(C6) ∪ e1) are added to K1j with the concept C1. Then, A1 performs an induction on the new E(K1j ) for the sign chair that results to the generalization α3 which is added to I(C5). Finally, A1 sends an Accept (armchair ). The second example presented, e2, is a Chair. The agents send to each other Assert (chair, e2). Since both agents agree on the use of chair as a sign to describe a Chair, they just send to each other two messages Accept (chair, e2). The last example e3 presented to the agents is a Stool. As with e1, they both notice the disagreement over stool and chair, but this time stool / K2. It leads A2 to send Ask (stool, e3) to A1. Since α1 m e3, A1 sends back Answer (stool, α1). Now it is A2’s turn to create a subset E(C7) = {ei ∈ E(C3)|α1 ± ei}, Table 1. Initial contrast sets of agents A1 and A2 C. set Agent 1 contrast set K1 Concept C1 C2 Sign stool chair I(C) α1: no.arm, no.back α2: with.back C. set Agent 2 contrast set K2 Concept C3 C4 Sign chair armchair I(C) β1: no.arm β2: with.arm, with.back Table 2. Final contrast sets of A1 and A2 C. set Agent 1 contrast set K1j Concept C1 C5 C6 Sign stool chair armchair I(C) α1: no.arm, no.back α3: no.arm, with.back β2: with.arm, with.back C. set Agent 2 contrast set K2j Concept C7 C8 C4 Sign stool chair armchair I(C) α1: no.arm, no.back β4: no.arm, with.back β2: with.arm, with.back and since E(C7) ƒ= E(C3), A2 creates the subset E(C8) = E(C3) − E(C7). No new contrast set has been created by A2, so it creates K2j . The new concepts C7 = (stool, α1, E(C7) ∪ e3) and C8 = (chair, I(C8), E(C8)) are added to K2j with the concept C4. A2 performs an induction on the new E(K2j ) for the sign chair. The resulting generalization β4 is added to I(C8). Finally, A2 sends an Accept(stool, e3) to A1. The contrast sets are now as shown in Tab...