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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
