Publications of Mahieddine Djoudi
Reference (inproceedings)
K. Benkoula, M. Djoudi, "Une représentation granulaire des évenements", Premier séminaire national d'infromatique SNIB'01, 24-25 Octobre 1995.
BibTeX entry
@INPROCEEDINGS{Benkoula_SNIB95,
Author = {Khalil Benkoula and Mahieddine Djoudi},
Title = {Une représentation granulaire des évenements},
Booktitle = {Premier séminaire national d'infromatique SNIB'01},
Month = {24-25 Octobre},
Year = {1995},
Abstract = {James Allen a introduit la logique temporelle basée sur les intervalles et leurs treize relations possibles. L'entité principale de sa théorie est l'intervalle qui peut correspondre à un événement. Cependant, il est souvent nécessaire de représenter les événements sous différents niveaux de détail ou granularités. Une solution au problème de représentation et de raisonnement sur ce type d'assertions temporelles est proposée en définissant une nouvelle classe d'intervalle nommée c-intervalle. Pour se faire, un ensemble de macro relations, qui permettent aussi d'exprimer des relations incomplètes, est introduit. Un formalisme graphique est utilisé pour représenter les assertions temporelles.
Dans cet article, on démontre comment déterminer la consistance de ces assertions temporelles, qui peuvent être incomplètes, dans un graphe incomplet. Cette tâche est effectuée en recherchant dans le graphe des circuits ayant deux noeuds connectés par une des deux relations de précédence. D'où un gain en temps et en espace considérable. Par contre la déduction des assertions temporelles implicites nécessite l'introduction de deux opérations : l'intersection et la composition sur l'ensemble des relations possibles.
},
Keywords = {Benkoula Djoudi logiqtemp}
}