{"id":"https://openalex.org/W2132950849","doi":null,"title":"The logic of persistence","display_name":"The logic of persistence","publication_year":1986,"publication_date":"1986-08-11","ids":{"openalex":"https://openalex.org/W2132950849","mag":"2132950849"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.124.165","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.165","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.rochester.edu/~kautz/papers/aaai86persist.pdf","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":"https://openalex.org/A5105508446","display_name":"Henry Kautz","orcid":"https://orcid.org/0000-0001-5219-2970","observed_orcids":["https://orcid.org/0000-0001-5219-2970"]},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Henry Kautz","raw_affiliation_strings":["Department of Computer Science University of Rochester Rochester New York"],"raw_orcid":"https://orcid.org/0000-0001-5219-2970","affiliations":[{"raw_affiliation_string":"Department of Computer Science University of Rochester Rochester New York","institution_ids":["https://openalex.org/I5388228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5105508446"],"corresponding_institution_ids":["https://openalex.org/I5388228"],"apc_list":null,"apc_paid":null,"fwci":5.2494,"has_fulltext":false,"cited_by_count":125,"citation_normalized_percentile":{"value":0.9604811,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"401","last_page":"405"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":1.0,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":1.0,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.0,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0,"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/persistence","display_name":"persistence","score":0.8619999885559082},{"id":"https://openalex.org/keywords/temporal-reasoning","display_name":"temporal reasoning","score":0.9430000185966492},{"id":"https://openalex.org/keywords/default-reasoning","display_name":"default reasoning","score":0.9700000286102295},{"id":"https://openalex.org/keywords/circumscription","display_name":"circumscription","score":0.8690000176429749},{"id":"https://openalex.org/keywords/nonmonotonic-logic","display_name":"nonmonotonic logic","score":0.9760000109672546},{"id":"https://openalex.org/keywords/default-logic","display_name":"default logic","score":0.8790000081062317},{"id":"https://openalex.org/keywords/procedural-representation","display_name":"procedural representation","score":0.8740000128746033}],"concepts":[{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.907832682132721},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.8833626508712769},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.8131446838378906},{"id":"https://openalex.org/C2781009140","wikidata":"https://www.wikidata.org/wiki/Q7170389","display_name":"Persistence (discontinuity)","level":2,"score":0.6341617107391357},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6227860450744629},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5955842137336731},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5117735266685486},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5033895373344421},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4519108235836029},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4409029483795166},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.28357911109924316},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.24380943179130554},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23404040932655334},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2065798044204712},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","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/C187320778","wikidata":"https://www.wikidata.org/wiki/Q1349130","display_name":"Geotechnical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.124.165","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.165","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.rochester.edu/~kautz/papers/aaai86persist.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.329.1965","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.1965","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.aaai.org/Papers/AAAI/1986/AAAI86-067.pdf","raw_type":"text"},{"id":"mag:2132950849","doi":null,"is_oa":false,"landing_page_url":"https://www.aaai.org/Papers/AAAI/1986/AAAI86-067.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306420577","display_name":"National 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":"National Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W95332643","https://openalex.org/W1279140112","https://openalex.org/W1596846951","https://openalex.org/W2945259913"],"related_works":["https://openalex.org/W192625972","https://openalex.org/W7047480068","https://openalex.org/W2569254586","https://openalex.org/W7098248064","https://openalex.org/W1542576960","https://openalex.org/W138160815","https://openalex.org/W7096160907","https://openalex.org/W7098290106","https://openalex.org/W2913214339","https://openalex.org/W1582102096"],"abstract_inverted_index":{"A":[0,88],"recent":[1],"paper":[2],"[Hanks19851":[3],"examines":[4,215],"temporal":[5,89],"reasoning":[6,32],"as":[7],"an":[8],"example":[9],"of":[10,19,39,49,65,141,170,178,180,184,227,275],"default":[11,20,25],"reasoning.":[12,189],"They":[13],"conclude":[14,281],"that":[15,64,71,96,127,148,158,197,206,258,282,301],"all":[16],"current":[17],"systems":[18],"reasoning,":[21],"including":[22],"non-monotonic":[23],"logic,":[24,26],"and":[27,54,103,241],"circumscription,":[28,50],"are":[29,81],"inadequate":[30],"for":[31],"about":[33,107],"persistence.":[34],"I":[35,194,209],"present":[36],"a":[37,43,47,67,85,115,139,222,242],"way":[38],"representing":[40,66],"persistence":[41,124,177,185,299],"in":[42,187,191,201],"framework":[44],"based":[45],"on":[46],"generalization":[48],"which":[51],"captures":[52],"Hanks":[53],"McDermott\u2019s":[55],"procedural":[56],"representation.":[57],"1.":[58],"Persistence":[59],"The":[60],"frame":[61,118],"problem":[62,119],"is":[63,120,200,207,239,247,254,262,266,284],"dynamic":[68],"world":[69,90],"so":[70],"one":[72,93,111,143,163],"can":[73,195],"formally":[74],"infer":[75,147,196],"the":[76,117,123,167,171,173,202,216,252,260,272,298,302],"facts":[77,150],"whose":[78],"truth":[79,155],"values":[80,156],"not":[82,152,285],"changed":[83],"by":[84],"given":[86,126],"action.":[87],"model":[91,226],"allows":[92],"to":[94,104,122,146,165,175,280,292,309],"assert":[95],"various":[97,101],"actions":[98],"occur":[99],"at":[100,135,245,271,287],"times,":[102],"be":[105],"silent":[106],"other":[108,161],"times.":[109],"When":[110],"reasons":[112],"with":[113],"such":[114],"model,":[116],"generalized":[121],"problem:":[125],"no":[128,133],"relevant":[129],"action,":[130],"or":[131],"perhaps":[132],"action":[134],"all,":[136],"occurred":[137],"over":[138,157],"stretch":[140],"time,":[142,228],"may":[144],"need":[145],"certain":[149],"do":[151,293],"change":[153],"their":[154],"time.":[159,276],"[n":[160],"words,":[162],"needs":[164],"represent":[166],"\u201cinertia":[168],"\u201d":[169],"world,":[172],"moment":[174,176,274],"many":[179],"its":[181],"properties.":[182],"Examples":[183],"abound":[186],"everyday":[188],"Sitting":[190],"my":[192,198],"office,":[193],"car":[199],"parking":[203],"lot,":[204],"because":[205],"where":[208],"left":[210],"it":[211,265],"this":[212],"morning.":[213],"IHanks":[214],"following":[217],"example,":[218],"here":[219],"simplified.":[220],"Assume":[221],"simple":[223],"linear,":[224],"discrete":[225],"containing":[229],"instants":[230],"1,":[231],"2,":[232],"3,":[233],"etc.":[234],"At":[235,249],"time":[236,250,288],"1":[237,308],"John":[238,246,268,283],"alive,":[240],"gun":[243,253,261,303],"aimed":[244],"loaded.":[248],"3":[251],"fired.":[255],"We":[256,277],"know":[257],"if":[259],"loaded":[263,305],"when":[264],"fired,":[267],"will":[269],"die":[270],"next":[273],"would":[278],"like":[279],"alive":[286],"4.":[289],"In":[290],"order":[291],"so,":[294],"we":[295],"must":[296],"make":[297],"inference":[300],"stays":[304],"from":[306],"times":[307],"3.":[310],"(See":[311],"figure":[312]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}