A reasoning platform based on the MI Shapley inconsistency value

International audienceIn this paper we show how to build a reasoning platform us- ing an inconsistency value. The idea is to use an inconsistency value for evaluating how much each formula of the belief base is responsible of the inconsistency of the base. Then this evaluation allows us to obtain a strati cation (total pre-order) of the base, that can be used as the preferential input for di erent reasoning tasks, such as inference, belief revision, or conciliation. We show that the obtained operators are interesting and have good logical properties. We use as inconsistency value, the MI Shapley inconsistency value, that is known to have good properties, and that can be computed from minimal inconsistent subsets. We developed a java-based platform, that use the Sat4j library for computing the minimal inconsistent subsets, and that allows to have an e ective way to compute the MI Shapley inconsistent subsets. We implemented also several inference, revision and conciliation methods, that use this inconsistency value. So this provides a complete reasoning platform, that can be used for instance for academic purposes

Proceedings of the 11th Workshop on Nonmonotonic Reasoning

These are the proceedings of the 11th Nonmonotonic Reasoning Workshop. The aim of this series is to bring together active researchers in the broad area of nonmonotonic reasoning, including belief revision, reasoning about actions, planning, logic programming, argumentation, causality, probabilistic and possibilistic approaches to KR, and other related topics. As part of the program of the 11th workshop, we have assessed the status of the field and discussed issues such as: Significant recent achievements in the theory and automation of NMR; Critical short and long term goals for NMR; Emerging new research directions in NMR; Practical applications of NMR; Significance of NMR to knowledge representation and AI in general

Anaerobic bacteria: an investigation of metabolic important enzymes: a novel type of oxygen reductase and enzymes of the tetrapyrrole biosynthesis

Desulfovibrio desulfuricans was the first species of a sulphatereducing bacterium to be isolated, in 1895. Since that time, many questions were raised in the scientific community regarding the metabolic and ecological aspects of these bacteria. At present, there is still a myriad of open questions remaining to be answered to enlarge our knowledge of the metabolic pathways operative in these bacteria that have implications in the sulfur cycle, in biocorrosion, namely in sewers and in oil and gas systems, and in bioremediation of several toxic metals. The work presented in this dissertation aimed at contributing with new insights of enzymes involved in two different metabolic systems on Desulfovibrio species, namely enzymes that play a role in the response to oxidative stress and that are involved in the haem biosynthetic pathway.(...