Predicate calculus and computing
This was just a very brief introduction to the world of predicate calculus. It has many more uses than just solving riddles. It is commonly employed in natural language processing, for instance in online automated assistants. Such assistants are routinely used for customer support by a wide range of companies including banks and retailers. As AI develops and becomes further embedded in our society, so will the predicate calculus continue to evolve.
References
1. Wikipedia https://en.wikipedia.org/wiki/First-order_logic 2. Wikipedia https://en.wikipedia.org/wiki/Prolog 3. Wikipedia https://en.wikipedia.org/wiki/Resolution_(logic) 4. Wikipedia https://en.wikipedia.org/wiki/De_Morgan%27s_laws 5. Wikipedia https://en.wikipedia.org/wiki/Free_variables_and_bound_variables 6. Wikipedia https://en.wikipedia.org/wiki/Skolem_normal_form 7. Wikipedia https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem 8. Dewdney, A., 1989. The New Turing Omnibus. 1st ed. New York: Holt Paperbacks 9. Resolution Strategies cs.rochester.edu/u/schubert/444/lecture-notes/lecture09.pdf
233
Made with FlippingBook - Online catalogs