{"id":"https://openalex.org/W1673799265","doi":null,"title":"Solving mechanics problems using meta-level inference","display_name":"Solving mechanics problems using meta-level inference","publication_year":1979,"publication_date":"1979-08-20","ids":{"openalex":"https://openalex.org/W1673799265","mag":"1673799265"},"language":"en","primary_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/749b0d77-f8de-4285-87e7-5958b1715431","doi":null,"is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/749b0d77-f8de-4285-87e7-5958b1715431","pdf_url":"https://www.pure.ed.ac.uk/ws/files/412034/Solving_Mechanics_Problems_Using_Meta_Level_Inference.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bundy, A, Byrd, L, Luger, G, Mellish, C & Palmer, M 1979, Solving Mechanics Problems Using Meta-Level Inference. in Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79. < http://hdl.handle.net/1842/4565 >","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.pure.ed.ac.uk/ws/files/412034/Solving_Mechanics_Problems_Using_Meta_Level_Inference.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040311876","display_name":"Alan Bundy","orcid":"https://orcid.org/0000-0002-0578-6474","observed_orcids":["https://orcid.org/0000-0002-0578-6474"]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alan Bundy","raw_affiliation_strings":["Chris Mellish & Martha Palmer., Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland"],"raw_orcid":"https://orcid.org/0000-0002-0578-6474","affiliations":[{"raw_affiliation_string":"Chris Mellish & Martha Palmer., Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003851051","display_name":"Lawrence Byrd","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lawrence Byrd","raw_affiliation_strings":["Chris Mellish & Martha Palmer., Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chris Mellish & Martha Palmer., Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046825469","display_name":"George F. Luger","orcid":"https://orcid.org/0009-0001-8164-5964","observed_orcids":["https://orcid.org/0009-0001-8164-5964"]},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"George F. Luger","raw_affiliation_strings":["Chris Mellish & Martha Palmer., Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland"],"raw_orcid":"https://orcid.org/0009-0001-8164-5964","affiliations":[{"raw_affiliation_string":"Chris Mellish & Martha Palmer., Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":5.8571,"has_fulltext":true,"cited_by_count":90,"citation_normalized_percentile":{"value":0.9754902,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1017","last_page":"1027"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.4765999913215637,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.4765999913215637,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.4077000021934509,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.041099999099969864,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mechanics-problem-solving","display_name":"mechanics problem solving","score":0.7960000038146973},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.6700000166893005},{"id":"https://openalex.org/keywords/natural-language-understanding","display_name":"natural language understanding","score":0.8190000057220459},{"id":"https://openalex.org/keywords/model-formation","display_name":"model formation","score":0.9179999828338623},{"id":"https://openalex.org/keywords/algebraic-manipulation","display_name":"algebraic manipulation","score":0.9990000128746033},{"id":"https://openalex.org/keywords/search-control","display_name":"search control","score":0.902999997138977},{"id":"https://openalex.org/keywords/declarative-knowledge-representation","display_name":"declarative knowledge representation","score":0.9150000214576721},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.5809999704360962}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7800271511077881},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7077896595001221},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.6325010061264038},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5136145949363708},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.47023481130599976},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4679720997810364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3731512427330017},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35320746898651123}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:pure.ed.ac.uk:openaire/749b0d77-f8de-4285-87e7-5958b1715431","doi":null,"is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/749b0d77-f8de-4285-87e7-5958b1715431","pdf_url":"https://www.pure.ed.ac.uk/ws/files/412034/Solving_Mechanics_Problems_Using_Meta_Level_Inference.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bundy, A, Byrd, L, Luger, G, Mellish, C & Palmer, M 1979, Solving Mechanics Problems Using Meta-Level Inference. in Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79. < http://hdl.handle.net/1842/4565 >","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.102.8641","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.8641","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://dli.iiit.ac.in/ijcai/IJCAI-79-VOL2/PDF/002.pdf","raw_type":"text"},{"id":"pmh:oai:era.ed.ac.uk:1842/4565","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/1842/4565","pdf_url":null,"source":{"id":"https://openalex.org/S7407055182","display_name":"ERA","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Paper"},{"id":"mag:1673799265","doi":null,"is_oa":false,"landing_page_url":"https://era.ed.ac.uk/bitstream/1842/4565/1/BundyA_Solving%20Mechanics%20Problems.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/749b0d77-f8de-4285-87e7-5958b1715431","doi":null,"is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/749b0d77-f8de-4285-87e7-5958b1715431","pdf_url":"https://www.pure.ed.ac.uk/ws/files/412034/Solving_Mechanics_Problems_Using_Meta_Level_Inference.pdf","source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bundy, A, Byrd, L, Luger, G, Mellish, C & Palmer, M 1979, Solving Mechanics Problems Using Meta-Level Inference. in Proceedings of the 6th international joint conference on Artificial Intelligence - IJCAI '79. < http://hdl.handle.net/1842/4565 >","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332815","display_name":"Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1673799265.pdf","grobid_xml":"https://content.openalex.org/works/W1673799265.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W37883845","https://openalex.org/W40347498","https://openalex.org/W43330219","https://openalex.org/W46758386","https://openalex.org/W60662314","https://openalex.org/W68496363","https://openalex.org/W85205851","https://openalex.org/W93861386","https://openalex.org/W95773206","https://openalex.org/W125130877","https://openalex.org/W173218558","https://openalex.org/W179078360","https://openalex.org/W197287778","https://openalex.org/W202245387","https://openalex.org/W267550925","https://openalex.org/W658439207","https://openalex.org/W1485983381","https://openalex.org/W1486985338","https://openalex.org/W1503999696","https://openalex.org/W1505640990","https://openalex.org/W1514823092","https://openalex.org/W1519735925","https://openalex.org/W1532211537","https://openalex.org/W1540212288","https://openalex.org/W1545815294","https://openalex.org/W1555547974","https://openalex.org/W1559427309","https://openalex.org/W1561051629","https://openalex.org/W1569270220","https://openalex.org/W1578830675","https://openalex.org/W1590626426","https://openalex.org/W1613651675","https://openalex.org/W1642011747","https://openalex.org/W1704410245","https://openalex.org/W1968079292","https://openalex.org/W1981627423","https://openalex.org/W1992031418","https://openalex.org/W2005814556","https://openalex.org/W2009677406","https://openalex.org/W2020793163","https://openalex.org/W2023139438","https://openalex.org/W2041683889","https://openalex.org/W2085089824","https://openalex.org/W2100952354","https://openalex.org/W2118385830","https://openalex.org/W2119409989","https://openalex.org/W2123091770","https://openalex.org/W2125692076","https://openalex.org/W2133533044","https://openalex.org/W2136374365","https://openalex.org/W2138162238","https://openalex.org/W2139665923","https://openalex.org/W2147072697","https://openalex.org/W2160645305","https://openalex.org/W2167081754","https://openalex.org/W2175268987","https://openalex.org/W2334085438","https://openalex.org/W2337392266","https://openalex.org/W2396228987","https://openalex.org/W2796604341","https://openalex.org/W3005627109","https://openalex.org/W3006067270","https://openalex.org/W3096531048","https://openalex.org/W3113200168","https://openalex.org/W4235073904"],"related_works":["https://openalex.org/W135873494","https://openalex.org/W7099590425","https://openalex.org/W1962129536","https://openalex.org/W1571879982","https://openalex.org/W7099969281","https://openalex.org/W7097498832","https://openalex.org/W1552640639","https://openalex.org/W2280785298","https://openalex.org/W7096652064","https://openalex.org/W2733573529"],"abstract_inverted_index":{"In":[0],"this":[1,53],"paper":[2],"we":[3],"shall":[4],"describe":[5],"a":[6,14,55],"program":[7],"(MECHO),":[8],"written":[9],"in":[10,22,38],"Prolog[14],":[11],"which":[12],"solves":[13],"wide":[15],"range":[16],"of":[17,32,65],"mechanics":[18],"problems":[19],"from":[20],"statements":[21],"both":[23],"predicate":[24],"calculus":[25],"and":[26,47],"English.":[27],"Mecho":[28],"uses":[29],"the":[30,63],"technique":[31,57],"meta-level":[33],"inference":[34],"to":[35],"control":[36],"search":[37,60],"natural":[39],"language":[40],"understanding,":[41],"common":[42],"sense":[43],"inference,":[44],"model":[45],"formation":[46],"algebraic":[48],"manipulation.":[49],"We":[50],"argue":[51],"that":[52],"is":[54],"powerful":[56],"for":[58],"controlling":[59],"while":[61],"retaining":[62],"modularity":[64],"declarative":[66],"knowledge":[67],"representations.":[68]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}