Abstract: Requirements modeling and analysis are important in successful information systems' maintenance. Unified Modeling Language (UML) class diagrams are useful standards for modeling information systems. To our best knowledge, there is a lack of a systems development methodology described by the organism metaphor. The core concept of this metaphor is adaptation. Using the knowledge representation and reasoning approach and ontologies to adopt new requirements are emergent in recent years. This paper proposes an organic methodology which is based on constructivism theory. This methodology is a knowledge representation and reasoning approach to analyze new requirements in the class diagrams maintenance. The process and rules in the proposed methodology automatically analyze inconsistencies in the class diagram. In the big data era, developing an automatic tool based on the proposed methodology to analyze large amounts of class diagram data is an important research topic in the future.
Abstract: Some plants of genus Schinus have been used in the
folk medicine as topical antiseptic, digestive, purgative, diuretic,
analgesic or antidepressant, and also for respiratory and urinary
infections. Chemical composition of essential oils of S. molle and S.
terebinthifolius had been evaluated and presented high variability
according with the part of the plant studied and with the geographic
and climatic regions. The pharmacological properties, namely
antimicrobial, anti-tumoural and anti-inflammatory activities are
conditioned by chemical composition of essential oils. Taking into
account the difficulty to infer the pharmacological properties of
Schinus essential oils without hard experimental approach, this work
will focus on the development of a decision support system, in terms
of its knowledge representation and reasoning procedures, under a
formal framework based on Logic Programming, complemented with
an approach to computing centered on Artificial Neural Networks
and the respective Degree-of-Confidence that one has on such an
occurrence.
Abstract: Representing objects in a dynamic domain is essential
in commonsense reasoning under some circumstances. Classical logics
and their nonmonotonic consequences, however, are usually not
able to deal with reasoning with dynamic domains due to the fact that
every constant in the logical language denotes some existing object
in the static domain. In this paper, we explore a logical formalization
which allows us to represent nonexisting objects in commonsense
reasoning. A formal system named N-theory is proposed for this
purpose and its possible application in computer security is briefly
discussed.
Abstract: The Integrated Performance Modelling Environment
(IPME) is a powerful simulation engine for task simulation and
performance analysis. However, it has no high level cognition such
as memory and reasoning for complex simulation. This article
introduces a knowledge representation and reasoning scheme that can
accommodate uncertainty in simulations of military personnel with
IPME. This approach demonstrates how advanced reasoning models
that support similarity-based associative process, rule-based abstract
process, multiple reasoning methods and real-time interaction can be
integrated with conventional task network modelling to provide
greater functionality and flexibility when modelling operator
performance.