发布求助
文献互助 智能选刊 最新文献

[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
JCTL: a Josephson complementary ternary logic circuit JCTL:一个约瑟夫森互补三元逻辑电路
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5156
M. Morisue, K. Ochi, M. Nishizawa
{"title":"JCTL: a Josephson complementary ternary logic circuit","authors":"M. Morisue, K. Ochi, M. Nishizawa","doi":"10.1109/ISMVL.1988.5156","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5156","url":null,"abstract":"A novel complementary ternary logic circuit using Josephson junctions as switching gates is described. The principle of the circuit is based on the tristate of a Josephson junction, that is the state of switching in either positive direction or negative direction, in addition to the state of no switching. The JCTL is constructed of two SQUIDs (superconducting quantum interference devices), one of which is switched in the positive directions and the other in the negative direction. The JCTL can perform the fundamental operations of AND, OR, and NOT in ternary form and can function as a full adder if the voltage-current characteristics of the two SQUIDs are adjusted appropriately. The advantage of the JCTL is its higher speed of operation with higher density than the conventional Josephson binary logic circuit. The principle of operation is described in detail, and simulation results are presented.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"319 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121416642","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Abstract characterization of a four-valued logic 四值逻辑的抽象表征
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5200
J. M. Font, V. Verdú
{"title":"Abstract characterization of a four-valued logic","authors":"J. M. Font, V. Verdú","doi":"10.1109/ISMVL.1988.5200","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5200","url":null,"abstract":"A four-valued logic defined by the four-element De Morgan lattice together with its two prime filters is treated. For certain classes of abstract logics, several characterizations in terms of De Morgan lattices and projective generation of logics by sets of homomorphisms or by a single epimorphism (a biological morphism) are described. A similar treatment is shown for the three-valued logic generated by the three-element chain together with its two prime filters, and for the incorporation of the falsum connective, which brings out the classes of all De Morgan algebras and all Kleene algebras.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130281649","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
A new approach to handling fuzzy decision-making problems 一种处理模糊决策问题的新方法
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/21.23100
Shyi-Ming Chen
{"title":"A new approach to handling fuzzy decision-making problems","authors":"Shyi-Ming Chen","doi":"10.1109/21.23100","DOIUrl":"https://doi.org/10.1109/21.23100","url":null,"abstract":"Techniques for handling fuzzy decision-making problems are presented in which fuzzy production rules and fuzzy set theory are used for knowledge representation. The maximum fuzzy cover generation techniques used are described in detail. Some examples are given to illustrate the maximum fuzzy cover generation process. The examples are restricted to medical diagnostic problems; however, the techniques can be applied to any other decision-making problem.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130814943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 274
On the optimization of rules in knowledge base systems 知识库系统中规则的优化
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5168
C. Janikow, Z. Ras
{"title":"On the optimization of rules in knowledge base systems","authors":"C. Janikow, Z. Ras","doi":"10.1109/ISMVL.1988.5168","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5168","url":null,"abstract":"The problem of inferring rules describing concepts in terms of values of attributes is considered. It is assumed that the rules describing concepts from a set C are already stored in the (initial) knowledge base. However, these rules might contain superfluous attributes and might refer to concepts not necessarily taught before. To take care of this problem, a heuristic procedure is suggested that transforms rules of the initial knowledge base to a set of rules with terms in DNF. Some disjuncts are dropped and some replaced by other terms. However, the main goal of this procedure is to minimize the number of occurrences of values of attributes and the number of concepts in every rule.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126569973","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Integral calculus for multivalued logic algebra 多值逻辑代数的积分
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5172
T. Giuma, A. Katbab, M. Tapia
{"title":"Integral calculus for multivalued logic algebra","authors":"T. Giuma, A. Katbab, M. Tapia","doi":"10.1109/ISMVL.1988.5172","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5172","url":null,"abstract":"The concept of integration for multivalued logic (MVL) algebra is introduced, and techniques for obtaining an MVL function, the desired changes of which are given in terms of changes in its arguments, are developed. Two types of integrals, namely, exact and compatible integrals, are defined. The necessary and sufficient conditions for the existence of compatible integrals for a given differential expression and ways of realizing these integrals are presented here. Integral calculus has application in the design of an MVL digital system.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130147495","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Neural nets as models for study of multivalued logic 神经网络作为多值逻辑研究的模型
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5166
Y. Pao
{"title":"Neural nets as models for study of multivalued logic","authors":"Y. Pao","doi":"10.1109/ISMVL.1988.5166","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5166","url":null,"abstract":"Summary form only given. It is suggested that since one can now implement neural nets which can actually perform certain basic information processing functions, it is of interest to see if one can fashion nets or systems of nets which can reproduce (i.e. mimic) certain trains of actions regularly performed by humans. The particular issue addressed is that of implementing a multivalued logic system in a neural net, concentrating on one such logic system, namely fuzzy set logic. The focus is on how a network might be used to describe a membership function and how a (multivalued) fuzzy logic system might also be accommodated with such a net.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"113 21","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113940630","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An event based fuzzy temporal logic 基于事件的模糊时间逻辑
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5151
Soumitra Dutta
{"title":"An event based fuzzy temporal logic","authors":"Soumitra Dutta","doi":"10.1109/ISMVL.1988.5151","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5151","url":null,"abstract":"A temporal logic is developed to deal with events that are uncertain with regard to their occurrence in a given interval of time. Events are represented as fuzzy sets with the membership function giving the possibility of occurrence of the event in a given interval of time. An axiomatization of the fuzzy event calculus is presented, and several of its properties are proved. The logic is simple but powerful; it can determine effectively the various temporal relations between uncertain events or their combinations.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123039656","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 53
A new approach to connective generation in the framework of expert systems using fuzzy logic 基于模糊逻辑的专家系统框架中关联生成的新方法
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5169
L. Godo, C. Sierra
{"title":"A new approach to connective generation in the framework of expert systems using fuzzy logic","authors":"L. Godo, C. Sierra","doi":"10.1109/ISMVL.1988.5169","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5169","url":null,"abstract":"A technique for modeling uncertainty in expert systems is presented. Operators are defined using linguistic terms to avoid any numerical representation. These operators consider linguistic term set ordering, constraints that are the counterpart of properties fulfilled by triangular norms in fuzzy logic, and additional restrictions created by the expert's procedure to combining certainty. The method avoids the usual problems that arise in other treatments of certainty linguistic terms, where they are represented as fuzzy numbers or fuzzy truth labels. One of the most significant problems is the lack of consensus in the representation of each term by a group of experts, due to the necessity of representing the terms in a pseudonumerical scale.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"283 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116685120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 64
B-ternary logic and evaluation of binary logic programs b -三元逻辑和二元逻辑程序的求值
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5198
Z. Huang, D. Rine
{"title":"B-ternary logic and evaluation of binary logic programs","authors":"Z. Huang, D. Rine","doi":"10.1109/ISMVL.1988.5198","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5198","url":null,"abstract":"A kind of ternary logic function called ternary-extended-from-binary (TEB) logic function is introduced, its relationship to previously studied B-ternary logic is mentioned, and its relationship to the evaluation of binary logic functions is studied. A method of evaluating binary logic functions using TEB-ternary functions is proposed. An advantage of the method is that it is possible to avoid unnecessary searches.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115420191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A fuzzy logic approach to the management of linguistically expressed uncertainty 用模糊逻辑方法处理语言表达的不确定性
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5167
R. Lopez de Mantaras, P. Meseguer, F. Sanz, C. Sierra, A. Verdaguer
{"title":"A fuzzy logic approach to the management of linguistically expressed uncertainty","authors":"R. Lopez de Mantaras, P. Meseguer, F. Sanz, C. Sierra, A. Verdaguer","doi":"10.1109/ISMVL.1988.5167","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5167","url":null,"abstract":"A description is given to the expert system shell called MILORD and, in particular, its management of uncertainty. This shell contains two inference engines, a rule-oriented editor, a rule compiler, and an explanation module. MILORD can be used to perform three different calculi of uncertainty, on an expert-defined set of linguistic labels, depending on three different models of the conjunction, disjunction, and implication operators. The internal representation of each linguistic label is a possibility distribution on the unit interval. The calculus performed on these labels is not closed in general, and, therefore, it is necessary to close it by means of a linguistic approximation process. This, in turn, allows the conjunction, disjunction, and implication operations to be precomputed for all the pairs of linguistic labels, sorting the results in matrices. Thus, when MILORD is run on a knowledge base, the propagation and combination of uncertainty is performed accessing the precomputed matrices. The examples given correspond to an application to the diagnosis of pneumonias.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131874795","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书