Time plays an important role in the vast majority of problems and, as such, it is a vital issue to be considered when developing computer systems for solving problems. In the literature, one of the most influential formalisms for representing time is known as Allen's Temporal Algebra based on a set of 13 relations (basic and reversed) that may hold between two time intervals. In spite of having a few drawbacks and limitations, Allen's formalism is still a convenient representation due to its simplicity and implementability and also, due to the fact that it has been the basis of several extensions. This paper explores the automatic learning of Allen's temporal relations by the inductive logic programming system FOIL, taking into account two possible representations for a time interval: (i) as a primitive concept and (ii) as a concept defined by the primitive concept of time point. The goals of the experiments described in the paper are (1) to explore the viability of both representations for use in automatic learning; (2) compare the facility and interpretability of the results; (3) evaluate the impact of the given examples for inducing a proper representation of the relations and (4) experiment with both representations under the assumption of a closed world (CWA), which would ease continuous learning using FOIL. Experimental results are presented and discussed as evidence that the CWA can be a convenient strategy when learning Allen's temporal relations.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W nieniejszej pracy zaproponowane zostało rozszerzenie zbioru wzajemnych położeń (relacji prymitywnych) pomiędzy przedziałami stanowiącymi pary punktów na przypadek czasu nieliniowego. Rozważany jest zarówno czas uporządkowany częściowo, jak i lewostronnie liniowo. Nastepnie analizowana jest reprezentowalność nieprymitywnych (złożonych) relacji między takimi przedziałami za pomocą (punktowych) relacji między ich końcami. Na koniec wyróżniona jest podklasa przedziałów solidnych wrza z odpowiednim zbiorem relacji prymitywnych. Tym razem tablice składania takich relacji zostały również zaproponowane.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This report contains a characterization of time intervals defined in point time framework. We start from presenting brief description of non-linear point time structures. Next basic properties of sets of points and pairs of points are suggested, and their comparison is conducted. Complete axiomatizations are presented for all the theories depending on definition of intervals and relations ordering them.
PL
Niniejsza praca zawiera charakterystykę reprezentacji przedziałów czasu jako zbiorów i jako par punktów czasu. Na początku przedstawiony został zwięzły opis nieliniowych struktur czasu. Następnie opisane zostały podstawowe własności zbiorów punktów i par punktów wraz z ich porównaniem. Dla wszystkich teorii przedstawione są pełne aksjomatyzacje, uzależnione od definicji przedziałów i porządkujących je relacji.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.