Saya mencoba untuk datang dengan sebuah sistem yang akan mengevaluasi peraturan bagi suatu organisasi untuk menentukan logika yang mendasari mereka. Saya pikir sistem predikat orde pertama akan berfungsi untuk mewakili aturan, yang dapat diterjemahkan dari teks melalui penandaan bagian-of-speech...