Scientific and Technical Information Processing

, Volume 44, Issue 5, pp 345–356 | Cite as

Deduction Algorithms for Some Extensions of Allen’s Interval Logic

  • G. S. Plesniewicz
  • Nguyen Thi Minh Vu


This paper considers Allen’s interval logic language and the languages whose statements are Boolean combinations of Allen’s logic statements, possibly, with metric information. Some deduction algorithms for the languages are presented. The algorithms are based on the analytic tableaux method.


temporal logics Allen’s interval logic analytic tableaux method deduction algorithms 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, J.A., Maintaining knowledge about temporal intervals, Commun. ACM, 1983, vol. 20, no. 11, pp. 832–843.CrossRefzbMATHGoogle Scholar
  2. 2.
    Allen, J.A., Planning as temporal reasoning, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, 1991, pp. 3–14.Google Scholar
  3. 3.
    Allen, J.A. and Hayes, P.I., Common-sense theory of time, Proceedings of the 9th International Joint Conference on Artificial Intelligence, 1985, pp. 528–531.Google Scholar
  4. 4.
    Allen, J.A. and Koomen, J.A., Planning using a temporal word model, Proceedings of the 8th International Joint Conference on Artificial Intelligence, 1983, pp. 741–747.Google Scholar
  5. 5.
    Automatic Reasoning with Analytic Tableaux and Related Methods, LNAI 6793, Brunner, K. and Metcalf, G., Eds., 2011, p. 279.Google Scholar
  6. 6.
    Koubarakis, M., Tractable disjunctions of linear constraints, Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (CP96), LNCS 1118, 1996, pp. 297–307.Google Scholar
  7. 7.
    Litman, D. and Allen, J., A plan recognition model for subdialogues in conversation, Cognit. Sci., 1987, vol. 11, no. 2, pp. 163–200.CrossRefGoogle Scholar
  8. 8.
    Vilain, M. and Kautz, H., Constraint propagation algorithms for temporal reasoning, Proceedings of the 5th Conference on Artificial Intelligence, 1986, pp. 377–382.Google Scholar
  9. 9.
    Pleshevich, G.S., Nguyen Thi Minh Vu, and Karabekov, B.S., A deduction algorithm for the Boolean extension of Allen’s interval logic, Integrirovannye modeli i myagkie vychisleniya v iskusstvennom intellekte. Sbornik nauchnykh trudov VIII-i Mezhdunarodnoi nauchno-prakticheskoi konferentsii (Kolomna, 18–20 maya 2015g.) (Integrated Models and Soft Computing in Artificial Intelligence. Proceedings of the 8th International Scientific and Practical Conference, Kolomna, Russia, May 18–20, 2015), Moscow, 2015, pp. 181–189.Google Scholar
  10. 10.
    Dechter, R., Meiri, I., and Pearl, J., Temporal constraint networks, Artif. Intell., 1991, vol. 45, no. 1, 1991, pp. 61–95.MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Shostak, R., Deciding linear inequalities by computing loop residues, J. ACM, 1981, vol. 28, no. 4, 1981, pp. 769–779.MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Allerton Press, Inc. 2017

Authors and Affiliations

  1. 1.National Research University Moscow Power Engineering Institute (MPEI)MoscowRussia

Personalised recommendations