PROBLEM REQUIREMENT Students are required to gather and consolidate information about flight system. For example you may include the information on flight details, passengers, airline types (domestic/international) and etc. The detail of each component in the flight system is upon the creativity of the students. Each student is free to determine what information to be included in the flight system and plan how this information is related from one to another. However, the information must be adequate in order to accomplish Task 1 to Task 4 as given in Table 1.

TASK 1: SEMANTIC NETWORK

Scenario Flight Company owns a Flight Service. The Flight Service offers LocalFlight and International Flight that bring Flight passenger to their destination airport either the local airport or the international airport. The flight activity is scheduled by the flight company and this schedule must be followed accordingly. The flight company has aircrafts such as Airbus to serves travellers. The company sells flight ticket to the travellers where the flight ticket contains the desired flight schedule, the seat number that is assigned to the traveller and the flight Id. By check in the flight ticket, the traveller will get the boarding pass. To board the flight, the traveller must bring the boarding pass for inspection. The pilot who works for the flight company will fly the airbus to the destination.

TASK 2 Represent the flight system based on Task 1 in the Propositional Logic

Propositional Logic All Flight Traveller is a person if he has name, Id, Address and Gender Flight Passenger must show boarding pass to board the plane All flight must follow flight schedule All arrival and departure schedule is a flight schedule if it has AirportInfo, Date, Day and Time All aircraft is a transportation if it transports object All airplane is an aircraft if it moves by fly

Every flight passenger is a person that has name, id, address, gender, and weight, can grow, check in Air Ticket, print Boarding Pass and board flight Every person is a living object that has name, Id, Address and gender and can grow and has weight Every living object is an object that can grow

Name(Person,JohnDoe) Id(Person,IdValue) Address(Person,Addr) Gender(Person,Gender

Buy(FlightTraveller, FlightTicket) Bring(FlightTraveller,BoardingPass) Board(FlightTraveller, Flight) Has(AirTravellingDocument,SeatNumber) Has(Document,ReferenceNumber) Request(Flight, BoardingPass)

Owner(Flight, FlightCompany) Number(Flight, FlightId) FlyUsing(Flight, Aircraft) Destiny(Flight,ArrivalAirport) Origin(Flight,DepartureAirport) Arrive(Flight,ArrivalTime) Depart(Flight,DepartureTime) DepartDate(Flight,Date) Request(Flight,BoardingPass) Heading(LocalFlight,Loacl Airport) Heading(InternationalFlight, InternationalAirport)

Display(FlightSchedule, FlightId) Display(FlightSchedule,Date) Display(FlightSchedule,ArrivalTime) Display(FlightSchedule,DepartureTime) Display(FlightSchedule,ReferenceNumber) Display(FlightSchedule,ArrivalAirport) Display(To(FlightSchedule,DepartureAirport)

Type(Aircraft,Model) NumSeat(AirCraft,Seats) Crew(AirCraft,TotCrew) Capacity(Aircraft,Seatingcap)

Task 3 Apply the forward chain algorithm to prove the fact obtained from Task 2

FORWARD CHAINING If Air traveller check in flight ticket within check in time, he can get boarding pass Air traveller check in flight ticket within check in time Then, he get boarding pass AT(x) : Air Traveller check in flight ticket within check in time BP(x): Air Traveller get boarding pass 1. AT(x) ->BP(x) 2. AT(x) 3. BF(x) [1], [2] [MP]

FORWARD CHAINING If Flight Traveller is a person then he has intelligence Flight Traveller is a person Then, he has intelligence AT(x) : Flight Traveller is a person BP(x): Flight Traveller has intelligence 1. AT(x) ->BP(x) 2. AT(x) 3. BF(x) [1], [2] [MP]

FORWARD CHAINING If Flight traveller bring Boarding Pas, he can board the flight Flight Traveller bring boarding pass Then, he can board the flight AT(x) : Flight Traveller bring boarding pass BP(x): Air Traveller can board the flight 1. AT(x) ->BP(x) 2. AT(x) 3. BF(x) [1], [2] [MP]

FORWARD CHAINING If the flight is heading international airport then the flight is an international flight. The flight is heading international airport Then, the flight is an international flight AT(x) : the flight is heading international airport BP(x): the flight is an international flight 1. AT(x) ->BP(x) 2. AT(x) 3. BF(x) [1], [2] [MP]

Task 4 Apply the backward chain algorithm to prove the fact obtained from Task 2

BACKWARD CHAINING Flight Traveller must check in flight ticket If Flight Traveller checks in the flight ticket then he can get the boarding pass If Flight Traveller bring boarding pass then he can board flight 1.P 2.P->Q 3. Q->R P->R 4. ~R [2],[3] MT 5. ~P [3],[4] MT

Flight Traveler board the flight If he board the flight he can reach destination airport