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

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

筛选
英文 中文
Society diagnosis. III. Person-event-person model 社会诊断。3。Person-event-person模型
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5161
T. Chen, T. Kang, H. Guo
{"title":"Society diagnosis. III. Person-event-person model","authors":"T. Chen, T. Kang, H. Guo","doi":"10.1109/ISMVL.1988.5161","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5161","url":null,"abstract":"For pt.II see ISMVL-1985, p.212-15 (Canada, 1985). The main goal of society diagnosis is to identify persons involved in a case and partition them into three classes: the innocent, the quality and the unintentional liars by analyzing the testimonies which one gives for or against the others. The authors' research in this area is reviewed, and a novel person-event-person model is proposed. The model is simplified and some of its properties are studied.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"134 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":"116579027","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
Mixed connectives between min and max min和max之间的混合连接词
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5180
N. Piera, J. Aguilar-Martin, M. Sánchez
{"title":"Mixed connectives between min and max","authors":"N. Piera, J. Aguilar-Martin, M. Sánchez","doi":"10.1109/ISMVL.1988.5180","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5180","url":null,"abstract":"Mixed connectives are types of aggregate operators for fuzzy sets constructed from t-norms. Since these operators are situated between the fuzzy logical connective 'and' modeled by a t-norm and the connective 'or' modeled by a t-conorm, their parametric dependence tells how near they are from these two connectives and allows families of mixed connectives to be considered. The existence of elements in such a family situated between min and max is studied.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"54 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":"114924094","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}
引用次数: 10
CMOS four-valued logic circuits using charge control technique 采用电荷控制技术的CMOS四值逻辑电路
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5155
T. Watanabe, M. Matsumoto, T. Li, T. Hirayama
{"title":"CMOS four-valued logic circuits using charge control technique","authors":"T. Watanabe, M. Matsumoto, T. Li, T. Hirayama","doi":"10.1109/ISMVL.1988.5155","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5155","url":null,"abstract":"CMOS multiple-valued logic circuits using a charge-control method, which are suitable for use in synchronous sequential circuits together with the static-type MAX and MIN circuits, are presented. It is shown that circuits for conversion of logical values that are usually realized using complicated circuit configurations can be replaced by simple circuits with this approach. The technique of charge control that is presented here is similar to that used as the method of precharge in the usual dynamic-type MOS memory devices. The simulation results of such circuits using SPICE-2 are shown.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"23 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":"114873184","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}
引用次数: 5
Ambiguity decision tables and P-ternary logic functions 模糊决策表和p -三元逻辑函数
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5192
Y. Yamamoto, M. Mukaidono
{"title":"Ambiguity decision tables and P-ternary logic functions","authors":"Y. Yamamoto, M. Mukaidono","doi":"10.1109/ISMVL.1988.5192","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5192","url":null,"abstract":"A decision table that treats inputs and outputs involving ambiguity is proposed. The table is defined so that its information loss is zero and it satisfies ambiguity monotonicity. Any action in the ambiguity decision table is represented by a P-ternary logic function. It is shown that the logic formula of a P-ternary logic function can uniquely be derived from the disjoint of all prime implicants of a Boolean function. The feasibility of some methods for implementing the ambiguity decision table by a computer is discussed.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"240 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":"121971841","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
The use of fuzzy reasoning in intelligent computer aided instructional systems 模糊推理在智能计算机辅助教学系统中的应用
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5193
J. Liu
{"title":"The use of fuzzy reasoning in intelligent computer aided instructional systems","authors":"J. Liu","doi":"10.1109/ISMVL.1988.5193","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5193","url":null,"abstract":"A model for value-strategic-knowledge-based instructional planning in intelligent computer-aided-instruction (ICAI) systems is proposed. It incorporates fuzzy reasoning to infer and select specific instructional decisions. A prototype instructional planning component based on A. Collins and A.L. Stevens' (1982) inquiry teaching strategies is designed and evaluated.<<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":"131329365","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
Multi-valued processors using solitons 使用孤子的多值处理器
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5197
S. Minkara, N. El-leithy, H. Youssef, V. Rodellar, P. Gómez, R. Newcomb
{"title":"Multi-valued processors using solitons","authors":"S. Minkara, N. El-leithy, H. Youssef, V. Rodellar, P. Gómez, R. Newcomb","doi":"10.1109/ISMVL.1988.5197","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5197","url":null,"abstract":"The concept of multivalued processors based on solitons at N different amplitudes is introduced. In such a system, solitons act to propagate signals and to form proper levels. It is shown that the system can be realized by N binary computers in one soliton processor or by one N-algebra soliton processor. Means of constructing logic systems based on the neuristor concept of H. Crane (1962), modified to fit the solitons, are discussed.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"21 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":"134270924","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
Two decades of multiple-valued logic-an invited tutorial 二十年的多值逻辑——特邀教程
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5170
S. Hurst
{"title":"Two decades of multiple-valued logic-an invited tutorial","authors":"S. Hurst","doi":"10.1109/ISMVL.1988.5170","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5170","url":null,"abstract":"A brief summary of the tutorial is presented. The developments, major achievements, and disappointments of the past 20 years of multiple-valued logic are reviewed. The comprehensive bibliography is broken down by subject as well as listing proceedings and textbooks.<<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":"122581456","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}
引用次数: 27
Multiple-valued logical functions derived from two-valued input multiple-valued output functions 由二值输入多值输出函数导出的多值逻辑函数
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5173
Y. Hata, K. Nakashima, K. Yamato, T. Kitahashi
{"title":"Multiple-valued logical functions derived from two-valued input multiple-valued output functions","authors":"Y. Hata, K. Nakashima, K. Yamato, T. Kitahashi","doi":"10.1109/ISMVL.1988.5173","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5173","url":null,"abstract":"A derivation rule for deriving p-valued logical functions from two-valued input p-valued output functions ((2, p)-functions) is provided. It is proved that by this rule, one p-valued function is derived from one (2, p)-function uniquely. The relationship between some classes of (2, p) functions and the classes of p-valued functions derived from them is clarified. Especially important is the result that all the p-valued unate functions are derived from monotonic (2, p)-functions, all the p-valued majority functions are derived from (2, p)-threshold functions, and all the p-valued functions derived from nonmonotonic (2, p)-functions can be expressed by logical formulae using only AND, OR, constants, and certain variables.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"33 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":"122018354","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}
引用次数: 4
Decisive differences and partial differences for stuck-at fault detection in MVL circuits MVL电路卡死故障检测的决定性差分和部分差分
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5190
M. Whitney, J. Nuzio
{"title":"Decisive differences and partial differences for stuck-at fault detection in MVL circuits","authors":"M. Whitney, J. Nuzio","doi":"10.1109/ISMVL.1988.5190","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5190","url":null,"abstract":"An extension of the exclusive-OR operator is defined for multivalued algebra. This operator, called the decisive difference and denoted (-), is particularly useful for multivalued stuck-at fault detection experiments. The (-) operator is used in the definition of functional transformations called partial differences. Basic properties of partial differences are presented, and it is shown how they can be used to find stuck-at fault sets of tests for sum-of-products form functions in the chain lattice algebra. The method uses strictly algebraic manipulation rather than exhaustive map searching. Partial differences can also be used to find sets of tests for internal and multiple stuck-at faults. Multivalued derivatives described by several other authors and Boolean differences are special cases of partial differences.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"29 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":"123600542","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}
引用次数: 11
首页 上一页
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学术官方微信
小红书