Intro to Prolog for AI Thinking as Computation - Online Workshop

Introduction to Prolog (Programming in Logic) for Artificial Intelligence Thinking as Computation

Instructor: Dr Eric Fung, Head of Research Division, The Hong Kong Academy for Gifted Education

Flyer @ [https://personal.utdallas.edu/~jeyv/prolog.pdf](https://personal.utdallas.edu/~jeyv/prolog.pdf)
Register ASAP @ https://utd.link/prolog-hk

Introduction to Prolog (Programming in Logic) for Artificial Intelligence Thinking as Computation workshop
Prolog is a widely used programming language in artificial intelligence (AI). As opposed to imperative languages (C or Python), it is a declarative language. When implementing the solution to a problem in Prolog , we simply specify what the situation (rules and facts) and the goal (query) are. Then, we let the Prolog interpreter automatically derive the solution. In this course, you will learn how to use is a widely used programming language in artificial intelligence (AI). As opposed to imperative languages (C or Python), it is a declarative language. When implementing the solution to a problem in Prolog Prolog to solve some practical problems in computer science. Its use in some AI problems will be illustrated. Besides, the logical foundations of Prolog will be briefly introduced.
Intended Learning Outcomes
Upon completion of the programme, participants should be able to:
1. Describe the basics of Prolog, including list processing and arithmetic expressions.
2. Explain backtracking and negation in Prolog.
3. Outline logic foundations of Prolog.
4. Recognise the use of Prolog in (simple) planning problems and constraints handling.
5. Discuss whether AI could be a threat to human dignity.
Presenter: Dr Eric FUNG Head of Research Division, The Hong Kong Academy for Gifted Education
Flyer: https://personal.utdallas.edu/~jeyv/prolog.pdf
This online workshop will have 6 sessions: May 21 - June 25 (Saturdays)
6-8pm (Hong Kong) / 3:30-5:30pm (India) / 11am-1pm (London) / 6-8am (US Eastern time) / 5-7am (US central time)
UT Dallas is assisting the workshop organizers with the registration logistics. We have no other details & we have no power to change the timing or contents. First 275 registrations will be accepted and the zoom link will be provided when it becomes available.