Categorical Description of Dynamic Fuzzy Logic Programming Language
نویسندگان
چکیده
First, this paper gives the relative basic theory of dynamic fuzzy logic, and introduces the basic data types of dynamic fuzzy logic. Then we introduce the basic data types of dynamic fuzzy logic and the abstract syntax of dynamic fuzzy logic programming language. At last, this paper gives the categorical description of dynamic fuzzy logic programming language according to categorical theory, and some examples are also given to demonstrate the theory put forward in the paper. The achievement of this paper will lay the foundation for the further development of dynamic fuzzy logic programming language.
منابع مشابه
Categorical Semantics of Reference Data Type
Reference types are very useful structures enabling handling with dynamic memory. In this paper we extend categorical model of type system with reference data type. We illustrate our approach on simple functional programming language T-NBL extended with reference type. After constructing parametric algebraic specification we construct categorical model of reference type and we show how our resu...
متن کاملMixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Programming has been proposed to deal with fuzzy DLs under Łukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal functions, can be explicitly represented in the language. A major th...
متن کاملDesign and PLC Implementation for Speed Control of DC Motor using Fuzzy Logic
In this article, a speed control of DC motor is designed and illustrated using fuzzy logic-based programmable logic controller (PLC). The DC motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. The designed system is consisted of three main parts including programmable logic contr...
متن کاملAn Adjunction-Theoretic Foundation for Proof Search in Intuitionistic First-Order Categorical Logic Programming
In this thesis we compose a proof-theoretic approach to logic programming with a category-theoretic approach to proof theory. This allows us to present the computation mechanisms of several systems of logic programming as proof search strategies within an intuitionistic first-order sequent calculus with logic variables and to analyze aspects of their behavior algebraically. Beginning from the b...
متن کاملTowards Design and Implementation of Concurrent Fuzzy Systems with PCN
In this paper we present the prototyp of a Fuz-zy{Library for the concurrent programming language PCN 3]. PCN (Parallel Composition Language) is based on parallel logic programming(like Strand) and allows an easy formulation of parallel programs which can be executed on a he-terogenous processor network. From our point of view this combination of Fuzzy Logic with paral-lelism ooers at least two...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JSW
دوره 4 شماره
صفحات -
تاریخ انتشار 2009