Abstract
L-CATA (Logic-based Computer Aided Travel Assistant) is a logic-based expert database system, which asks the user to input his query specification, such as starting place, destination, constraints, rules and goals, etc., and outputs a list of flights meeting the traveller's specification; together with an alternative list which may not quite meet the user's specification but optimizes his goals. L-CATA is written as a deductive database system, and uses heuristic rules to prune its search of the database. Unlike other air-travel related expert systems, L-CATA does not attempt to model the traveller. Instead, L-CATA complements existing Computer Reservation Systems by providing comprehensive individually tailored advice and information to the traveller. There are several approaches to implement such a system. The logic approach is a very promising one, and the aims of L-CATA can be more easily achieved by using it. In this paper, we present a logic approach to the L-CATA expert database system, and provide a theoretical foundation for such a database system.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bodi, A. and J., Zeleznikow, 1989, CATA: An Expert Database for Intelligent Travel Assistance, in Pau, L.F., Motiwalla, J., Pao, Y.H. and Teh H.H., (eds.), Expert Systems in Economics, Banking and Management, North-Holland, Amsterdam, 177–186.
Bratko, I., 1986, Prolog Programming for Artificial Intelligence, Addison-Wesley, London, Reading.
Bose, P.K, Biswas, G. and Padala, A.M., 1989, Globe-Trotter, An Intelligent Flight Itinerary Planner, IEEE Expert, Summer 1989, 56–64.
Chang, C.L., 1983, An Experience of Building an Expert System with PROLOG, RJ 3925 (44525), IBM Research Laboratory, San Jose, California.
Freitag, B. and Biernath, O., 1988, An Airtravel Expert Database, in Proceedings of the Third International Conference on Data and Knowledge Bases (Morgan Kaufmann), Jerusalem, Israel, 28–30 June 1988, 32–46.
Gianneseni, F., Kanoui, H., Pasero, R., and Van Caneghem, M., 1986, Prolog, Addison-Wesley, London, Reading.
Kerschberg, L. (ed.), 1986, Expert Database Systems, Proceedings From the First International Workshop, The Benjamin/Cummings Publishing Company.
Kowalski, R.A., 1974, Predicate Logic as a Programming Language, in Information Processing 74, North-Holland, Amsterdam, 569–574.
Lloyd, J.W., 1983, An Introduction to Deductive Database Systems, The Australian Computer Journal, 15, 2, 52–57.
Lloyd, J.W., 1987, Foundations of Logic Programming, Second Edition, Springer-Verlag, New York, Heidelberg, Berlin.
Moss, C.D.S., 1987, Intelligent Databases, Byte, January 1987, 97–106.
Reiter, R., 1986, Foundations for Knowledge-Based Systems, in Information Processing 86, North-Holland, Amsterdam, 663–668.
Robinson, J.A., 1986, The Future of Logic Programming, in Information Processing 86, North-Holland, Amsterdam, 219–224.
Van der Gaag, L.C., 1986, PROLOG: An Expert System Building Tool, Report CS-8616, Center for Mathematics and Computer Science, Amsterdam.
Warren, D.H.D. and Pereira, F.C.N., 1981, An Efficient Easily Adaptable System for Interpreting Natural Language Queries, Research Paper No. 155, DAI, Edinburgh University.
Yan, S.Y., 1988, A Prototype Expert Database System, in Expert Systems and Advanced Data Processing, North-Holland, Amsterdam, 140–152.
Yan, S.Y. and Zeleznikow, J., 1990, Query Evaluation and Goal Optimisation in Logic-based Expert Travel System L-CATA, to appear in Systems Research and Information Science, Gordon and Breach Science Publishers.
Zaniolo, C., 1988, Design and Implementation of a Logic Based Language for Data Intensive Applications, in: Proceedings of 5th International Conference on Logic Programming, MIT Press, Cambridge, 1666–1688.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yan, S.Y., Zeleznikow, J. L-CATA: A logic-based expert travel system. Computer Science in Economics and Management 4, 151–163 (1991). https://doi.org/10.1007/BF00437232
Issue Date:
DOI: https://doi.org/10.1007/BF00437232