Tolong jelaskan mengenai Knowledge Acquisition in automated specification

KAOS adalah pendekatan goal-oriented requirements engineering dengan serangkaian teknik analisis formal. KAOS adalah singkatan dari Knowledge Acquisition in autOmated Specification, tetapi pada  KAOS adalah singkatan dari Keep All Objects Satisfied. KAOS berasal dari kerja sama antara University of Oregon dan University of Louvain (Belgia) pada tahun 1990. Penelitian, ekstensi dan perbaikan masih dilakukan untuk metodologi ini secara teratur di University of Louvain. KAOS digerakkan oleh tujuan (goal). Setelah mengidentifikasi beberapa tujuan awal untuk calon sistem, kerangka kerja KAOS memfasilitasi identifikasi tujuan lebih lanjut, dan syarat, objek, agen, dan tindakan sistem. Konsep ini digambarkan sebagai kerangka multi-paradigma yang memungkinkan untuk menggabungkan berbagai tingkat ekspresi dan penalaran: semi-formal untuk pemodelan dan penataan tujuan, kualitatif untuk pemilihan di antara alternatif, dan formal, jika diperlukan, untuk penalaran yang lebih akurat. Dengan demikian, bahasa KAOS menggabungkan jaringan semantik  untuk pemodelan konseptual tujuan, asumsi, agen, objek, dan operasi dalam sistem, dan logika waktu linear temporal untuk spesifikasi tujuan dan objek, serta spesifikasi dasar keadaan untuk operasi. Secara umum, setiap konstruk dalam bahasa KAOS memiliki struktur dua tingkat: lapisan semantik grafis luar di mana konsep terkait dengan atribut dan hubungan, dan lapisan formal bagian dalam untuk secara formal mendefinisikan konsep. Secara keseluruhan, KAOS adalah metodologi yang dikembangkan dengan baik untuk analisis kebutuhan berorientasi tujuan yang dilengkapi dengan kerangka kerja formal yang solid. Selama perbaikan tujuan, operasionalisasi tujuan, analisis hambatan dan mitigasi, KAOS sangat bergantung pada pola-pola perbaikan formal yang terbukti sekali dan untuk semua. Oleh karena itu, pada setiap pola aplikasi, pengguna mendapat contoh bukti dari kebenaran penyempurnaan secara gratis.