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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
D’Aggostino, M., Gabbay, D., Hahnle, R., Possega, J. (eds.): Handbook of Tableaux Methods. Kluwer, Dordrecht (1999)
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26, 832–843 (1983)
Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(1), 123–154 (1984)
Allen, J.F., Ferguson, G.: Actions and events in interval temporal logic. J. Log. Comput. 4, 531–579 (1994)
Allen, J.F., Kautz, H.A., Pelavin, R.N., Tenenberg, J.D.: Reasoning about Plans. Morgan Kaufmann, San Francisco, CA (1999)
Badaloni, S., Giacomin, M.: A fuzzy extension of Allen’s interval algebra. LNAI, vol. 1792, pp. 155–165. Springer, Heidelberg (2000)
Ohlbach, H.J.: Relations between fuzzy time intervals. In Proceedings 11th International Symposium on Temporal Representation and Reasoning, pp. 44–51. Tatihou, France (2004)
Schockaert, S., De Cock, M., Kerre, E.E.: Fuzzifying Allen’s temporal interval relations. IEEE Trans. Fuzzy Syst. 16(2), 517–533 (2008)
Acknowledgment
This work was supported by Russian Foundation for Basic Research (project 17-07-01332).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Plesniewicz, G.S. (2019). Query Answering over Some Extensions of Allen’s Interval Logic. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Sukhanov, A. (eds) Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18). IITI'18 2018. Advances in Intelligent Systems and Computing, vol 874. Springer, Cham. https://doi.org/10.1007/978-3-030-01818-4_36
Download citation
DOI: https://doi.org/10.1007/978-3-030-01818-4_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01817-7
Online ISBN: 978-3-030-01818-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)