{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T02:02:12Z","timestamp":1648951332564},"reference-count":31,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1016\/s0165-0114(96)00139-x","type":"journal-article","created":{"date-parts":[[2003,4,5]],"date-time":"2003-04-05T01:00:31Z","timestamp":1049504431000},"page":"267-276","source":"Crossref","is-referenced-by-count":2,"title":["Synthesis of fuzzy relations for knowledge based systems validation"],"prefix":"10.1016","volume":"90","author":[{"given":"Vicen\u00e7","family":"Torra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0165-0114(96)00139-X_BIB1","series-title":"Lectures on Functional Equations and Their Applications","author":"Acz\u00e9l","year":"1966"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB2","series-title":"A Short Course on Functional Equations","author":"Acz\u00e9l","year":"1987"},{"issue":"2","key":"10.1016\/S0165-0114(96)00139-X_BIB3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/356876.356879","article-title":"Validation, Verification and testing of computer software","volume":"14","author":"Adrion","year":"1982","journal-title":"Computing Surveys"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB4","series-title":"Social Choice and Individual Values","author":"Arrow","year":"1951"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB5","series-title":"Validation, Verification and Test of Knowledge-Based Systems","year":"1991"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB6","first-page":"357","article-title":"SYCOJET and SACCO, Two tools for verifying expert systems","volume":"6","author":"Ayel","year":"1993","journal-title":"Internat. J. Expert Systems"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0957-4174(90)90002-C","article-title":"The modeling issues inherent in testing and evaluating knowledge-based systems","volume":"1","author":"Bellman","year":"1990","journal-title":"Expert Systems Appl."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB8","series-title":"Expertise Transfer for Expert System Design","author":"Boose","year":"1986"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB9","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0165-0114(91)90254-N","article-title":"Social choice axioms for fuzzy set aggregation","volume":"43","author":"Dubois","year":"1991","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"10.1016\/S0165-0114(96)00139-X_BIB10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0269888900000060","article-title":"Knowledge acquisition tools based on personal construct psychology","volume":"8","author":"Gaines","year":"1993","journal-title":"Knowledge Engrg. Rev."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB11","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1006\/cbmr.1994.1034","article-title":"Validation of the medical expert system RENOIR","volume":"27","author":"Hernandez","year":"1995","journal-title":"Comput. Biomed. Res."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB12","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0020-0255(95)00025-K","article-title":"A sequential selection process in group decision making with a linguistic assessment approach","volume":"85","author":"Herrera","year":"1995","journal-title":"Internat. J. Inform. Sci."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0165-0114(95)00107-7","article-title":"A model of consensus in group decision making under linguistic assessments","volume":"78","author":"Herrera","year":"1996","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB14","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/64.215222","article-title":"VVT terminology: A proposal","author":"Hoppe","year":"1993","journal-title":"IEEE Expert"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB15","series-title":"Proc. 5th Internat. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems","first-page":"533","article-title":"On discovering potential inconsistencies in validating fuzzy knowledge bases","author":"Kinkiel\u00e9l\u00e9","year":"1994"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB16","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/64.215223","article-title":"Can we formally specify a medical decision support system","author":"Krause","year":"1993","journal-title":"IEEE Expert"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB17","article-title":"Validation of multi-level rule-based expert systems","author":"Meseguer","year":"1992"},{"issue":"2","key":"10.1016\/S0165-0114(96)00139-X_BIB18","first-page":"163","article-title":"Verification of multi-level rule-based expert systems: theory and practice","volume":"6","author":"Meseguer","year":"1993","journal-title":"Internat. J. Expert Systems"},{"issue":"2","key":"10.1016\/S0165-0114(96)00139-X_BIB19","first-page":"143","article-title":"Knowledge-based system verification, validation, and testing: the evolution of a discipline","volume":"6","author":"Nazareth","year":"1993","journal-title":"Internat. J. Expert Systems"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB20","doi-asserted-by":"crossref","first-page":"916","DOI":"10.1109\/21.179832","article-title":"Consensus diagnosis: a simulation study","volume":"22","author":"Ng","year":"1992","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00849196","article-title":"Expert system verification and validation a survey and tutorial","volume":"7","author":"O'Keefe","year":"1993","journal-title":"Artificial Intelligence Rev."},{"issue":"2","key":"10.1016\/S0165-0114(96)00139-X_BIB22","first-page":"237","article-title":"Models of consensus for validation of expert systems","volume":"6","author":"O'Leary","year":"1993","journal-title":"Internat. J. Expert Systems"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB23","series-title":"Workshop Notes from the 9th National Conf. on Artificial Intelligence (AAAI-91), Knowledge-Based Systems: Verification, Validation and Testing","article-title":"Cover: a practical tool for verifying rule-based systems","author":"Preece","year":"1991"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB24","article-title":"MILORD: Arquitectura multinivell per a sistemes experts en classificaci\u00f3","author":"Sierra","year":"1989"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB25","series-title":"Multiperson Decision Making Models Using Fuzzy Sets and Possibility Theory","first-page":"172","article-title":"On group decision making under fuzzy references","author":"Tanino","year":"1990"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB26","article-title":"Contribuci\u00f3 a l'estudi de funcions de s\u00edntesi per a la intel.ligencia artificial","author":"Torra","year":"1994"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB27","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0165-0114(94)00338-8","article-title":"Combining fuzzy sets: the geometric consensus function family","volume":"74","author":"Torra","year":"1995","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0165-0114(96)00139-X_BIB28","unstructured":"V. Torra, Consensus based validation in knowledge based systems: the consensus interval, Submitted to IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB29","unstructured":"V. Torra, Negation functions based semantics for ordered linguistic labels, accepted by Internat. J. Intelligent Systems."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB30","doi-asserted-by":"crossref","first-page":"888","DOI":"10.1109\/21.376503","article-title":"Towards an automatic consensus generator tool: EGAC","volume":"25","author":"Torra","year":"1995","journal-title":"IEEE Trans. Systems Man Cybernet."},{"key":"10.1016\/S0165-0114(96)00139-X_BIB31","article-title":"PNEUMON-IA: Desenvolupament i validaci\u00f3 d'un sistema expert d'ajuda al diagn\u00f2stic m\u00e8dic","author":"Verdaguer","year":"1989"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016501149600139X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016501149600139X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T02:51:25Z","timestamp":1556074285000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016501149600139X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["S016501149600139X"],"URL":"https:\/\/doi.org\/10.1016\/s0165-0114(96)00139-x","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}