• 제목/요약/키워드: continuous logic

검색결과 169건 처리시간 0.027초

AXIOMS FOR THE THEORY OF RANDOM VARIABLE STRUCTURES: AN ELEMENTARY APPROACH

  • Song, Shichang
    • 대한수학회지
    • /
    • 제51권3호
    • /
    • pp.527-543
    • /
    • 2014
  • The theory of random variable structures was first studied by Ben Yaacov in [2]. Ben Yaacov's axiomatization of the theory of random variable structures used an early result on the completeness theorem for Lukasiewicz's [0, 1]-valued propositional logic. In this paper, we give an elementary approach to axiomatizing the theory of random variable structures. Only well-known results from probability theory are required here.

Algebraic semantics for some weak Boolean logics

  • Yang, Eun-Suk
    • 논리연구
    • /
    • 제9권2호
    • /
    • pp.1-30
    • /
    • 2006
  • This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

  • PDF

Fuzzy(r,s)-irresolute maps

  • Lee, Seok-Jong;Kim, Jin-Tae
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제7권1호
    • /
    • pp.49-57
    • /
    • 2007
  • Using the idea of degree of openness and degree of nonopenness, Coker and Demirci [5] defined intuitionistic fuzzy topological spaces in Sostak's sense as a generalization of smooth topological spaces and intuitionistic fuzzy topological spaces. M. N. Mukherjee and S. P. Sinha [10] introduced the concept of fuzzy irresolute maps on Chang's fuzzy topological spaces. In this paper, we introduce the concepts of fuzzy (r,s)-irresolute, fuzzy (r,s)-presemiopen, fuzzy almost (r,s)-open, and fuzzy weakly (r,s)-continuous maps on intuitionistic fuzzy topological spaces in Sostak's sense. Using the notions of fuzzy (r,s)-neighborhoods and fuzzy (r,s)-semineighborhoods of a given intuitionistic fuzzy points, characterizations of fuzzy (r,s)-irresolute maps are displayed. The relations among fuzzy (r,s)-irresolute maps, fuzzy (r,s)-continuous maps, fuzzy almost (r,s)-continuous maps, and fuzzy weakly (r,s)-cotinuous maps are discussed.

Mobile Client-Server System for Real-time Continuous Query of Moving Objects

  • Kim, Young-Choon;Joo, Hae-Jong;Kim, Young-Baek;Rhee, Sang-Yong
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제11권2호
    • /
    • pp.95-102
    • /
    • 2011
  • In this paper, a Mobile Continuous Query Processing System (MCQPS) is designed to solve problems related to database hoarding, maintenance of shared data consistency, and optimization of logging. These problems are caused by weak connectivity and disconnection of wireless networks inherent in mobile database systems under mobile client-server environments. We show the superiority of the proposed MCQPS by comparing its performance to the Client-Intercept-Server (C-I-S) model. In addition, several experimental results show the effectiveness of our proposed indexing structure and methodology for real-time continuous queries.

Incorporation of Fuzzy Theory with Heavyweight Ontology and Its Application on Vague Information Retrieval for Decision Making

  • Bukhari, Ahmad C.;Kim, Yong-Gi
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제11권3호
    • /
    • pp.171-177
    • /
    • 2011
  • The decision making process is based on accurate and timely available information. To obtain precise information from the internet is becoming more difficult due to the continuous increase in vagueness and uncertainty from online information resources. This also poses a problem for blind people who desire the full use from online resources available to other users for decision making in their daily life. Ontology is considered as one of the emerging technology of knowledge representation and information sharing today. Fuzzy logic is a very popular technique of artificial intelligence which deals with imprecision and uncertainty. The classical ontology can deal ideally with crisp data but cannot give sufficient support to handle the imprecise data or information. In this paper, we incorporate fuzzy logic with heavyweight ontology to solve the imprecise information extraction problem from heterogeneous misty sources. Fuzzy ontology consists of fuzzy rules, fuzzy classes and their properties with axioms. We use Fuzzy OWL plug-in of Protege to model the fuzzy ontology. A prototype is developed which is based on OWL-2 (Web Ontology Language-2), PAL (Protege Axiom Language), and fuzzy logic in order to examine the effectiveness of the proposed system.

On Fuzzy Irresolute Functions

  • Ekici, Erdal;Park, Jin-Han
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제5권2호
    • /
    • pp.164-168
    • /
    • 2005
  • As a generalization of the notions of fuzzy $\alpha-irresolute$, fuzzy preirresolute, fuzzy irresolute and fuzzy $\beta-irresolute$ functions, we introduce the notion of fuzzy $\beta\alpha-continuous$ functions and investigate the relationships between fuzzy $\beta\alpha-continuous$ functions and fuzzy separation axioms.

Vague Continuous Mappings

  • Lim, Pyung-Ki;Kim, So-Ra;Hur, Kul
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제10권2호
    • /
    • pp.157-164
    • /
    • 2010
  • Up to now, in the area of fuzzy topology, almost all the researchers have investigated fuzzy continuities by using ordinary mappings. However, in this paper, we study continuities by using fuzzy mappings introduced by Demirci [2].

Fuzzy γ-Quasi Open Set and Fuzzy γ-Quasi Continuity

  • Min, Won-Keun
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제10권3호
    • /
    • pp.200-202
    • /
    • 2010
  • In this paper, we introduce the concept of fuzzy ${\gamma}$-quasi open sets which are generalizations of fuzzy ${\gamma}$-open sets, and obtain some basic properties of such fuzzy sets. Also we introduce and study the concepts of fuzzy ${\gamma}$-quasi continuous mapping and fuzzy ${\gamma}$-quasi open(closed) mapping.