The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…

We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed.

The requirements elicitation phase of software development projects is characterised by the intensity and importance of communication activities. Requirements elicitation is a traditional exploratory phase in which context is analysed and an abstraction is performed as a consequence. However, exploratory…

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…

In this paper, we present an approach to student's evaluation in a well-defined domain based on a semantic network. A similarity matrix based on the semantic memory structure of humans is used to build a semantic distance model in order…

Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. A criterion for deciding between them is needed. The aim of this paper is to investigate an inherent…

The Knowledge Engineering Suite is an ontology production method, based on relationship networks, for knowledge representation inside specific contexts. The production of these ontologies has three basic steps, since catching the client data, knowledge base creation, and information retrieval and…

Defeasible argumentation is one of the approaches that attempt to address the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Nowadays, several of them started shifting their semantics towards a dialectical characterization.…

Inside an organization there is information that can only be generated by people, then, when a decision maker in any time and anywhere of an organization requires this information, he/she has to solicit it to who has the ability of…

It is interesting and important to compare, analyze and assess the alternative tools that could be used in the area of Knowledge Representation. In this paper we present a reasearch line associated to this goal: to formally establish the relation…