{"id":"https://openalex.org/W7119215834","doi":"https://doi.org/10.48550/arxiv.2601.00755","title":"A formal theory on problem space as a semantic world model in systems engineering","display_name":"A formal theory on problem space as a semantic world model in systems engineering","publication_year":2026,"publication_date":"2026-01-02","ids":{"openalex":"https://openalex.org/W7119215834","doi":"https://doi.org/10.48550/arxiv.2601.00755"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2601.00755","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.00755","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2601.00755","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113304112","display_name":"Mayuranath SureshKumar","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"SureshKumar, Mayuranath","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5003945796","display_name":"Hanumanthrao Kannan","orcid":"https://orcid.org/0000-0001-5307-7800"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kannan, Hanumanthrao","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5113304112"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.8920999765396118,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.8920999765396118,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T11810","display_name":"Complex Systems and Decision Making","score":0.020400000736117363,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12888","display_name":"Military Strategy and Technology","score":0.007799999788403511,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/frame-problem","display_name":"Frame problem","score":0.621399998664856},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.43130001425743103},{"id":"https://openalex.org/keywords/framing","display_name":"Framing (construction)","score":0.412200003862381},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.37619999051094055},{"id":"https://openalex.org/keywords/stakeholder","display_name":"Stakeholder","score":0.3497999906539917},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.33739998936653137}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6276000142097473},{"id":"https://openalex.org/C5065155","wikidata":"https://www.wikidata.org/wiki/Q1185775","display_name":"Frame problem","level":2,"score":0.621399998664856},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.43130001425743103},{"id":"https://openalex.org/C169087156","wikidata":"https://www.wikidata.org/wiki/Q2131593","display_name":"Framing (construction)","level":2,"score":0.412200003862381},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.40799999237060547},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.37619999051094055},{"id":"https://openalex.org/C201305675","wikidata":"https://www.wikidata.org/wiki/Q852998","display_name":"Stakeholder","level":2,"score":0.3497999906539917},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.33739998936653137},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.3100000023841858},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.30970001220703125},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29409998655319214},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.25380000472068787},{"id":"https://openalex.org/C86034646","wikidata":"https://www.wikidata.org/wiki/Q474311","display_name":"Semantic gap","level":4,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2601.00755","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.00755","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2601.00755","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.00755","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.5377200245857239}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Classic":[0],"problem-space":[1,135],"theory":[2,176,195],"models":[3],"problem":[4,41,86,158,197],"solving":[5],"as":[6,88,164],"a":[7,10,35,117,149,165,181,187],"navigation":[8],"through":[9],"structured":[11],"space":[12,42,87],"of":[13,39,134,144,156,174],"states,":[14],"operators,":[15],"goals,":[16],"and":[17,67,103,114,132,160,179,189],"constraints.":[18],"Systems":[19],"Engineering":[20],"(SE)":[21],"employs":[22],"analogous":[23],"constructs":[24,96,107],"(functional":[25],"analysis,":[26,28],"operational":[27,63],"scenarios,":[29],"trade":[30],"studies),":[31],"yet":[32],"still":[33],"lacks":[34],"rigorous":[36,118],"systems-theoretic":[37],"representation":[38],"the":[40,62,85,110,157,172,175,194],"itself.":[43],"In":[44],"current":[45],"practice,":[46],"reasoning":[47,140],"often":[48],"proceeds":[49],"directly":[50],"from":[51],"stakeholder":[52,129,188],"goals":[53],"to":[54,101,127],"prescriptive":[55,202],"artifacts.":[56,203],"This":[57,78],"makes":[58],"foundational":[59],"assumptions":[60],"about":[61],"environment,":[64],"admissible":[65],"interactions,":[66],"contextual":[68],"conditions":[69],"implicit":[70],"or":[71,76],"prematurely":[72],"embedded":[73],"in":[74],"architectures":[75],"requirements.":[77],"paper":[79,168],"addresses":[80],"that":[81,97],"gap":[82],"by":[83,170],"formalizing":[84],"an":[89,190],"explicit":[90],"semantic":[91],"world":[92],"model":[93],"containing":[94],"theoretical":[95],"are":[98],"defined":[99],"prior":[100],"requirements":[102],"solution":[104,145],"commitments.":[105],"These":[106],"along":[108],"with":[109],"developed":[111],"axioms,":[112],"theorems":[113],"corollary":[115],"establish":[116],"criterion":[119],"for":[120],"unambiguous":[121],"boundary":[122],"semantics,":[123],"context-dependent":[124],"interaction":[125],"traceability":[126],"successful":[128],"goal":[130],"satisfaction,":[131],"sufficiency":[133],"specification":[136],"over":[137],"which":[138],"disciplined":[139],"can":[141],"occur":[142],"independent":[143],"design.":[146],"It":[147],"offers":[148],"clear":[150],"distinction":[151],"between":[152,186],"what":[153,161],"is":[154,162],"true":[155],"domain":[159],"chosen":[163],"solution.":[166],"The":[167],"concludes":[169],"discussing":[171],"significance":[173],"on":[177],"practitioners":[178],"provides":[180],"dialogue-based":[182],"hypothetical":[183],"case":[184],"study":[185],"engineer,":[191],"demonstrating":[192],"how":[193],"guides":[196],"framing":[198],"before":[199],"designing":[200],"any":[201]},"counts_by_year":[],"updated_date":"2026-01-08T20:10:11.968330","created_date":"2026-01-08T00:00:00"}