We present a dynamic description logic D-ALCO@ for representing knowledge about dynamic application domains. D-ALCO@ is a combination of a typical action theory and the description logic ALCO@, in such a way that actions are treated as citizens of the logic. Actions of D-ALCO@ are explicitly specified with the help of formulas, and are then used in the construction of concepts and formulas. Bas...

Colorectal cancer remains a significant public health concern despite the fact that effective screening procedures exist and that the disease is treatable when detected at early stages. Numerous risk factors for colon cancer have been identified, but none are very predictive alone. We sought to determine whether there are certain combinations of risk factors that distinguish well between cases ...

Abstract Regression test selection (RTS) approaches reduce the cost of regression testing evolving software systems. Existing RTS based on UML models use behavioral diagrams or a combination structural and diagrams. However, in practice, are incomplete not used. In previous work, we proposed fuzzy logic approach called FLiRTS that uses sequence activity this introduce 2, which drops need for re...

Recent work on loglinear models in probabilistic constraint logic programming is applied to firstorder probabilistic reasoning. Probabilities are defined directly on the proofs of atomic formulae, and by marginalisation on the atomic formulae themselves. We use Stochastic Logic Programs (SLPs) composed of labelled and unlabelled definite clauses to define the proof probabilities. We have a cons...

The tool wear is an unavoidable phenomenon when using coated carbide tools during hard turning of hardened steels. This   work focuses on the prediction of tool wear using regression analysis and artificial neural network (ANN).The work piece taken into consideration is AISI4140 steel hardened to 47 HRC. The models are developed from the results of experiments, which are carried out based on De...

In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...

in this research, pomegranate arils are dehydrated by osmotic dehydration in 40, 50, and 60 % sucrose ‎solutions and at 45, 55 and 65 degrees c‎‏ ‏‎ and weight reduction, solids grain and water loss of the products ‎were measured at 60, 120 and 180 minutes of process. osmotic dehydration processes was modeled by ‎combination of neural network and fuzzy logic techniques (neuro-fuzzy) and respons...

The goal of this paper is to extend the general solution to the ramification problem for the situation calculus to the case where causal rules specifying indirect effects of actions may form cycles or cycles through negation. We formulate causal dependencies as rules of inductive definitions. Then we give a semantics to a logic for representing inductive definitions (ID-logic) by translating de...