Imperial College London

ProfessorFrancescaToni

Faculty of EngineeringDepartment of Computing

Professor in Computational Logic
 
 
 
//

Contact

 

+44 (0)20 7594 8228f.toni Website

 
 
//

Location

 

430Huxley BuildingSouth Kensington Campus

//

Summary

 

Introduction to Model-Based Artificial Intelligence - CO231

Aims

In this module you will have the opportunity to:

  • apply model-based algorithms to problems in artificial intelligence, such as planning and robotics
  • study the logical foundations of model-based approaches to artificial intelligence
  • explore methods for formalising and solving model-based problems efficiently

Role

Course Leader

Machine Arguing - CO474

Aims

In this module you will have the opportunity to:

  • Work on the active AI research area of Argumentation
  • Gain familiarity with foundational and advanced concepts in Machine Aruging
  • Understand how Machine Arguing exists within the context of several application domains and is at the intersection with knowledge representation and reasoning, multi-agent systems, natural language processing
  • Contribute formalisms, systems and applications for settings where the resolution of conflicts, within and across entities, is key and where explanation of how these conflicts are resolved is essential.

Machine Arguing amounts to

  • the definition and study of argumentation frameworks (i.e. formalisms for modelling conflicts)
  • the definition, study and implementation of (dialectical or gradual) semantics and algorithms  for these argumentation frameworks  (i.e. methods for resolving conflicts)
  • the definition and implementation of methods for mining argumentation frameworks from a variety of sources, including data of various types and logical rules

Role

Course Leader