{"id":"https://openalex.org/W2119166810","doi":"https://doi.org/10.1002/int.4550030308","title":"Using a metatheory as a functional representation","display_name":"Using a metatheory as a functional representation","publication_year":1988,"publication_date":"1988-01-01","ids":{"openalex":"https://openalex.org/W2119166810","doi":"https://doi.org/10.1002/int.4550030308","mag":"2119166810"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550030308","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550030308","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103514681","display_name":"D. Paul Benjamin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131230","display_name":"Philips (United States)","ror":"https://ror.org/03kw6wr76","country_code":"US","type":"company","lineage":["https://openalex.org/I4210122849","https://openalex.org/I4210131230"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"D. Paul Benjamin","raw_affiliation_strings":["Philips Laboratories, North American Philips Corporation, 345 Scarborough Road, Briarcliff Manor, NY 10510"],"affiliations":[{"raw_affiliation_string":"Philips Laboratories, North American Philips Corporation, 345 Scarborough Road, Briarcliff Manor, NY 10510","institution_ids":["https://openalex.org/I4210131230"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5103514681"],"corresponding_institution_ids":["https://openalex.org/I4210131230"],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":0.4132,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.63818182,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"3","first_page":"295","last_page":"314"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10826","display_name":"Behavioral and Psychological Studies","score":0.9603999853134155,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10826","display_name":"Behavioral and Psychological Studies","score":0.9603999853134155,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/metatheory","display_name":"Metatheory","score":0.9563398957252502},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6048646569252014},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.600214421749115},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.39235204458236694},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.3502136468887329},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3424662947654724},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3362623155117035},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2257390022277832},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.21395546197891235},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17822912335395813},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.09453687071800232}],"concepts":[{"id":"https://openalex.org/C39387531","wikidata":"https://www.wikidata.org/wiki/Q1096708","display_name":"Metatheory","level":2,"score":0.9563398957252502},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6048646569252014},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.600214421749115},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.39235204458236694},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3502136468887329},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3424662947654724},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3362623155117035},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2257390022277832},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.21395546197891235},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17822912335395813},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.09453687071800232},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/int.4550030308","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550030308","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W129125113","https://openalex.org/W145220529","https://openalex.org/W1558552956","https://openalex.org/W1966059082","https://openalex.org/W1966602292","https://openalex.org/W1977740653","https://openalex.org/W2021790140","https://openalex.org/W2068374759","https://openalex.org/W2072634471","https://openalex.org/W2100956727","https://openalex.org/W2101602574","https://openalex.org/W6605326739","https://openalex.org/W6605881412","https://openalex.org/W6638782989","https://openalex.org/W6652964389","https://openalex.org/W6675470954"],"related_works":["https://openalex.org/W1756852158","https://openalex.org/W2750284450","https://openalex.org/W3122371259","https://openalex.org/W2020092927","https://openalex.org/W4247547597","https://openalex.org/W2566728714","https://openalex.org/W2322423074","https://openalex.org/W1995210049","https://openalex.org/W1562622185","https://openalex.org/W1999917737"],"abstract_inverted_index":{"One":[0],"approach":[1],"to":[2,7,14,64,102,138,157],"enabling":[3],"an":[4,76,89,107],"expert":[5],"system":[6,17],"reason":[8],"in":[9,38,54,57,190],"a":[10,50,82,93,111,135,148,159,179],"sophisticated":[11],"fashion":[12],"is":[13,30,79,92,110,117,134],"provide":[15],"the":[16,31,39,67,85,99,103,114,120,124,131,140,143,165,183,193],"with":[18,66],"multiple":[19],"representations":[20],"of":[21,28,52,84,95,142,151,182],"its":[22,176],"knowledge":[23],"base.":[24],"A":[25],"useful":[26],"type":[27],"representation":[29,181],"functional":[32,180],"representation,":[33],"which":[34,58,61],"describes":[35],"how":[36,63],"objects":[37],"task":[40,69,86,184],"environment":[41],"can":[42],"be":[43],"used.":[44],"In":[45],"this":[46,173],"article":[47],"we":[48],"construct":[49,158],"metatheory":[51,160],"problem-solving":[53],"rule-based":[55],"systems":[56],"object-level":[59,77,125,169],"rules,":[60],"specify":[62],"interact":[65],"external":[68],"environment,":[70,87],"are":[71],"controlled":[72],"by":[73,167],"meta-level":[74,166],"rules.":[75,152],"rule":[78,126],"viewed":[80],"as":[81,178],"transformation":[83],"and":[88,186],"execution":[90,108],"trace":[91,109],"sequence":[94,150],"transformations":[96],"leading":[97],"from":[98,119],"initial":[100,121,132],"state":[101,116,122,133],"goal":[104,115,144],"state.":[105],"Thus,":[106],"proof":[112],"that":[113,130],"reachable":[118],"via":[123],"set,":[127],"or":[128],"alternatively,":[129],"sufficient":[136],"precondition":[137],"guarantee":[139],"truth":[141],"condition":[145],"after":[146],"executing":[147],"specific":[149],"This":[153],"observation":[154],"permits":[155],"us":[156],"for":[161],"solving":[162],"problems":[163],"at":[164],"examining":[168],"proofs.":[170],"We":[171],"describe":[172,187],"metatheory,":[174],"discuss":[175],"usefulness":[177],"domain,":[185],"some":[188],"experiments":[189],"reasoning":[191],"within":[192],"metatheory.":[194]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}