Artificial Intelligence|Computer Science|Interdisciplinary Studies|Interdisciplinary Thinking

Intelligent Systems|Machine reasoning|First Order Logic|Knowledge Representation|Intelligent Age

This BASc module covers the basic principles of machine reasoning, exploring the foundations of the rapidly developing field of artificial intelligence, and...

Machine Reasoning and Expert Systems (BASC0047)

This BASc module covers the basic principles of machine reasoning, exploring the foundations of the rapidly developing field of artificial intelligence, and outlining the mathematical techniques used in both knowledge representation and future artificial intelligence modules.

The first part of the module will introduce the mathematical and logical theories used in the development of machine reasoning and knowledge representation. The students will learn the notions of agent-based systems (e.g., intelligent agents, problem-solving agents, knowledge-based agents), the syntax, semantics, and use of first-order logic in knowledge representation and inference systems. A modal logic for AI will be briefly presented as an overview on more advanced topics in knowledge representation.

The second part of the module will focus on learning and reasoning under uncertainty by using probabilistic techniques (e.g., Naïve Bayes models and Bayesian networks, introductory hidden Markov models) as an introduction to expert systems and machine learning.

Once equipped with the main technical and theoretical tools, the students will be presented with a selection of different applications of machine reasoning, e.g., natural language processing, machine vision, and robotics, to create a point of contact with real-world examples and future, more advanced AI modules.

This module is structured so that the first term introduces you to theoretical concepts through lectures and initial design projects. During this period, you...

Urban Design Thesis Initial Projects (BARC0082)

This module is structured so that the first term introduces you to theoretical concepts through lectures and initial design projects. During this period, you confirm the subject of your thesis project and report and then work in specialist teaching groups, known as Research Clusters. There is continuous discussion of work via tutorials and reviews. The subject of the thesis is negotiated between the student and their cluster tutor.