11. :Logic and mathematics are formalisations of the way we think ( our apriori knowledge ). 12. Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine. 13. Various authors contributed to the further formalisation of the AgentSpeak ( L ) language, for example. 14. Another change in the 1370s was the formalisation of the process of guarding and maintaining the walls. 15. His 1978 paper on negation as failure was arguably the first formalisation of a non-monotonic logic. 16. Formalisation and annual Highland gatherings began around 1820 when Sir Walter Scott encouraged the revival of Highland Culture.17. The formalisation defines algorithm complexity, problem complexity and reducibility which in turn allows equivalence classes to be defined. 18. De Soto has been a strong advocate for the formalisation of the informal miners that are scattered throughout Peru. 19. In both cases this was just a formalisation of a situation that had already existed for a long time. 20. More recently Kripke's formalisation of possible world semantics in modal logic led to a new approach to essentialism.
