The aim of this work is to analyze the knowledge interchange on multi-agent systems using shared knowledge areas. The project involves the analysis and reformulation of some aspects of the Linda model, adding new model level features. This work proposes…

Most of the search engines available over the Web are based on mathematical approaches | classical techniques in the Information Retrieval area. Thereby, they are suitable for the retrieval of documents containing some or all the terms of a query,…

In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also…

Effective document retrieval using domain knowledge and semantics is one of the major challenges in Information Retrieval. Over the last years, there has been a growing interest in ontologies as an artifact for human knowledge representation and a critical component…

A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. As it is well known, the use of prior knowledge can dramatically improve the performance and quality…

There exists a large amount of knowledge representation models. But most of them have significant limitations at the epistemic level. They do not have explanatory power. Most of them do not have means to represent some functional needs to work…

Metrics used on development of expert systems is not a well investigated problem area. This article suggests some metrics to be used to measure the maturity of the conceptualization process and the complexity of the decision process in the problem…

There are many areas in Computer Science where time plays an important role. Artificial Intelligence is one of them. In this particular area Defeasible Logic Programming (DeLP) was developed to cope with incomplete and potentially inconsistent information. This formalism combines…

Complex control tasks may be solved by dividing them into a more specific and more easily handled subtasks hierarchy. Several authors have demonstrated that the incremental layered evolution paradigm allows obtaining controllers capable of solving this type of tasks.
In…

In this work we present an approach to model an action-oriented system controlled by BDI agents using a defeasible argumentation formalism to represent its knowledge. Here, our main concern will be modelling the software agents that drive the physical robots.