{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T17:24:50Z","timestamp":1697909090966},"reference-count":30,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1984,9,1]],"date-time":"1984-09-01T00:00:00Z","timestamp":462844800000},"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":["International Journal of Man-Machine Studies"],"published-print":{"date-parts":[[1984,9]]},"DOI":"10.1016\/s0020-7373(84)80042-5","type":"journal-article","created":{"date-parts":[[2008,8,5]],"date-time":"2008-08-05T08:58:00Z","timestamp":1217926680000},"page":"213-227","source":"Crossref","is-referenced-by-count":5,"title":["An analysis of formal logics as inference mechanisms in expert systems"],"prefix":"10.1016","volume":"21","author":[{"given":"E.H.","family":"Mamdani","sequence":"first","affiliation":[]},{"given":"Janet","family":"Efstathiou","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0020-7373(84)80042-5_bib1","series-title":"Memo UCB\/ERL in m78\/57","article-title":"A pattern recognition approach to the problem of linguistic approxima-tion in system analysis","author":"Bonissone","year":"1978"},{"key":"10.1016\/S0020-7373(84)80042-5_bib2","series-title":"An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities","author":"Boole","year":"1854"},{"key":"10.1016\/S0020-7373(84)80042-5_bib3","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/S0020-7373(84)80042-5_bib4","series-title":"Knowledge-based Systems in Artificial Intelligence","author":"Davis","year":"1982"},{"key":"10.1016\/S0020-7373(84)80042-5_bib5","series-title":"Pattem-directed Inference Systems","article-title":"Semantic network representation in rule-based inference systems","author":"Duda","year":"1978"},{"key":"10.1016\/S0020-7373(84)80042-5_bib6","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1016\/S0020-7373(79)80040-1","article-title":"A general approach to linguistic approximation","volume":"11","author":"Eshragh","year":"1979","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(84)80042-5_bib7","article-title":"Using frames in scheduling","volume":"vol. 1","author":"Goldstein","year":"1979"},{"key":"10.1016\/S0020-7373(84)80042-5_bib8","series-title":"Syntax and Semantics 3: Speech Acts","first-page":"41","article-title":"Logic and conversation","author":"Grice","year":"1975"},{"key":"10.1016\/S0020-7373(84)80042-5_bib9","series-title":"Philosophy of Logics","author":"Haack","year":"1978"},{"key":"10.1016\/S0020-7373(84)80042-5_bib10","series-title":"An Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/S0020-7373(84)80042-5_bib11","series-title":"Semantic Theory","author":"Kempson","year":"1977"},{"key":"10.1016\/S0020-7373(84)80042-5_bib12","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/S0020-7373(84)80042-5_bib13","series-title":"Workshop on Pattern-Directed Inference","article-title":"Inductive inference for VL decision mies","author":"Larson","year":"1977"},{"key":"10.1016\/S0020-7373(84)80042-5_bib14","first-page":"111","article-title":"A system of modal logic","volume":"1","author":"Lukasiewicz","year":"1953","journal-title":"The Journal of Computing Systems"},{"key":"10.1016\/S0020-7373(84)80042-5_bib15","series-title":"Multiple- Valued Logic and Computer Science","article-title":"Variable-valued logic and its application to pattern recognition and machine learning","author":"Michalski","year":"1975"},{"key":"10.1016\/S0020-7373(84)80042-5_bib16","article-title":"Introduction to the general theory of propositions","volume":"43","author":"Post","year":"1921","journal-title":"American Journal of Math- ematics"},{"key":"10.1016\/S0020-7373(84)80042-5_bib17","series-title":"Philosophy of Logic","author":"Quine","year":"1970"},{"key":"10.1016\/S0020-7373(84)80042-5_bib18","series-title":"Speech Acts","author":"Searle","year":"1969"},{"key":"10.1016\/S0020-7373(84)80042-5_bib19","series-title":"MYCIN: Computer-based medical consultations","author":"Shortliffe","year":"1976"},{"key":"10.1016\/S0020-7373(84)80042-5_bib20","doi-asserted-by":"crossref","first-page":"341","DOI":"10.2307\/2102968","article-title":"The semantic conception of truth","volume":"4","author":"Tarski","year":"1944","journal-title":"Philosophy and Phenomenomological Research"},{"key":"10.1016\/S0020-7373(84)80042-5_bib21","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0165-0114(82)90044-6","article-title":"A critical ssessment of truth functional modification and its use in approximate reasoning","volume":"7","author":"Tong","year":"1982","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0020-7373(84)80042-5_bib22","series-title":"Berich Nr 16","article-title":"Towards a computational model for the semantics of why-questions","author":"Wahlster","year":"1982"},{"key":"10.1016\/S0020-7373(84)80042-5_bib23","series-title":"Pattem-directed Inference Systems","author":"Waterman","year":"1978"},{"key":"10.1016\/S0020-7373(84)80042-5_bib24","series-title":"Advances in Fuzzy Set Theory and lts Applications","article-title":"Exploring linguistic consequences of assertions in social sciences","author":"Wenst\u00f8p","year":"1979"},{"key":"10.1016\/S0020-7373(84)80042-5_bib25_1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(75)90036-5","article-title":"The concept of a linguistic variable and its application to approximate reasoning","volume":"8","author":"Zadeh","year":"1975","journal-title":"Information Sciences"},{"key":"10.1016\/S0020-7373(84)80042-5_bib25_2","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0020-0255(75)90046-8","article-title":"The concept of a linguistic variable and its application to approximate reasoning","volume":"8","author":"Zadeh","year":"1975","journal-title":"Information Sciences"},{"key":"10.1016\/S0020-7373(84)80042-5_bib26","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/S0020-7373(78)80003-0","article-title":"PRUF\u2014a meaning representation language for natural languages","volume":"10","author":"Zadeh","year":"1978","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(84)80042-5_bib27","series-title":"SRI Memo","article-title":"Test-score semantics for natural languages and meaning representation","author":"Zadeh","year":"1981"},{"key":"10.1016\/S0020-7373(84)80042-5_bib28","article-title":"A theory of common sense knowledge","author":"Zadeh","year":"1983","journal-title":"UCB Memo"},{"key":"10.1016\/S0020-7373(84)80042-5_bib29","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0165-0114(80)90062-7","article-title":"Latent connectives in human decision-making","volume":"4","author":"Zimmerman","year":"1980","journal-title":"Fuzzy Sets and Systems"}],"container-title":["International Journal of Man-Machine Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737384800425?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737384800425?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,26]],"date-time":"2018-12-26T18:51:22Z","timestamp":1545850282000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020737384800425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,9]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984,9]]}},"alternative-id":["S0020737384800425"],"URL":"https:\/\/doi.org\/10.1016\/s0020-7373(84)80042-5","relation":{},"ISSN":["0020-7373"],"issn-type":[{"value":"0020-7373","type":"print"}],"subject":[],"published":{"date-parts":[[1984,9]]}}}