Dr Bruno Yun
Telephone
Locations

Dr Bruno Yun
Lecturer
- About
-
Biography
I am Bruno Yun and I am a Lecturer at the University of Aberdeen since December 2019. I am affiliated with the Agents, Reasoning and Knowledge (ARK) group of the Department of Computing Science within the University of Aberdeen. My current research consists in developing formal argumentation frameworks to reason in the presence of inconsistencies and model human-like interactions.
Before joining the University of Aberdeen, I was a research associate for the ReEnTrust project within the School of Informatics at the University of Edinburgh. During this project, I conducted several studies on human perceptions about algorithmic systems and built practical tools and theoretical models for rebuilding user trust on algorithm.
Prior to joining the ReEnTrust project, I was member of the INRIA research team GraphIK at LIRMM and worked at the University of Montpellier where I defended my thesis in Computer Science in July 2019.
Qualifications
- PhD Artificial Intelligence2019 - University of Montpellier
The title of my thesis is "Argumentation Techniques for Existential Rules". It is an original research in the field of Knowledge Representation and Reasoning, one of the main sub-domains in AI.
I was supervised by Madalina Croitoru, Srdjan Vesic and Rallou Thomopoulos. I was also supported by my friend and co-worker, Pierre Bisquert.
During the whole duration of my PhD, I was part of the INRIA GraphIK team at the LIRMM laboratory. I defended my thesis on the 11th of July 2019.
I studied reasoning techniques with argumentation graphs generated from inconsistent knowledge bases expressed in the existential rules language. The three main results are the following. First, we give a structural study of argumentation graphs obtained from knowledge bases expressed in existential rules. Second, we propose and analyse an argumentation framework with sets of attacking arguments for existential rules. Third, we studied argumentation techniques based on ranking-based approaches in both the context of query answering and argumentation reasoning.
- MSc Computing Science2016 - University of Montpellier
I followed a Master program called "MIT" at the University of Montpelier. This program offered courses about Theoretical Computer Science. An non exhaustive list of the topics covered are:
- Graphs and structures
- Advanced computability and complexity
- Constraint reasoning
- Combinatorial optimization
- Knowledge base theory
- BSC Mathematics2014 - University of Montpellier
As a first year undergraduate, I studied Computer Science and Mathematics at the University of French Polynesia. In 2012, I moved to Montpelier and entered a course of study focused on Mathematics as a second year undergraduate. An non exhaustive list of the topics covered are:
- Linear algebra
- Algorithms and structure of linear data
- Advanced imperative programming
- Combinatorial optimization
- Arithmetic
Latest Publications
Inferring Attack Relations for Gradual Semantics
Argument and ComputationContributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2211.16118
Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsSpecial issue on conceptual structures
Annals of Mathematics and Artificial Intelligence, vol. 90, no. 11-12, pp. 1079-1082Contributions to Journals: Letters- [ONLINE] DOI: https://doi.org/10.1007/s10472-022-09819-w
- [ONLINE] View publication in Scopus
Resilience, reliability, and coordination in autonomous multi-agent systems
AI Communications, vol. 35, no. 4, pp. 339-356Contributions to Journals: ArticlesInverse Problems for Gradual Semantics
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] https://www.ijcai.org/proceedings/2022/0377.pdf
- [ONLINE] DOI: https://doi.org/10.24963/ijcai.2022/377
- Research
-
Research Overview
My research interests are around:
- Argumentation Theory
- Knowledge Representation
- Logical Formalisms
- Human Reasoning
Research Areas
Computing Science
Research Specialisms
- Artificial Intelligence
- Knowledge and Information Systems
Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is HESA open data, published under the Creative Commons Attribution 4.0 International licence.
Supervision
Please find below my previous supervisions.
Postgraduate projects:
- Bhaskar Sinha (2020) - Rankings Arguments & Extensions for Sets of Attacking Arguments
- Jinlong Zhu (2020) - A Temporal Argumentation Framework with Sets of Attacking Arguments
- Wei Chen (2021) - Dialogue Protocols for Argumentation Frameworks with Sets of Attacking Arguments
- Al-Hussein Abutaleb (2021) - Chameleon - A Pedagogical AI-Driven Tool for Doctors and Medical Students
Undergraduate projects:
- Andrei Loghin (2021) - A System That Assists Educators On Creating Personalised Assessments
- Steven Clark Simpson (2021) - Investigating the Effect of Adding Additional Costs on the Optimal Solution and Performance of a Wireless Sensor Network Optimisation Model
- Georgi Ventsislavov Velikov - RLereWolf (2021) – Reinforcement Learning Agent Development Framework For The Social Deduction Game Werewolf
PhD students:
I am currently supervising Tayyaba Irfan, Salim Anas, and Hao Wu.
- Teaching
-
Teaching Responsibilities
In addition to the courses above, I also taught the following courses in Montpellier:
- [2018-2019] Object-Oriented Programming at IUT Montpellier-Sète.
- [2017-2018] Introduction to Ergonomics at IUT Montpellier-Sète.
- [2017-2018] Databases at IUT Montpellier-Sète
- [2016-2017] Human Machine Interaction course at IUT Montpellier-Sète.
- [2012-2014] Internship as a teacher apprentice (EAP) at Nevers High School
Non-course Teaching Responsibilities
I am also the Computing Science Engagement Officer.
- Publications
-
Page 1 of 4 Results 1 to 10 of 38
Inferring Attack Relations for Gradual Semantics
Argument and ComputationContributions to Journals: Articles- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2211.16118
Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsSpecial issue on conceptual structures
Annals of Mathematics and Artificial Intelligence, vol. 90, no. 11-12, pp. 1079-1082Contributions to Journals: Letters- [ONLINE] DOI: https://doi.org/10.1007/s10472-022-09819-w
- [ONLINE] View publication in Scopus
Resilience, reliability, and coordination in autonomous multi-agent systems
AI Communications, vol. 35, no. 4, pp. 339-356Contributions to Journals: ArticlesInverse Problems for Gradual Semantics
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] https://www.ijcai.org/proceedings/2022/0377.pdf
- [ONLINE] DOI: https://doi.org/10.24963/ijcai.2022/377
Chameleon - A Framework for Developing Conversational Agents for Medical Training Purposes
Chapters in Books, Reports and Conference Proceedings: Conference ProceedingsGraphical Representation Enhances Human Compliance with Principles for Graded Argumentation Semantics
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings- [ONLINE] DOI: https://doi.org/10.5555/3535850.3535997
Utility Functions for Human/Robot Interaction
Contributions to Conferences: PapersUtility Functions for Human/Robot Interaction
Working Papers: Preprint Papers- [ONLINE] http://arxiv.org/abs/2204.04071v1
- [OPEN ACCESS] https://pure.abdn.ac.uk/ws/files/218952384/2204.04071v1.pdf
Analytical Solutions for the Inverse Problem within Gradual Semantics
Working Papers: Preprint Papers- [ONLINE] DOI: https://doi.org/10.48550/arXiv.2203.01201
- [OPEN ACCESS] http://aura.abdn.ac.uk/bitstream/2164/19104/1/2203.01201v1.pdf
- [ONLINE] http://arxiv.org/abs/2203.01201v1