Advanced search
Start date

Belief base merging and applications to ontologies

Grant number: 16/13354-3
Support Opportunities:Research Grants - Visiting Researcher Grant - International
Duration: February 01, 2017 - August 31, 2017
Field of knowledge:Physical Sciences and Mathematics - Computer Science
Principal Investigator:Renata Wassermann
Grantee:Renata Wassermann
Visiting researcher: Eduardo Leopoldo Ferme
Visiting researcher institution: Universidade da Madeira (UMa), Portugal
Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil


We are often faced with different experts of an area whose opinions may differ on a particular subject (a common example is medical consultation). These differences have to be "resolved" in order to reach a consensus and act. This consensus may require each participant to modify some of their opinions/beliefs. In the 80s, the AGM model of belief revision offered a conceptual framework for the dynamics of beliefs of a rational agent, in order to maintain his knowledge base consistent while incorporating new knowledge/beliefs and discarding others. This model gave rise to an area of research that already counts 30 years of development. One of the proposals at the beginning of this century, called "merging", was to extend the AGM model for a set of consensus among multiple agents. However both models make important idealizations, such as representing belief states by sets that include all its logical consequences. Although these models work well in theory, they must be strongly adapted to make their implementation possible. One of the possible adaptations is the study of applying the AGM model agents without the ability to believe (explicitly) the consequences of their knowledge. This area is known as "belief base change". We propose to work on developing a model of belief merging for finite agents, i.e., lacking the consequences of their knowledge. This research has a strong theoretical component to define models and a practical component to assess their behavior in real cases. We propose as an application the "merging" of ontologies, allowing a user to execute a query with different ontologies in order to obtain consistent and coherent information, even if the reference sources are jointly inconsistent. (AU)

Articles published in Agência FAPESP Newsletter about the research grant:
Articles published in other media outlets (0 total):
More itemsLess items

Scientific publications
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
FERME, EDUARDO; WASSERMANN, RENATA; IEEE. Iterated Belief Change The Case of Expansion into Inconsistency. 2017 6TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), v. N/A, p. 6-pg., . (16/13354-3)
GARAPA, MARCO; FERME, EDUARDO; REIS, MAURICIO D. L.. Shielded base contraction. ARTIFICIAL INTELLIGENCE, v. 259, p. 186-216, . (16/13354-3)

Please report errors in scientific publications list using this form.