Princess Nora Bint Abdulrahman University NET201- Principles of Information & Technology Systems Faculty of Computer and Information Sciences Second Semester 1437/1438 HDepartment of Information Technology Tutorial 6 – Artificial Intelligence

& Software Engineering

Q1):Using the symbols Has, Loves, Dog, and Cat for the predicates “has”, “loves”, ”is a dog”, and “is a cat” respectively, write the following sentences in predicate logic:

a. John has a cat. b.John loves all cats.c. Anne loves some dogs.d.Not everything John loves is a cat.e. If John loves a cat, Anne loves it.

f. John loves a cat if and only if Anne loves it.

Q 2 ): write the following sentences in predicate logic:

1. There exists a MATH 218 student who has tried out for American Idol.

2. There exists a real number whose square is not positive.

3. Every person in New Britain has seen a movie starring William Shatner.

Princess Nora Bint Abdulrahman University NET201- Principles of Information & Technology Systems Faculty of Computer and Information Sciences Second Semester 1437/1438 HDepartment of Information Technology Tutorial 6 – Artificial Intelligence

& Software Engineering

Q2): Draw the (DFD) for the following the banking system as follows:

First, a customer has to open an account through the bank manager. The bank manager will store the customer information in the customers database all along with the customer account details which will be stored in the Accounts database.

Afterwards, the customer can make several banking transactions such as withdrawal, deposit and money transference.

The customer can receive a money amount from the withdrawal process and can supply a money amount to the deposit process. In both transactions, the account database has to be updated.

Additionally, a customer can transfer a money amount to any other bank by providing the account destination and money amount.

The customer can make these transactions online too via the online banking login by using login credentials such as a user name and password.

Just like the customer, a third party can make a deposit by supplying a money amount.

Princess Nora Bint Abdulrahman University NET201- Principles of Information & Technology Systems Faculty of Computer and Information Sciences Second Semester 1437/1438 HDepartment of Information Technology Tutorial 6 – Artificial Intelligence

& Software Engineering

Q2): Draw the (use case) for a banking ATM system as follows:

An automated teller machine (ATM) is a banking subsystem that provides

bank customers with access to financial transactions in a public space without the need

for a cashier, clerk or bank teller.

Customer uses bank ATM to check balances of his/her bank accounts, deposit

funds, withdraw cash and/or transfer funds.

ATM Technician provides maintenance and repairs. All these use cases also

involve Bank actor whether it is related to customer transactions or to the ATM servicing.