{"id":"https://openalex.org/W4245171749","doi":"https://doi.org/10.1305/ndjfl/1093636008","title":"Surface reasoning.","display_name":"Surface reasoning.","publication_year":1991,"publication_date":"1991-12-01","ids":{"openalex":"https://openalex.org/W4245171749","doi":"https://doi.org/10.1305/ndjfl/1093636008"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093636008","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093636008","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","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/A5110826173","display_name":"William C. Purdy","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"William C. Purdy","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110826173"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1318,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.8514229,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"33","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9819999933242798,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9819999933242798,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9168000221252441,"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/surface","display_name":"Surface (topology)","score":0.4397236108779907},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.38382670283317566},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38151949644088745},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3806307911872864},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.16048666834831238},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.08804848790168762}],"concepts":[{"id":"https://openalex.org/C2776799497","wikidata":"https://www.wikidata.org/wiki/Q484298","display_name":"Surface (topology)","level":2,"score":0.4397236108779907},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38382670283317566},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38151949644088745},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3806307911872864},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.16048666834831238},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08804848790168762},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093636008","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093636008","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093636008","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093636008","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W52246302","https://openalex.org/W82835981","https://openalex.org/W1809048060","https://openalex.org/W2010999747","https://openalex.org/W2041792487","https://openalex.org/W2043553949","https://openalex.org/W2051033340","https://openalex.org/W2120935172","https://openalex.org/W2163281333","https://openalex.org/W2165363880","https://openalex.org/W3202191747","https://openalex.org/W4230547059","https://openalex.org/W4236828747","https://openalex.org/W4241491845"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644"],"abstract_inverted_index":{"Surface":[0],"reasoning":[1,67,73,109,205,239,291],"is":[2,21,68,77,80,88,120,141,183,206,235,248,286],"defined":[3,207],"to":[4,34,43,82,106,143,158,165,176,191,200,208,252,265],"be":[5,209],"deduction":[6,210,269],"conducted":[7,211,270],"in":[8,12,32,74,174,189,212,216,271,283],"a":[9,22,35,62,70,177,192,249,272],"surface":[10,19,66,139,160,171,214,227,238,290],"language":[11,20,27,46,60,140,161,167,179,203],"terms":[13,217],"of":[14,58,92,95,97,104,117,124,134,218,232,243,296],"certain":[15],"primitive":[16,48,130,220],"logical":[17,49],"relations.A":[18],"spoken":[23,185],"or":[24,38,186,195],"written":[25,187],"natural":[26,45,178,202],"(in":[28,229],"this":[29,75,118],"paper,":[30],"English),":[31],"contrast":[33,190],"\"base":[36,193],"language\"":[37,194],"\"deep":[39,196],"structure\"":[40,197],"sometimes":[41,198],"hypothesized":[42,199,236],"explain":[44,166,201],"phenomena.The":[47],"relations":[50,123],"are":[51,100,111,129,162],"inclusion,":[52,125,222],"exclusion,":[53,126,223],"and":[54,61,127,131,145,149,153,169,224,254,279],"overlap":[55,128],"between":[56],"classes":[57,103],"entities.A":[59],"calculus":[63,76],"for":[64,72],"representing":[65],"presented.Then":[69],"paradigm":[71,79],"developed.This":[78],"similar":[81],"but":[83],"more":[84],"general":[85],"than":[86],"syllogistic.Reasoning":[87],"represented":[89],"as":[90,181],"construction":[91],"fragments":[93],"(subposets)":[94],"lattices.Elements":[96],"the":[98,108,122,138,159,184,213,219,230,241,260],"lattices":[99],"expressions":[101],"denoting":[102],"individuals.Strategies":[105],"streamline":[107],"process":[110],"proposed.":[112],"/":[113],"IntroductionThe":[114],"underlying":[115],"premise":[116],"paper":[119],"that":[121,137,150,237,289],"important":[132],"constructs":[133],"human":[135,244],"reasoning;":[136],"adequate":[142],"express":[144],"manipulate":[146],"these":[147],"constructs;":[148],"disparate":[151,273],"logics":[152],"complex":[154],"transformations":[155],"linking":[156],"them":[157],"not":[163,287],"necessary":[164],"understanding":[168,253],"reasoning.The":[170],"language,":[172,188,215,274],"used":[173],"relation":[175],"such":[180],"English,":[182],"phenomena.Surface":[204],"relations,":[221],"overlap,":[225],"involving":[226],"information":[228],"sense":[231],"Hintikka":[233],"[6]).It":[234],"captures":[240],"essence":[242],"reasoning.Therefore":[245],"its":[246],"study":[247],"fruitful":[250],"approach":[251,264],"implementing":[255],"cognitive":[256],"agents.This":[257],"contrasts":[258],"with":[259],"de":[261],"facto":[262],"standard":[263],"automated":[266],"reasoning,":[267],"viz.,":[268],"clausal-form":[275],"logic,":[276],"employing":[277],"unification":[278],"resolution,":[280],"typically":[281],"performed":[282],"depth-first":[284],"order.It":[285],"suggested":[288],"can":[292],"supplant":[293],"conventional":[294],"forms":[295],"formal":[297]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}