One of the main reasons of using a rule-based approach to program control systems is that they can be formally verified. For such systems communication with the environment is often encoded within the knowledge base. Such inclusion may lead to issues with portability, extendibility, maintainability, and interoperability. The paper proposes a four layer architecture to solve these issues. A proo...

This research demonstrates the application of association rule mining to spatiotemporal data. Association rule mining seeks to discover associations among transactions encoded in a database. An association rule takes the form A ? B where A (the antecedent) and B (the consequent) are sets of predicates. A spatiotemporal association rule occurs when there is a spatio-temporal relationship in the ...

The "14-day rule" for embryo research stipulates that experiments with intact human embryos must not allow them to develop beyond 14 days or the appearance of the primitive streak. However, recent experiments showing that suitably cultured human pluripotent stem cells can self-organize and recapitulate embryonic features have highlighted difficulties with the 14-day rule and led to calls for it...

Currently, there is no generally adopted standard for a Semantic Web rule language, but there are several important evolving proposals such as RuleML, Semantic Web Rule Language (SWRL), and REWERSE Rule Markup Language (R2ML). Having that in mind, one may expect that various systems (e.g. Web services) will use different rule languages, and thus introduce problems in sharing rules. In this pape...

One of the main issues in addressing three-dimensional packing problems is finding an efficient and accurate definition of the points where to place the items inside the bins. The performance of exact and heuristic methods is actually strongly influenced by the choice of a placement rule. We introduce the Extreme Point concept and present a new Extreme Point-based rule for packing items inside ...

Association rule mining finds interesting associations and/or correlation relationships among large set of data items. However, when the number of association rules become large, it becomes less interesting to the user. It is crucial to help the decision-maker with an efficient postprocessing step in order to select interesting association rules throughout huge volumes of discovered rules. This...

Rule-extraction from trained neural networks has previously been used to generate propositional rule-sets. While this is suucient for many applications where large rule sets can be eeectively used, it is clearly desirable to provide a more general explanation capability. In this paper we describe an approach to representing a network as a PROLOG logic program, where the activation values of hid...

Rules provide the functionality for constraint enforcement and view maintenance. A provably correct implementation of both issues based on rules, requires connuent and terminating behaviour of the rule set. However, little work has been done so far on the static detection of these properties. In this paper, a design theory for rule sets in an OODBMS is developed. This paper introduces two predi...

Association Rule Mining (ARM) has been the area of interest for many researchers for a long time and continues to be the same. It is one of the important tasks of data mining. It aims at discovering relationships among various items in the database. The objective of this paper is to present a review on the basic concepts of ARM technique along with the recent related work that has been done in ...