Knowledge-Engineering Algorithm