Las ciencias sociales en su versión clásica –adoptando como modelo a las ciencias naturales- se centraron en el estudio de los hechos empíricos con la pretensión de arribar a un conocimiento objetivo de la realidad. Desde este enfoque la ciencia…

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…

Fish disease diagnosis is a complicated process and requires high level of expertise, an expert system for fish disease diagnosis is considered as an effective tool to help fish farmers. However, many farmers have no computers and are not able…

The Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…

En el presente trabajo se presenta una propuesta de modelo de un Sistema Autónomo Inteligente (AIS) a través de una ontología sobre la base de la arquitectura LOPE-LC (Learning by Observation in Planning Environments, Life Cycle) con la incorporación de…

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…

El presente artículo trata la aplicación de un sistema experto capaz de determinar la factibilidad de funcionamiento de una máquina térmica desde el punto de vista termodinámico, mediante el análisis del diseño de un ciclo de potencia, el ciclo Joule…

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…

Categories for evaluation of educative software by different authors are analyzed. For STI theoretical basis are: learn by doing, construction of knowledge, mental conflict, zone of proximal development, learning by discovery, conceptual change, and learning for the understanding and the…

In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…