{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T06:28:34Z","timestamp":1648880914101},"reference-count":11,"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":9017,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Robotica"],"published-print":{"date-parts":[[1984,7]]},"abstract":"<jats:title>SUMMARY<\/jats:title><jats:p>The previous paper by the same authors (<jats:italic>Robotica<\/jats:italic> 2, Part 2, pp. 93\u2013103 1984) was concerned with the application of logic programming to the generation of paths for robots. This paper is dealing with the PIGS system for robot problem-solving in generating plans for robots. The system avoids the overhead of generating a new set of facts for each state considered. A computer-type control is adopted not only to generate a simple sequence of actions to be performed by the robot, but also to enable the robot to follow an accurately defined path. A suitable plan of action of a robot problem-solving system is generated. The system is written in the <jats:italic>PROLOG<\/jats:italic> language and acts as a robot plan generator that is integrated with a path finding procedure in order to avoid collisions whilst plans are being implemented.<\/jats:p>","DOI":"10.1017\/s0263574700000837","type":"journal-article","created":{"date-parts":[[2009,3,10]],"date-time":"2009-03-10T13:27:32Z","timestamp":1236691652000},"page":"137-146","source":"Crossref","is-referenced-by-count":2,"title":["The application of logic programming to the generation of plans for robots"],"prefix":"10.1017","volume":"2","author":[{"given":"R. H.","family":"Davis","sequence":"first","affiliation":[]},{"given":"M.","family":"Comacho","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,9]]},"reference":[{"key":"S0263574700000837_ref008","volume-title":"Prolog: A Language for Implementing Expert Systems","author":"Clark","year":"1980"},{"key":"S0263574700000837_ref004","volume-title":"MSc Dissertation","author":"Camacho","year":"1983"},{"key":"S0263574700000837_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-3384-5"},{"key":"S0263574700000837_ref011","unstructured":"11 Sussman G.L. \u201cHACKER: A Computational Model of Skill Acquisition\u201d Ph.D. Thesis, MIT. (1973)."},{"key":"S0263574700000837_ref002","volume-title":"AI Memo","author":"Hewitt","year":"1972"},{"key":"S0263574700000837_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90003-X"},{"key":"S0263574700000837_ref001","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"S0263574700000837_ref005","unstructured":"5 Warren D.H.D. , \u201cImplementing Prolog-Compiling Predicate Logic Programs\u201d Tech. Reports No. 39 & 40, Dept. of Artificial Intelligence, University of Edinburgh, (1977)."},{"key":"S0263574700000837_ref009","volume-title":"Logic Programming Workshop Debrecen","author":"Markusz","year":"1980"},{"key":"S0263574700000837_ref003","first-page":"82","volume-title":"Computer IEEE","author":"Bonner","year":"1982"},{"key":"S0263574700000837_ref010","volume-title":"Laboratorio Naeional de Engenharia Civil","author":"Coelo","year":"1980"}],"container-title":["Robotica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0263574700000837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T20:20:51Z","timestamp":1558642851000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0263574700000837\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,7]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984,7]]}},"alternative-id":["S0263574700000837"],"URL":"https:\/\/doi.org\/10.1017\/s0263574700000837","relation":{},"ISSN":["0263-5747","1469-8668"],"issn-type":[{"value":"0263-5747","type":"print"},{"value":"1469-8668","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,7]]}}}