Argumentation Representation Knowledge group photo

Argumentation and representation of knowledge

Argumentation and the representation of knowledge is an interdisciplinary area of research focusing on (multi-agent) reasoning and decision-making under uncertainty.

The argumentation and knowledge representation research group is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks, such as driving a car or diagnosing a mdeical condition. This group has three main focuses:

Intelligent information systems

Investigates how information can be retrieved from structured but incomplete or heterogeneous data sets, which are growing at an enormous rate.

Foundations of multi-agent systems

Uses methods from computational and philosophical logic to explore multi-agent systems and develop logics in which their behaviour can be specified. We also develop algorithms which check whether a system meets its specification.

Argumentation

Develops formal methods and languages, and explores the complexity of argument-based decision making in a broad range of models. A major application of our argumentation research is in law.

People

Academic staff members of this group are:

PhD Students

Research students active within the group are:

  • Yousef Alfaifi 
  • Hadrien Pulcini
  • Pavi Rajendran
  • Andrew Roxburgh

Back to: Department Of Computer Science