Med ursprung i Allens analys av tidsmässiga relationer har begreppet kompositionstabell blivit en nyckelteknik för att tillhandahålla en effektiv inferensmekanism för en bred klass av teorier inom området artificiell intelligens. Detta dokument handlar främst om den konsekventa sammansättningstabellen (RCC8 CT) för Region Connection Calculus (RCC) som tagits upp av Randell, Cui och Cohn. Först visar vi varje RCC modell är en konsekvent modell av RCC8 CT. Sedan efter en uttömmande analys visar vi att ingen RCC modeller kan tolkas extensivt i alla fall och därmed ge ett negativt svar på en gissning upp av Bennett. Alla dessa resultat ges i en 'extensiv' RCC8-kompositionstabell, där vi till varje cellpost i RCC8 CT bifogar ett superskript för att under vilka omständigheter en extensiv tolkning är möjlig.
I synnerhet Li och Ying ( REF ) visade att ingen RCC8 modell kan tolkas extensivt, dvs. för RCC8 sammansättning är alltid bara en svag sammansättning, vilket ger ett negativt svar på Bennett et al.- Det är gissningar.
Region Connection Calculus: Its models and composition table
{'venue': 'Artif. Intell.', 'journal': 'Artif. Intell.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}