{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:35:48Z","timestamp":1777415748338,"version":"3.51.4"},"reference-count":55,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T00:00:00Z","timestamp":1265846400000},"content-version":"vor","delay-in-days":12094,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Cognitive Science"],"published-print":{"date-parts":[[1977,1]]},"abstract":"<jats:p>This paper describes KRL, a Knowledge Representation Language designed for use in understander systems. It outlines both the general concepts which underlie our research and the details of KRL\u20100, an experimental implementation of some of these concepts. KRL is an attempt to integrate procedural knowledge with a broad base of declarative forms. These forms provide a variety of ways to express the logical structure of the knowledge, in order to give flexibility in associating procedures (for memory and reasoning) with specific pieces of knowledge, and to control the relative accessibility of different facts and descriptions. The formalism for declarative knowledge is based on structured conceptual objects with associated descriptions. These objects form a network of memory units with several different sorts of linkages, each having well\u2010specified implications for the retrieval process. Procedures can be associated directly with the internal structure of a conceptual object. This procedurul attachment allows the steps for a particular operation to be determined by characteristics of the specific entities involved.<\/jats:p><jats:p>The control structure of KRL is based on the belief that the next generation of intelligent programs will integrate data\u2010directed and goal\u2010directed processing by using multiprocessing. It provides for a priority\u2010ordered multiprocess agenda with explicit (user\u2010provided) strategies for scheduling and resource allocation. It provides procedure directories which operate along with process frameworks to allow procedural parameterization of the fundamental system processes for building, comparing, and retrieving memory structures. Future development of KRL will include integrating procedure definition with the descriptive formalism.<\/jats:p>","DOI":"10.1207\/s15516709cog0101_2","type":"journal-article","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T15:29:39Z","timestamp":1129822179000},"page":"3-46","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":506,"title":["An Overview of KRL, a Knowledge Representation Language"],"prefix":"10.1111","volume":"1","author":[{"given":"Daniel G.","family":"Bobrow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Terry","family":"Winograd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2010,2,11]]},"reference":[{"key":"e_1_2_1_2_1","volume-title":"Human associative memory","author":"Anderson J.","year":"1973"},{"issue":"1","key":"e_1_2_1_3_1","article-title":"Gus, a frame driven dialog system","volume":"8","author":"Bobrow D. G.","year":"1977","journal-title":"Artificial Intelligence"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/B978-0-12-108550-6.50010-0","volume-title":"Representation and understanding","author":"Bobrow D. G.","year":"1975"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/362375.362379"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(75)90020-X"},{"key":"e_1_2_1_7_1","article-title":"Natural semantics in artificial intelligence","volume":"1","author":"Carbonell J. R.","year":"1974","journal-title":"American Journal of Computational Linguistics"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5371(70)80084-6"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/365813.365819"},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA019702","volume-title":"An overview of production systems","author":"Davis R.","year":"1975"},{"key":"e_1_2_1_11_1","article-title":"Establishing context in a task oriented dialog","volume":"4","author":"Deutsch B.","year":"1975","journal-title":"Journal of the Association for Computational Linguistics"},{"key":"e_1_2_1_12_1","unstructured":"Fahlman S.A system for representing and using real\u2010world knowledge. MIT Al\u2010Memo\u2010331 1975."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the First Annual Meeting of the Berkeley Linguistics Society","author":"Fillmore C.","year":"1975"},{"key":"e_1_2_1_14_1","unstructured":"Fisher D. A.Control structures for programming languages. Department of Computer Science Carnegie University May 1970."},{"key":"e_1_2_1_15_1","volume-title":"Understanding simple picture programs","author":"Goldstein I. P.","year":"1974"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Hayes\u2010Roth F. &Lesser V.Focus of attention in a distributed\u2010logic speech understanding system. Department of Computer Science Carnegie\u2010Mellon University January 1976.","DOI":"10.21236\/ADA025172"},{"key":"e_1_2_1_17_1","first-page":"115","volume-title":"Advance Papers of the Fourth International Joint Conference on Artificial Intelligence","author":"Hendrix G. G.","year":"1975"},{"key":"e_1_2_1_18_1","volume-title":"Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot","author":"Hewitt C.","year":"1972"},{"key":"e_1_2_1_19_1","unstructured":"Hewitt C. Bishop P. Steiger R.A universal modular ACTOR formalism for artificial intelligence.Proceedings of the Third International Joint Conference on Artificial Intelligence 1973 235\u2013245."},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Hewitt C. &Smith B.Towards a programming apprentice.IEEE Transactions on Software Engineering 1975 SE\u20101 26\u201345.","DOI":"10.1109\/TSE.1975.6312818"},{"key":"e_1_2_1_21_1","volume-title":"Natural language processing","author":"Kaplan R. M.","year":"1973"},{"key":"e_1_2_1_22_1","first-page":"435","volume-title":"Proceedings of the 1973 National Computer Conference","author":"Kaplan R. M.","year":"1973"},{"key":"e_1_2_1_23_1","volume-title":"Explorations in cognition","author":"Kaplan R. M.","year":"1975"},{"key":"e_1_2_1_24_1","volume-title":"The structure of language","author":"Katz J. J.","year":"1964"},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/B978-0-12-108550-6.50011-2","volume-title":"Representation and understanding","author":"Kuipers B.","year":"1975"},{"key":"e_1_2_1_26_1","unstructured":"Kulikowski C. A.A system for computer\u2010based medical consultation.Proceedings of National Computer Conference 1974."},{"key":"e_1_2_1_27_1","volume-title":"Programming symposium, Paris 1974","author":"Lampson B.","year":"1974"},{"key":"e_1_2_1_28_1","volume-title":"Personal dynamic media","author":"Learning Research Group","year":"1976"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0101_3"},{"key":"e_1_2_1_30_1","unstructured":"Meldman J. A.A preliminary study in computer\u2010aided legal analysis. MIT project MAC TR 157 1975."},{"key":"e_1_2_1_31_1","volume-title":"The psychology of computer vision","author":"Minsky M.","year":"1975"},{"key":"e_1_2_1_32_1","volume-title":"Knowledge and cognition","author":"Moore J.","year":"1973"},{"key":"e_1_2_1_33_1","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/B978-0-12-108550-6.50017-3","volume-title":"Representation and understanding","author":"Nash\u2010Webber B.","year":"1975"},{"key":"e_1_2_1_34_1","volume-title":"Human problem solving","author":"Newell A.","year":"1972"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(75)90004-3"},{"key":"e_1_2_1_36_1","volume-title":"Explorations in cognition","author":"Norman D. A.","year":"1975"},{"key":"e_1_2_1_37_1","volume-title":"System integration and control in a speech understanding system","author":"Paxton W.","year":"1975"},{"key":"e_1_2_1_38_1","volume-title":"Semantic information processing","author":"Quillian M. R.","year":"1968"},{"key":"e_1_2_1_39_1","volume-title":"Speech recognition","author":"Reddy D. R.","year":"1975"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1037\/0096-3445.104.3.192"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(75)90024-9"},{"key":"e_1_2_1_42_1","volume-title":"Hypothesis formation and evaluation in medical diagnosis","author":"Rubin A. D.","year":"1975"},{"key":"e_1_2_1_43_1","unstructured":"Sacerdoti E.The non\u2010linear nature of plans. InAdvance papers of the fourth international conference on artificial intelligence Tbilisi 1975. Pp.206\u2013214."},{"key":"e_1_2_1_44_1","volume-title":"Conceptual information processing","author":"Schank R. C.","year":"1975"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-108550-6.50014-8"},{"key":"e_1_2_1_46_1","unstructured":"Schank R. C. &The Yale AI Project.SAM\u2014A story understander. Yale University Computer Science Research Report #43 August 1975."},{"key":"e_1_2_1_47_1","volume-title":"Theoretical issues in natural language processing","author":"Schmidt E.","year":"1975"},{"key":"e_1_2_1_48_1","volume-title":"MYCIN: Computer\u2010based medical consultations","author":"Shortliffe E.","year":"1976"},{"key":"e_1_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Srinivasan C.The architecture of coherent information systems. IEEE Transactions on Computers C\u201025 1976.","DOI":"10.1109\/TC.1976.1674621"},{"key":"e_1_2_1_50_1","volume-title":"A computational model of skill acquisition","author":"Sussman G. J.","year":"1975"},{"key":"e_1_2_1_51_1","volume-title":"INTERLISP reference manual","author":"Teitelman W.","year":"1975"},{"key":"e_1_2_1_52_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA000085","volume-title":"Five lectures on artificial intelligence","author":"Winograd T.","year":"1974"},{"key":"e_1_2_1_53_1","first-page":"13","volume-title":"Representation and understanding","author":"Winograd T.","year":"1975"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/951787.951764"},{"key":"e_1_2_1_55_1","volume-title":"The psychology of computer vision","author":"Winston P.","year":"1975"},{"key":"e_1_2_1_56_1","volume-title":"Representation and understanding","author":"Woods W. A.","year":"1975"}],"container-title":["Cognitive Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1207%2Fs15516709cog0101_2","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1207\/s15516709cog0101_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T18:21:34Z","timestamp":1698862894000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1207\/s15516709cog0101_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,1]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1977,1]]}},"alternative-id":["10.1207\/s15516709cog0101_2"],"URL":"https:\/\/doi.org\/10.1207\/s15516709cog0101_2","archive":["Portico"],"relation":{},"ISSN":["0364-0213","1551-6709"],"issn-type":[{"value":"0364-0213","type":"print"},{"value":"1551-6709","type":"electronic"}],"subject":[],"published":{"date-parts":[[1977,1]]},"assertion":[{"value":"2010-02-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}