Isabelle [2] is a theorem prover for a large class of logics. The object-logics are formalized within Isabelle’s meta-logic, which is intuitionistic higher-order logic with implication, universal quantifiers, and equality. The implication φ =⇒ ψ means ‘φ implies ψ’, and expresses logical entailment. The quantification ∧ x.φ means ‘φ is true for all x’, and expresses generality in rules and axio...

Adequate coverage is one of the main problems for distributed wireless sensor networks and The effectiveness of that highly depends on the sensor deployment scheme. Given a finite number of sensors, optimizing the sensor deployment will provide sufficient sensor coverage and save power of sensors for movement to target location to adequate coverage. In this paper, we apply fuzzy logic system to...

Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. Many database completions have been proposed to remedy this problem, but a clear understanding of their properties and differences is still needed. In this paper, a general framework is proposed for studying database co...

Abstract Detecting a community structure on networks is problem of interest in science and many other domains. Communities are special structures which may consist nodes with some common features. The identification overlapping communities can clarify not so apparent features about relationships among the network. A node have membership different degree. Here, we introduce fuzzy based approach ...

We introduce an implication-with-possible-exceptions and define validity of rules-withpossible-exceptions by means of the topological notion of a full subset. Our implication-with-possibleexceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other ...

Non-volatile logic is a promising solution to overcome the leakage power issue in the off-state [1], which has become an important obstacle to scaling of CMOS technology. Magnetic tunnel junction (MTJ)-based logic has a great potential, because of the non-volatility, unlimited endurance, CMOS compatibility, and fast switching speed of the MTJ devices [2]. In our previous work [3], we have shown...

Due to the shortage of rough impHcation in [4] ~ [6], rough set and rough implication operators are redefined by using interval structure in [7], the shortages have been e improved. We have investigated the characteristics of the rough implication, and also point out that the good logic property of the rough implication in [7]. In this paper, we will study the algebraic properties of the rough ...