In the area of inductive learning, generalization is a main operation, and the usual deenition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation-subsumption instead of implication. The main reason is that ...

In 1992, the U.S. Federal Energy Regulatory Commission created a secondary market for natural gas transportation whereby shippers holding firm transportation capacity on interstate natural gas pipelines can compete with the pipeline in the provision of transportation services. However, if a shipper does not use some of its contracted firm transportation capacity, the pipeline can resell that ca...

In the area of inductive learning, generalization is a main operation, and the usual deenition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation-subsumption instead of implication. The main reason is that ...

This paper deals with the problem of searching basic properties for robust implication operators in fuzzy control. We use the word “robust” in the sense of good average behavior in different applications and in combination with different defuzzification methods. We study the behavior of the two main families of implication operators in the fuzzy control inference process. These two families are...

Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization operators used are mainly based on three generality orderings subsumption, implication and implication relative to background knowledge. Implication is stronger than subsumption, but relative implication is more powerful b...

Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication , and quasi-implication algebras are analysed and put in perspective to each other and our results.

Given an implication function I defined on the finite chain L = {0, ..., n}, a method for extending I to the set of discrete fuzzy numbers whose support is a set of consecutive natural numbers contained in L (denoted by A1 ) is given. The resulting extension is in fact a fuzzy implication on A1 preserving some boundary properties. Moreover, if the initial implication I is an S, QL or D-implicat...

In this paper, we introduce the notionofWajsberg implicative ideal(WI-ideal)of lattice Wajsberg algebra.Further, we definelattice H-Wajsberg algebra, implication homomorphismand lattice implication homomorphism oflattice Wajsberg algebra. Finally, we give kernel of implication homomorphism and obtain some oftheir properties.

applications of thermoplastic composites have developed extensively. the thermoplastic composites in comparison with the thermoset composites have many advantages. thermoplastic composites can be melted and remolded many times. the duration of manufacturing process of these composites is short, producing very tough material, and the welding ability and multiple recyclings are their further adva...