We define a fuzzy logic whose sentences are Boolean combinations of Allen’s relations between temporal intervals. Estimates for truth degrees can be associated with sentences of this logic. Such estimates make up a certain logic EL for which we define the inference method based on analytic tableaux. We define the method of query answering over ontologies and their fact bases that are finite subsets of EL.
AllenJ.F., Maintaining knowledge about temporal intervals, Communications of the ACM26 (1983), 832–843.
3.
AllenJ.F., Towards a general theory of action and time, Artificial Intelligence23 (1984), 123–154.
4.
AllenJ.F., Natural language understanding, Menlo Park, CA: Benjamin/Cummings, 1987.
5.
AllenJ.F., FergusonG., Actions and events in interval temporal logic, Journal of Logic and Computation4 (1994), 531–579.
6.
AllenJ.F., KautzH.A., PelavinR.N., TenenbergJ.D., Reasoning about Plans, Morgan Kaufmann (1999).
7.
BadaloniS., GiacominM., A fuzzy extension of Allen’s interval algebra, Lecture Notes in Artificial Intelligence1792 (2000), 155–165.
8.
GuesgenH.W., HertzbergJ., PhilpottA., Towards implementing fuzzy Allen relations, in Proc ECAI-94 Workshop Spatial Temporal Reason, 1994, pp. 49–55.
9.
OhlbachH.J., Relations between fuzzy time intervals, in Proc 11th Int Symp Temporal Representation and Reasoning, 2004, pp. 44–51.
10.
SchilderF., KatzG., PustejovskyJ.Eds., Annotating, Extracting and Reasoning about Time and Events, LNAI 4795, Springer-Verlag, 2007.
11.
SchockaertS., De CockM. and KerreE.E., Imprecise temporal interval relations, LNCS3849 (2006), 108–113.e.
12.
SchockaertS., De CockM. and KerreE.E., An efficient characterization of fuzzy temporal interval relations, inProc 2006 IEEE World Congress on Computational Intelligence, 2006, pp. 9026–9033.
13.
SchockaertS., De CockM., Temporal reasoning about fuzzy intervals, Artificial Intelligence172 (2008), 1158–1193.
