{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:59:04Z","timestamp":1725634744897},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,3,9]],"date-time":"2009-03-09T00:00:00Z","timestamp":1236556800000},"content-version":"unspecified","delay-in-days":8590,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Robotica"],"published-print":{"date-parts":[[1985,9]]},"abstract":"<jats:title>SUMMARY<\/jats:title><jats:p>An algorithm for the inference of the external behaviour model of an automaton is given. It uses a sequential learning procedure based on induction-contradiction-correction concepts. The induction is a generalization of relationships between automaton state properties, and the correction consists in a more and more accurate discrimination of the automaton state properties. These properties are defined from the input\/output contradictory sequences which are discovered after the observed contradictions between successive predictions and observations.<\/jats:p>","DOI":"10.1017\/s0263574700009085","type":"journal-article","created":{"date-parts":[[2009,3,10]],"date-time":"2009-03-10T09:28:04Z","timestamp":1236677284000},"page":"159-163","source":"Crossref","is-referenced-by-count":2,"title":["Inference of Automata by dialectic learning"],"prefix":"10.1017","volume":"3","author":[{"given":"M.","family":"Richetin","sequence":"first","affiliation":[]},{"given":"M.","family":"Naranjo","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,9]]},"reference":[{"key":"S0263574700009085_ref012","volume-title":"The Theory of Parsing, Translation and Compiling","author":"Aho","year":"1972"},{"key":"S0263574700009085_ref011","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574700001612"},{"key":"S0263574700009085_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(72)90048-3"},{"key":"S0263574700009085_ref003","first-page":"176","article-title":"Testing software design modelled by finitestate machines","volume":"4","author":"Show","year":"1978","journal-title":"IEEE Trans. on Software Engineering."},{"key":"S0263574700009085_ref002","first-page":"151","volume-title":"Proceedings of the 1982 European Conference on Artificial Intelligence","author":"Bundy","year":"1982"},{"key":"S0263574700009085_ref007","doi-asserted-by":"publisher","DOI":"10.1080\/01969728108927670"},{"key":"S0263574700009085_ref009","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"S0263574700009085_ref008","unstructured":"8. Dufay B. and Latombe J.C. , \u201cRobot programming by inductive inference\u201d 8th IJCAI, Karlsruhe (1983)."},{"key":"S0263574700009085_ref004","doi-asserted-by":"publisher","DOI":"10.1108\/eb005623"},{"key":"S0263574700009085_ref010","volume-title":"Switching and Finite Automata Theory","author":"Kohavi","year":"1970"},{"key":"S0263574700009085_ref013","unstructured":"13. Naranjo M. , Doctoral Thesis: Control and Identification of Automata from Stochastic Information University of Clermont II. Electronic L.aboratory, University of Clermont II (January, 1984)."},{"key":"S0263574700009085_ref006","volume-title":"Syntactic Pattern Recognition","author":"Fu","year":"1982"},{"key":"S0263574700009085_ref001","volume-title":"The Handbook of Artificial Intelligence","author":"Barr","year":"1981"}],"container-title":["Robotica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0263574700009085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T17:43:19Z","timestamp":1558546999000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0263574700009085\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,9]]},"references-count":13,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1985,9]]}},"alternative-id":["S0263574700009085"],"URL":"https:\/\/doi.org\/10.1017\/s0263574700009085","relation":{},"ISSN":["0263-5747","1469-8668"],"issn-type":[{"value":"0263-5747","type":"print"},{"value":"1469-8668","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,9]]}}}