Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Reference model for implementing an MRP system in a highly diverse component and seasonal lean production environment

Companies are currently choosing to integrate logics and systems to achieve better solutions. These combinations also include companies striving to join the logic of material requirement planning (MRP) system with the systems of lean production. The purpose of this article was to design an MRP as part of the implementation of an enterprise resource planning (ERP) in a company that produces agricultural implements, which has used the lean production system since 1998. This proposal is based on the innovation theory, theory networks, lean production systems, ERP systems and the hybrid production systems, which use both components and MRP systems, as concepts of lean production systems. The analytical approach of innovation networks enables verification of the links and relationships among the companies and departments of the same corporation. The analysis begins with the MRP implementation project carried out in a Brazilian metallurgical company and follows through the operationalisation of the MRP project, until its production stabilisation. The main point is that the MRP system should help the company's operations with regard to its effective agility to respond in time to demand fluctuations, facilitating the creation process and controlling the branch offices in other countries that use components produced in the matrix, hence ensuring more accurate estimates of stockpiles. Consequently, it presents the enterprise knowledge development organisational modelling methodology in order to represent further models (goals, actors and resources, business rules, business process and concepts) that should be included in this MRP implementation process for the new configuration of the production system.

Pavimentando Roraima: a BR-174 como exemplo das lógicas neoliberais de transnacionalização do território na Amazônia Ocidental

Este artigo discute a pavimentação da BR-174 na metade da década de 1990 e as suas consequências socioespaciais no estado de Roraima. O caso é apresentado como um exemplo da transformação das intervenções territoriais na Amazônia no contexto da neoliberalização do Estado e da produção de um espaço econômico transnacional. Os investimentos federais para o desenvolvimento rodoviário e infraestruturas auxiliares trouxeram conectividade sem precedentes para o estado de Roraima, além de gerar crescimento econômico. Todavia, o artigo argumenta que, além dos novos discursos de desenvolvimento regional sustentável, as lógicas dominantes dos projetos, tais como o melhoramento da BR-174, são as de um neoliberalismo em expansão transnacional, no qual o Estado empreendedor torna-se um parceiro para o estabelecimento de mercados externos mais do que o principal agente da integração do território nacional. Assim, no desenho da BR-174, Roraima aparece, principalmente, como um espaço estratégico de conexão transfronteiriça que liga a Amazônia brasileira aos portos do Caribe. Entretanto, passada mais de uma década desde a conclusão do projeto, a concentração territorial tem se aprofundado ao passo que emergem novas desigualdades socioespaciais intimamente atreladas às funções e fluxos que a integração rodoviária criou.

Link prediction using a probabilistic description logic

Due to the growing interest in social networks, link prediction has received significant attention. Link prediction is mostly based on graph-based features, with some recent approaches focusing on domain semantics. We propose algorithms for link prediction that use a probabilistic ontology to enhance the analysis of the domain and the unavoidable uncertainty in the task (the ontology is specified in the probabilistic description logic crALC). The scalability of the approach is investigated, through a combination of semantic assumptions and graph-based features. We evaluate empirically our proposal, and compare it with standard solutions in the literature.