- Visiting University of Utrecht Jan.07 - Jan.29.
- Visiting IRIT Toulouse (postponed in months)
- Assistant of DM2
- ESSLLI 2010 Aug.
- EASSS 2010 Aug.
- COMMA 2010 Sep.
Reasoning and Formal Argumentation in Trust Management
Background
The University of Luxembourg is currently setting up a research project
(Advanced Argumentation Techniques for Trust Management,
AASTM) to apply
the approach of formal argumentation to the issue of trust management.
Reasoning about trust is a process that often involves the application
of rules of thumb, general guidelines or argument and counterargument.
During recent years, the field of formal argumentation has produced a
range of formalisms, as well as software implementations, to deal with
issues such as nonmonotonic reasoning, decision making and agent
communication.
Research Questions
- What is the trust problem?
- How to investigate practical techniques
to mechanise argumentation in the formal model for trust management?
- How to evaluate the model and techniques through a small-scale experimental
prototype in the domain of trust management?
- How to design and implement a set of software components which can be used
in trust management?
Scope
The work focuses on knowledge-based services for the Information Society
and is based on semantically rich logic formalisms called Argumentation Systems
Methodology
- Define different forms of falsehood by means of argumentation.
- Deduce from the trustworthiness of the source.
- Standard software engineering methodology.