By Topic

Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on

Date 29-31 May 1989

Filter Results

Displaying Results 1 - 25 of 69
  • Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic (Cat. No.89CH2751-6)

    Publication Year: 1989
    Request permission for commercial reuse | PDF file iconPDF (74 KB)
    Freely Available from IEEE
  • The probabilistic foundations of logic

    Publication Year: 1989
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (30 KB)

    Summary form only given, as follows. A conditional version of the Komolgoroff axioms for probability theory is developed, and it is shown that the resulting theory can serve as a formal semantics for any logic in which the notion of maximally consistent set is definable, provided the probability functions are defined over the power set of the maximally consistent sets. It is shown that the functio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design of the high speed A/D converter by using multi-valued logic

    Publication Year: 1989, Page(s):188 - 194
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (216 KB)

    A design is presented for an A/D (analog/digital) converter with high conversion rate and conversion accuracy using ternary theory and ternary CMOS circuits. The conversion rate is much higher than for the traditional A/D converter that uses binary logic. The ternary A/D converter described can be used in a ternary computer View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new method for approximate reasoning

    Publication Year: 1989, Page(s):179 - 185
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (448 KB)

    A method based on the revision principle for approximate reasoning in fuzzy-valued logic and fuzzy-linguistic-valued logic is introduced. Two kinds of fuzzy truth as well as the two types of fuzzy linguistic truth, which are constructed by the combination of the former, are distinguished. The revision principle for approximate reasoning in fuzzy-valued logic is introduced. The method is extended t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling valued preference relations

    Publication Year: 1989, Page(s):82 - 86
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (212 KB)

    A theory of valued weak preference relations is described. The transitivity property of a strict preference relation and an indifference relation associated with a weak preference relation are established. The model presented is based on Lukasiewicz-like multiple-valued logic; it uses triangular norms with zero divisors. A similar approach works in the case of t-norms without zero divisor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Foundations of fuzzy logic programming and debugging

    Publication Year: 1989, Page(s):172 - 178
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    A theoretical foundation is provided for programming in fuzzy Horn logic and declarative debugging in fuzzy Horn logic programming. Particular emphasis is placed on the study of the soundness and completeness for both View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware implementations of inference mechanisms in expert systems using continuous logic

    Publication Year: 1989, Page(s):210 - 215
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB)

    The authors discuss hardware implementation of inference mechanisms in expert systems. Logic circuits performing certain forward chaining and approximate reasoning realized by using DYL, a multicell-type continuous logic, circuits are presented. The inference speed can be greatly improved using such inference engines, making real-time applications of expert systems possible. A successful applicati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Gentzen system of medium logic

    Publication Year: 1989, Page(s):75 - 81
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB)

    The author constructs the Gentzen system of medium logic. It is proved that this system is equivalent to MF. The cut-elimination theorem and the consistency of this system are proved, as are its soundness and completeness View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lattice-valued logic and lattice-valued information theory

    Publication Year: 1989, Page(s):235 - 240
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB)

    Lattice-valued information theory (LVIT) addresses the information representation of random events and fuzzy events. It is based on lattice-valued set theory and latticed-valued logic and provides a base for the practical application of multiple-valued logic. Lattice-valued information algebra is introduced, and the definitions and theory of lattice-valued information entropy (LVIE) are presented.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VLSI chip-architecture selection using reasoning based on fuzzy logic

    Publication Year: 1989, Page(s):165 - 171
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    A knowledge-based system is presented which carries out a design step in very large-scale integration (VLSI) chip synthesis, namely, VLSI chip-architecture selection. The system decides which VLSI chip-architecture scheme (i.e. a general architectural principle representing a class of chip architectures) best fits a list of architectural properties given as input to the system. However, the input ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An investigation into quaternary CMOS full-adder based on transmission function theory

    Publication Year: 1989, Page(s):58 - 62
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (252 KB)

    The transmission function theory and research on ternary CMOS circuits are extended to quaternary CMOS circuits, whereby the CMOS design of a quaternary full adder is proposed. The circuit has advantages such as simplicity, low dissipation, and low-output impedance. It is shown that the quaternary CMOS full-adder has a simpler circuit construction (123 MOS transistors) although it may process more... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lattice valued pair-lattice valued logic theory and its applications to AI

    Publication Year: 1989, Page(s):146 - 149
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    Lattice-valued pairs and lattice-valued pair statements are defined. Ordered pairs are used to portray the strength of rules, and suitable renewal formulas are given. Lattice-valued pairs and logic theory provide a new tool for imprecise inference View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of mosaics by means of the Chrestenson and Zhang-Hartley transforms

    Publication Year: 1989, Page(s):421 - 427
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (288 KB)

    The idea of mosaics (of patterns) is introduced, and this structure is analyzed in the spectral domain. Also introduced is the concept of self-similarity of patterns, and it is proved that the class of self-similar patterns is closed with respect to spectral transformation. Self-similar patterns can be studied both with the Chrestenson and the Zhang-Hartley transforms. The latter has the advantage... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a highly parallel set logic network based on a bio-device model

    Publication Year: 1989, Page(s):360 - 367
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB)

    A model of molecular switching devices based on enzyme-substrate reactions is proposed for constructing a novel type of logic network called a set logic network. An important role of every enzyme is its specificity, which is used as a multiple-valued discrimination function. the mathematical aspects of the systematic synthesis of the set logic functions are considered. It is demonstrated that the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Switched capacitor circuits in the implementation of multiple-valued logic

    Publication Year: 1989, Page(s):202 - 209
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (672 KB)

    The discretized-analog nature of switched-capacitor (SC) technology has not been associated with multiple-valued logic (MVL) designs in any publication heretofore. The possibility of using SC technology for MVL circuit implementation is investigated, and attendant potential benefits are discussed. The circuit design of a novel SC MVL multiplier is proposed, and the direct realization of general MV... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ternary logic circuit for error detection and error correction

    Publication Year: 1989, Page(s):94 - 99
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB)

    The binary logic system formed by a ternary logic circuit has error-detecting and error-correcting functions. A three-valued polar code and a ternary-logic error-detecting and error-correcting circuit for the data transmission system are presented. This data transmission system has powerful capability for detecting and correcting error, so the reliability of the data transmission improves greatly ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The non-increment of Minkovski distance of propositional connectives in system MP

    Publication Year: 1989, Page(s):70 - 74
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    It is proved that the natural characteristic of system MP is the nonincrease of the Minkovski distance View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Probabilistic approaches to non-monotonic reasoning

    Publication Year: 1989, Page(s):378 - 382
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB)

    It has been found that the ability to handle incomplete information or to perform nonmonotonic reasoning does not exist in some probabilistic reasoning mechanisms such as INFERNO and probabilistic logic. Two relevant issues in this area are examined: why these mechanisms cannot be used to perform nonmonotonic reasoning and how this capability can be implemented in them. It is shown that difficulti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Characterization of (t1/t1/2)/s diagnosability

    Publication Year: 1989, Page(s):107 - 112
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB)

    The authors have previously proposed a three-valued model, which admits the transmission of diagnostic data via a fault-free communication unit in a faulty subsystem, making available more test links than the original. Based on this model, a new diagnosability measure, (t1/t1/2)/s diagnosability, is introduced. A t1/t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Lattice-valued logic, intelligent mathematics and their applications

    Publication Year: 1989, Page(s):384 - 390
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (228 KB)

    The author defines lattice-valued set and lattice-valued reasoning strictly. Lattice-valued relation theory is also established. The author discusses their application to pattern recognition and expert systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • λ=paramodulation in operator logic

    Publication Year: 1989, Page(s):31 - 35
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB)

    A λ-paramodulation to handle fuzzy equality is proposed. In conjunction with λ-resolution, λ-paramodulation can be used to prove fuzzy theorems in operator fuzzy logic. It is proved that λ-paramodulation is complete for the λ-inconsistent set of clauses, using λ-resolution View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A proof of an omitting types theorem in lattice valued model theory

    Publication Year: 1989, Page(s):231 - 234
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    A proof is presented for an omitting types theorem in lattice-valued model theory. The theorem was announced by the author previously (see Proc. 18th Symposium on Multiple-value Logic, Palma de Mallorca (1988)) with proof View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scales in `Zhou Yi' and `Tai Xuan'

    Publication Year: 1989, Page(s):160 - 162
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    `Zhou Yi' and `Tai Xuan' are two classic Chinese books, respectively containing two symbolic systems, Gua and Shou. Gua was judged by G.W. Leibniz to be a binary scale. It is claimed that Shou is a ternary digital symbolic system, and proofs demonstrating this are given View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CMOS quaternary latch

    Publication Year: 1989, Page(s):54 - 57
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB)

    A CMOS current-mode quaternary threshold logic latch circuit is proposed. This circuit accepts and requantizes quaternary logical currents during a setup clock mode and latches the input value during the hold clock mode. Using logical current increments of 10 μA, the quaternary latch has been simulated to have a worst-case, three-logical-level transition, total setup and hold time of about 40 n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Medium algebras

    Publication Year: 1989, Page(s):300 - 304
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    A new type of algebra called medium algebra is introduced. The equational class M of all medium algebras is characterized. The relationships between medium algebras and other algebras are studied View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.