TUGAS 3 – LOGIKA INFORMATIKA

Isi dokumen

TUGAS 3 – LOGIKA INFORMATIKA Perhatikan diskusi dan tugas sebelumnya!!! Perusahaan menggunakan sistem HRIS untuk memproses pengajuan cuti karyawan. Pada sesi sebelumnya, aturan cuti telah dimodelkan menggunakan logika predikat. Pada tugas ini, mahasiswa menentukan nilai kebenaran aturan berkuantor berdasarkan domain dan interpretasi yang diberikan. Buatlah laporan analisis logika predikat pada sistem persetujuan cuti karyawan dengan menentukan nilai kebenaran beberapa aturan berkuantor berdasarkan interpretasi/data yang diberikan, kemudian jelaskan apakah aturan sistem HRIS tersebut sudah berjalan konsisten atau masih terdapat pelanggaran logika. Data Interpretasi Domain Isi Karyawan Andi, Budi, Citra Departemen IT, Keuangan Tanggal cuti 10 Juli, 11 Juli Predikat Bernilai True untuk Karyawan(x) Andi, Budi, Citra Memiliki Sisa Cuti(x) Andi, Budi Disetujui Atasan(x) Andi, Citra Probation(x) Budi Disetujui HRD(x) Tidak ada Bekerja Pada(x,d) Andi-IT, Budi-IT, Citra-Keuangan Kuota Penuh(d,t) IT-11 Juli Cuti Diproses(x,t) Andi-10 Juli, Andi-11 Juli Keterangan: selain data yang tertulis bernilai true, dianggap bernilai false. Aturan yang Dianalisis F1 = (for all x)(for all d)(for all t) if (Karyawan(x) and Bekerja Pada(x,d) and Memiliki Sisa Cuti(x) and Disetujui Atasan(x) and not Kuota Penuh(d,t) and (if Probation(x) then Disetujui HRD(x))) then Cuti Diproses(x,t) F2 = (for all x) if Probation(x) then Disetujui HRD(x) Tugas 3 – Logika Informatika
F3 = (for all x)(for all d)(for all t) if (Karyawan(x) and Bekerja Pada(x,d) and Kuota Penuh(d,t)) then not Cuti Diproses(x,t) F4 = (for some x)(for some t) Cuti Diproses(x,t) Bagian yang Harus Dikerjakan

1. Tuliskan objek, variabel, dan predikat yang digunakan.

2. Jelaskan makna aturan F1, F2, F3, dan F4 dalam bahasa dunia kerja.

3. Tentukan nilai kebenaran F1, F2, F3, dan F4 berdasarkan data interpretasi.

4. Tuliskan saksi atau witness untuk aturan eksistensial yang bernilai true.

5. Tuliskan pelanggaran atau counterexample untuk aturan universal yang bernilai false.

6. Susun kesimpulan apakah sistem HRIS sudah konsisten atau masih bermasalah. Contoh Arah Analisis Untuk F2, Budi adalah karyawan probation, tetapi Disetujui HRD(Budi) bernilai false. Maka if Probation(Budi) then Disetujui HRD(Budi) bernilai false, sehingga F2 false. Untuk F3, Andi bekerja pada departemen IT, kuota IT pada 11 Juli penuh, tetapi Cuti Diproses(Andi, 11 Juli) bernilai true. Maka aturan kuota penuh dilanggar, sehingga F3 false. Untuk F4, Cuti Diproses(Andi, 10 Juli) bernilai true. Maka ada minimal satu cuti yang diproses, sehingga F4 true. JAWABAN NO 1 Sistem Human Resource Information System (HRIS) digunakan untuk mengelola pengajuan cuti karyawan berdasarkan beberapa persyaratan, seperti sisa cuti, persetujuan atasan, status probation, persetujuan HRD, serta kuota cuti pada departemen tertentu. Tugas 3 – Logika Informatika

Referensi terkait