Advertisement

Query Answering over Some Extensions of Allen’s Interval Logic

  • Gerald S. Plesniewicz
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 874)

Abstract

We have considered a Boolean extension and a fuzzy Boolean extension of Allen’s interval logic. We present, for extended logics, the complete systems of inference rules based on analytic tableaux. The methods of query answering over ontologies and fact bases written un these logics were developed.

Keywords

Temporal logics Fuzzy logics Allen’s interval logic Deduction Query answering 

Notes

Acknowledgment

This work was supported by Russian Foundation for Basic Research (project 17-07-01332).

References

  1. 1.
    D’Aggostino, M., Gabbay, D., Hahnle, R., Possega, J. (eds.): Handbook of Tableaux Methods. Kluwer, Dordrecht (1999)Google Scholar
  2. 2.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983)CrossRefGoogle Scholar
  3. 3.
    Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(1), 123–154 (1984)CrossRefGoogle Scholar
  4. 4.
    Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. J. Log. Comput. 4, 531–579 (1994)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Allen, J.F., Kautz, H.A., Pelavin, R.N., Tenenberg, J.D.: Reasoning about Plans. Morgan Kaufmann, San Francisco, CA (1999)zbMATHGoogle Scholar
  6. 6.
    Badaloni, S., Giacomin, M.: A fuzzy extension of Allen’s interval algebra. LNAI, vol. 1792, pp. 155–165. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Ohlbach, H.J.: Relations between fuzzy time intervals. In Proceedings 11th International Symposium on Temporal Representation and Reasoning, pp. 44–51. Tatihou, France (2004)Google Scholar
  8. 8.
    Schockaert, S., De Cock, M., Kerre, E.E.: Fuzzifying Allen’s temporal interval relations. IEEE Trans. Fuzzy Syst. 16(2), 517–533 (2008)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.National Research University MPEIMoscowRussian Federation

Personalised recommendations