Pada Perusahaan Daerah Air Minum Kota Salatiga sudah menerapkan dan menggunakan teknologi informasi dalam menjalankan sebuah proses bisnis untuk mencapai tujuan perusahaan, penggunaan infomasi dapat menambah nilai efektifitas efisiensi organisasi, namun disisi lain juga mempunyai risiko yang menyebabkan kerugian pada perusahaan tidak tercapainya Maka dari itu diperlukan penilaian terhadap penge...

The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help ofMonatagueScott (MS) semantics of modal logic. In KA questions ask...