{"id":"https://openalex.org/W1971464883","doi":"https://doi.org/10.1145/75427.1030272","title":"The qualitative problem solving system PHYSYS","display_name":"The qualitative problem solving system PHYSYS","publication_year":1989,"publication_date":"1989-02-21","ids":{"openalex":"https://openalex.org/W1971464883","doi":"https://doi.org/10.1145/75427.1030272","mag":"1971464883"},"language":"en","primary_location":{"id":"mag:1971464883","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/acm/csc89.html#ShemiraniT89","pdf_url":null,"source":{"id":"https://openalex.org/S4306523556","display_name":"Proceedings of the 17th conference on ACM Annual Computer Science Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Proceedings of the 17th conference on ACM Annual Computer Science Conference","raw_type":null},"type":"article","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/A5085319502","display_name":"Ali Manafi Shemirani","orcid":null},"institutions":[{"id":"https://openalex.org/I8692664","display_name":"University of Oklahoma","ror":"https://ror.org/02aqsxs83","country_code":"US","type":"education","lineage":["https://openalex.org/I8692664"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ali Manafi Shemirani","raw_affiliation_strings":["University of Oklahoma, Norman, Oklahoma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oklahoma, Norman, Oklahoma","institution_ids":["https://openalex.org/I8692664"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036550215","display_name":"John C. Thompson","orcid":null},"institutions":[{"id":"https://openalex.org/I8692664","display_name":"University of Oklahoma","ror":"https://ror.org/02aqsxs83","country_code":"US","type":"education","lineage":["https://openalex.org/I8692664"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John C. Thompson","raw_affiliation_strings":["University of Oklahoma, Norman, Oklahoma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oklahoma, Norman, Oklahoma","institution_ids":["https://openalex.org/I8692664"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085319502"],"corresponding_institution_ids":["https://openalex.org/I8692664"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21148825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"444","last_page":"444"},"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.9430999755859375,"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.9430999755859375,"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/computer-science","display_name":"Computer science","score":0.6729539036750793},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6058541536331177},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.5622333288192749},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.509199321269989},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.4942913055419922},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.4428607225418091},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.4242503345012665},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.41461506485939026},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.404299795627594},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3603687882423401},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19473561644554138}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6729539036750793},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6058541536331177},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5622333288192749},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.509199321269989},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.4942913055419922},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.4428607225418091},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.4242503345012665},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.41461506485939026},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.404299795627594},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3603687882423401},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19473561644554138},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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":1,"locations":[{"id":"mag:1971464883","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/acm/csc89.html#ShemiraniT89","pdf_url":null,"source":{"id":"https://openalex.org/S4306523556","display_name":"Proceedings of the 17th conference on ACM Annual Computer Science Conference","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":null,"raw_source_name":"Proceedings of the 17th conference on ACM Annual Computer Science Conference","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1951447585","https://openalex.org/W2146662835","https://openalex.org/W2003993855","https://openalex.org/W1659546960","https://openalex.org/W2329037052","https://openalex.org/W1550043933","https://openalex.org/W2742251194","https://openalex.org/W1554471481","https://openalex.org/W276088798","https://openalex.org/W1599652151","https://openalex.org/W2081908004","https://openalex.org/W14030788","https://openalex.org/W2000803397","https://openalex.org/W2158582636","https://openalex.org/W108981635","https://openalex.org/W2322154206","https://openalex.org/W2081338874","https://openalex.org/W2316167543","https://openalex.org/W2282734072","https://openalex.org/W2774770728"],"abstract_inverted_index":{"Any":[0],"expert":[1],"system":[2,17,158,174,184,214,233,263,281,291,308,328,341],"designer":[3],"should":[4,29],"consider":[5],"answering":[6],"questions":[7],"such":[8,44,191,376],"as":[9,114,144,192,354],"What":[10,35],"knowledge":[11,31,72,92,113,277,312],"must":[12],"be":[13,32,142],"available":[14],"to":[15,74,96,101,182,219,234,255,265,270,283,335,364],"the":[16,22,75,103,106,125,149,156,169,173,183,209,224,232,237,246,250,257,260,262,267,272,280,288,293,297,301,321,327,337,340,355],"so":[18],"that":[19,30,59],"it":[20,347],"reaches":[21],"solution":[23,104,258,273],"of":[24,43,56,61,71,78,105,127,155,187,228,239,249,259,278,296,320,360,371,381],"a":[25,45,66,79,84,118,145,176],"given":[26],"problem,":[27],"How":[28],"represented,":[33],"and":[34,100,121,197,211,241,274,368],"Programming":[36],"Language":[37],"is":[38,159,162,204],"most":[39],"suited":[40],"for":[41,147,223,315,375],"implementation":[42,356],"system.":[80],"It":[47,161],"has":[48,383],"been":[49,384],"shown":[50],"by":[51,300],"research":[52],"on":[53,175,200],"various":[54],"types":[55],"rule-based":[57],"systems":[58],"representations":[60],"prototypical":[62,94],"situations":[63,95,139],"confronted":[64],"in":[65,117,124,167,185,386],"domain":[67,126],"are":[68,132,180],"one":[69,166],"kind":[70],"crucial":[73],"performance":[76],"competencies":[77],"This":[81],"paper":[82],"presents":[83],"problem":[85,107,251,298,305,322],"solving":[86],"system,":[87,165],"called":[88,133],"PHYSYS,":[89],"which":[90,140,168],"uses":[91],"about":[93,245,287],"guide":[97],"its":[98,112,276,311,361,369],"processing":[99],"compute":[102],"at":[108],"hand.":[109],"PHYSYS":[110,157,382],"represents":[111],"frames,":[115],"organized":[116],"semantic":[119],"net,":[120],"performs":[122,215],"tasks":[123],"engineering":[128],"mechanics.":[129],"The":[130,152,213,226,290,307],"frames":[131],"prototypes":[134],"because":[135,359],"they":[136],"represent":[137],"typical":[138],"can":[141,342],"used":[143],"basis":[146],"composing":[148],"actual":[150],"situation.":[151],"overall":[153],"idea":[154],"simple.":[160],"an":[163,216],"interactive":[164],"user":[170,268],"communicates":[171],"with":[172,206],"one-to-one":[177],"basis.":[178],"Problems":[179],"posed":[181],"terms":[186],"simple":[188],"physical":[189,247],"objects":[190,210],"blocks,":[193],"inclined":[194],"planes,":[195],"etc.,":[196],"forces":[198],"acting":[199],"these":[201,330],"objects.":[202],"Input":[203],"specified":[205],"icons":[207],"representing":[208],"forces.":[212,225],"analysis":[217,230],"analogous":[218],"constructing":[220],"vector":[221],"diagrams":[222],"results":[227],"this":[229],"allow":[231],"(1)":[235],"derive":[236],"equations":[238,261,346],"motion":[240],"(2)":[242],"reason":[243],"qualitatively":[244],"behavior":[248],"elements.":[252],"In":[253],"contrast":[254],"finding":[256],"tries":[264],"show":[266],"how":[269],"obtain":[271],"using":[275,323],"physics,":[279],"attempts":[282],"make":[284],"qualitative":[285,350],"statements":[286],"solution.":[289],"decomposes":[292],"pictorial":[294],"description":[295],"supplied":[299],"user,":[302],"into":[303],"primitive":[304,318,331],"constituents.":[306],"then":[309],"searches":[310],"base":[313],"looking":[314],"those":[316],"specific":[317],"consituents":[319],"pattern":[324],"matching.":[325],"Finally,":[326],"composes":[329],"constituents":[332],"back":[333],"together,":[334],"complete":[336],"problem.":[338],"Since":[339],"not":[343],"solve":[344],"differential":[345],"generates":[348],"only":[349],"predictions.We":[351],"chose":[352],"Prolog":[353],"language":[357],"primarily":[358],"inherent":[362],"ability":[363],"do":[365],"backward":[366],"chaining":[367],"promise":[370],"shortened":[372],"development":[373],"time":[374],"problems.":[377],"A":[378],"prototype":[379],"version":[380],"implemented":[385],"Turbo":[387],"Prolog.":[388]},"counts_by_year":[],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}