{"id":"https://openalex.org/W7148305991","doi":"https://doi.org/10.48550/arxiv.2604.00043","title":"DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents","display_name":"DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents","publication_year":2026,"publication_date":"2026-03-29","ids":{"openalex":"https://openalex.org/W7148305991","doi":"https://doi.org/10.48550/arxiv.2604.00043"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.00043","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00043","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.2604.00043","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5132741345","display_name":"Seamus Brady","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Brady, Seamus","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5132741345"],"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5562999844551086,"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":0.5562999844551086,"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.10480000078678131,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.07569999992847443,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/compiler","display_name":"Compiler","score":0.6165000200271606},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.38280001282691956},{"id":"https://openalex.org/keywords/compiler-correctness","display_name":"Compiler correctness","score":0.3806000053882599},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.36320000886917114},{"id":"https://openalex.org/keywords/callback","display_name":"Callback","score":0.3474000096321106},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.34299999475479126},{"id":"https://openalex.org/keywords/abstract-syntax","display_name":"Abstract syntax","score":0.3294999897480011},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.3246999979019165}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8557999730110168},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7961000204086304},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6165000200271606},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.38280001282691956},{"id":"https://openalex.org/C68366613","wikidata":"https://www.wikidata.org/wiki/Q5156378","display_name":"Compiler correctness","level":3,"score":0.3806000053882599},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.36320000886917114},{"id":"https://openalex.org/C204495577","wikidata":"https://www.wikidata.org/wiki/Q1205349","display_name":"Callback","level":2,"score":0.3474000096321106},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.34299999475479126},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.3294999897480011},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.3057999908924103},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C58646249","wikidata":"https://www.wikidata.org/wiki/Q127380","display_name":"Abstract syntax tree","level":3,"score":0.3000999987125397},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.2985000014305115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29280000925064087},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.26649999618530273},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.2662000060081482},{"id":"https://openalex.org/C9957790","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler construction","level":3,"score":0.26510000228881836},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.00043","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00043","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.00043","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.00043","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"score":0.5634129643440247,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Non-Axiomatic":[0,69],"Reasoning":[1],"Systems":[2],"(NARS)":[3],"provide":[4],"a":[5,25,48,98,131,154,163],"framework":[6],"for":[7,134,203],"building":[8],"adaptive":[9],"agents":[10],"that":[11,52],"operate":[12],"under":[13],"insufficient":[14],"knowledge":[15],"and":[16,34,43,64,84,125,142,149,170,186,192],"resources.":[17],"However,":[18],"the":[19,61,111,139,146,151,184,189],"standard":[20],"input":[21],"language,":[22],"Narsese,":[23,162],"poses":[24],"usability":[26],"barrier:":[27],"its":[28,193],"dense":[29],"symbolic":[30,89],"notation,":[31],"overloaded":[32],"punctuation,":[33],"implicit":[35],"conventions":[36],"make":[37],"programs":[38,115],"difficult":[39],"to":[40,54,117],"read,":[41],"write,":[42],"maintain.":[44],"We":[45,137],"present":[46],"DriftScript,":[47],"Lisp-like":[49],"domain-specific":[50],"language":[51,140,191],"compiles":[53],"Narsese.":[55],"DriftScript":[56,114,190],"provides":[57],"source-level":[58],"constructs":[59],"covering":[60],"major":[62],"sentence":[63],"term":[65],"forms":[66],"used":[67,109],"in":[68,103],"Logic":[70],"(NAL)":[71],"levels":[72],"1":[73],"through":[74,120,153],"8,":[75],"including":[76],"inheritance,":[77],"temporal":[78],"implication,":[79],"variable":[80],"quantification,":[81],"sequential":[82],"conjunction,":[83],"operation":[85,128],"invocation,":[86],"while":[87],"replacing":[88],"syntax":[90],"with":[91,110],"readable":[92],"keyword-based":[93],"S-expressions.":[94],"The":[95,173],"compiler":[96,147,152],"is":[97,176],"zero-dependency,":[99],"four-stage":[100],"pipeline":[101],"implemented":[102],"1,941":[104],"lines":[105],"of":[106,188],"C99.":[107],"When":[108],"DriftNARS":[112],"engine,":[113],"connect":[116],"external":[118],"systems":[119],"four":[121],"structured":[122],"callback":[123],"types":[124],"an":[126],"HTTP":[127],"registry,":[129],"enabling":[130],"sense-reason-act":[132],"loop":[133],"autonomous":[135],"agents.":[136],"describe":[138],"design":[141,185],"formal":[143],"grammar,":[144],"detail":[145],"architecture,":[148],"evaluate":[150],"106-case":[155],"test":[156],"suite,":[157],"equivalence":[158],"testing":[159],"against":[160],"hand-written":[161],"NAL":[164],"coverage":[165],"analysis,":[166],"structural":[167],"readability":[168],"metrics,":[169],"compilation":[171],"benchmarks.":[172],"source":[174],"code":[175],"available":[177],"at":[178],"https://github.com/seamus-brady/DriftNARS.":[179],"This":[180],"paper":[181],"focuses":[182],"on":[183,199],"implementation":[187],"embedding":[194],"into":[195],"DriftNARS,":[196],"rather":[197],"than":[198],"new":[200],"inference":[201],"algorithms":[202],"NARS":[204],"itself.":[205]},"counts_by_year":[],"updated_date":"2026-04-03T16:44:17.987007","created_date":"2026-04-03T00:00:00"}