{"id":"https://openalex.org/W196621846","doi":null,"title":"Constraining Analogical Inference with Memory-based Verification","display_name":"Constraining Analogical Inference with Memory-based Verification","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W196621846","mag":"196621846"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.10.5388","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5388","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.may.ie/~dod/pubs/99-aics.ps","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Diarmuid O\u2019Donoghue","orcid":"https://orcid.org/0000-0002-3680-4217","observed_orcids":["https://orcid.org/0000-0002-3680-4217"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Diarmuid O\u2019Donoghue","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3680-4217","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9467999935150146,"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.9467999935150146,"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.042100001126527786,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.006099999882280827,"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/analogical-reasoning","display_name":"analogical reasoning","score":0.8880000114440918},{"id":"https://openalex.org/keywords/analogical-inference","display_name":"analogical inference","score":0.9710000157356262},{"id":"https://openalex.org/keywords/pattern-completion","display_name":"pattern completion","score":0.7009999752044678},{"id":"https://openalex.org/keywords/similarity","display_name":"similarity","score":0.4309999942779541}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7555478811264038},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7181752920150757},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7007118463516235},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6143788695335388},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.59821617603302},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.5844520926475525},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5297546982765198},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.526975154876709},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4548488259315491},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.43574559688568115},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16567957401275635},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1288328468799591},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.10.5388","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.5388","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.may.ie/~dod/pubs/99-aics.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.197.9070","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.197.9070","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.may.ie/~dod/pubs/99-aics.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.74.6149","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.6149","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.nuim.ie/~dod/pubs/99-aics.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.76.1943","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.1943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.nuim.ie/~dod/pubs/99-aics.pdf","raw_type":"text"},{"id":"mag:196621846","doi":null,"is_oa":false,"landing_page_url":"https://www.cs.nuim.ie/~dod/pubs/99-aics.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W118351535","https://openalex.org/W1980169328","https://openalex.org/W1994925058","https://openalex.org/W1995921430","https://openalex.org/W2026161499","https://openalex.org/W2049188915","https://openalex.org/W2052417512","https://openalex.org/W2054586236","https://openalex.org/W2059975159","https://openalex.org/W2064625566","https://openalex.org/W2126714349","https://openalex.org/W2145454741","https://openalex.org/W2168700136","https://openalex.org/W2526582379","https://openalex.org/W3000528734"],"related_works":["https://openalex.org/W2783149085","https://openalex.org/W6686359","https://openalex.org/W7095994011","https://openalex.org/W2129940580","https://openalex.org/W7099380353","https://openalex.org/W2326340416","https://openalex.org/W2590962625","https://openalex.org/W7098786567","https://openalex.org/W2499814683","https://openalex.org/W1330140"],"abstract_inverted_index":{"D.":[0],"O'Donoghue,":[1],"Dept.":[2],"Computer":[3],"Science,":[4],"NUI":[5],"Maynooth,":[6],"Co.":[7],"Kildare,":[8],"Ireland.":[9],"From,":[10],"Analogies":[11],"complete":[12],"their":[13],"primary":[14],"task":[15],"of":[16,44,78,99],"generating":[17],"new":[18],"knowledge":[19],"about":[20],"a":[21,26,42,68],"problem":[22,31],"domain,":[23,51],"based":[24],"on":[25,96],"noted":[27],"similarity":[28,111],"between":[29,56],"the":[30,49,65,97],"and":[32,115],"some":[33],"other":[34],"familiar":[35],"domain.":[36],"Analogical":[37],"inferences":[38,105],"are":[39],"generated":[40],"as":[41],"form":[43],"pattern":[45],"completion":[46],"occurring":[47],"in":[48],"target":[50],"but":[52],"not":[53],"all":[54],"comparisons":[55],"structurally":[57],"similar":[58],"domains":[59],"generate":[60],"valid":[61],"inferences.":[62,93],"We":[63,73,94],"highlight":[64],"need":[66],"for":[67],"domain":[69],"independent":[70],"verification":[71,85],"mechanism.":[72],"describe":[74],"an":[75,83],"extended":[76],"model":[77],"analogical":[79],"reasoning":[80],"that":[81],"includes":[82],"explicit":[84],"mechanism,":[86],"employing":[87],"existing":[88],"memory":[89],"to":[90,113],"verify":[91],"candidate":[92,104],"focus":[95],"soundness":[98],"first-order":[100],"predicates":[101],"by":[102],"comparing":[103],"with":[106,109],"background":[107],"memory,":[108],"greater":[110],"leading":[112],"quicker":[114],"clearer":[116],"verification.":[117]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}