{"id":"https://openalex.org/W4385767826","doi":"https://doi.org/10.24963/ijcai.2023/378","title":"Building Concise Logical Patterns by Constraining Tsetlin Machine Clause Size","display_name":"Building Concise Logical Patterns by Constraining Tsetlin Machine Clause Size","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385767826","doi":"https://doi.org/10.24963/ijcai.2023/378"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2023/378","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2023/378","pdf_url":"https://www.ijcai.org/proceedings/2023/0378.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2023/0378.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010066090","display_name":"K. Darshana Abeyrathna","orcid":"https://orcid.org/0000-0003-4816-2597"},"institutions":[{"id":"https://openalex.org/I188703460","display_name":"DNV (Norway)","ror":"https://ror.org/04c235406","country_code":"NO","type":"company","lineage":["https://openalex.org/I188703460"]},{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"K. Darshana Abeyrathna","raw_affiliation_strings":["DNV","University of Agder","DNV; University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DNV","institution_ids":["https://openalex.org/I188703460"]},{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]},{"raw_affiliation_string":"DNV; University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014600172","display_name":"Ahmed Abouzeid","orcid":"https://orcid.org/0000-0002-3427-6107"},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Ahmed A. O. Abouzeid","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068286560","display_name":"Bimal Bhattarai","orcid":"https://orcid.org/0000-0002-7339-3621"},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Bimal Bhattarai","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016919783","display_name":"Charul Giri","orcid":null},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Charul Giri","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014893010","display_name":"Sondre Glimsdal","orcid":null},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Sondre Glimsdal","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071922620","display_name":"Ole\u2010Christoffer Granmo","orcid":"https://orcid.org/0000-0002-7287-030X"},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Ole-Christoffer Granmo","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088563530","display_name":"Lei Jiao","orcid":"https://orcid.org/0000-0002-7115-6489"},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Lei Jiao","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021954465","display_name":"Rupsa Saha","orcid":"https://orcid.org/0000-0002-3006-5249"},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Rupsa Saha","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029534696","display_name":"Jivitesh Sharma","orcid":"https://orcid.org/0000-0001-5754-9078"},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Jivitesh Sharma","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033630071","display_name":"Svein Anders Tunheim","orcid":"https://orcid.org/0000-0001-7947-8485"},"institutions":[{"id":"https://openalex.org/I200650556","display_name":"University of Agder","ror":"https://ror.org/03x297z98","country_code":"NO","type":"education","lineage":["https://openalex.org/I200650556"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Svein A. Tunheim","raw_affiliation_strings":["University of Agder"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Agder","institution_ids":["https://openalex.org/I200650556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100342931","display_name":"Xuan Zhang","orcid":"https://orcid.org/0000-0002-8828-7442"},"institutions":[{"id":"https://openalex.org/I4210107808","display_name":"NORCE Research AS","ror":"https://ror.org/02gagpf75","country_code":"NO","type":"facility","lineage":["https://openalex.org/I4210107808"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Xuan Zhang","raw_affiliation_strings":["NORCE (Norwegian Research Center) AS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NORCE (Norwegian Research Center) AS","institution_ids":["https://openalex.org/I4210107808"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":11,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0862,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.87817786,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"3395","last_page":"3403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9883000254631042,"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"}},"topics":[{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9883000254631042,"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"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9869999885559082,"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/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9855999946594238,"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.7368474006652832},{"id":"https://openalex.org/keywords/literal","display_name":"Literal (mathematical logic)","score":0.6397988796234131},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6250582337379456},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5661958456039429},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46533268690109253},{"id":"https://openalex.org/keywords/cluster-analysis","display_name":"Cluster analysis","score":0.4594820737838745},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.40957289934158325},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.33217522501945496},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3305906653404236},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2262783646583557},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1737157106399536}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7368474006652832},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.6397988796234131},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6250582337379456},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5661958456039429},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46533268690109253},{"id":"https://openalex.org/C73555534","wikidata":"https://www.wikidata.org/wiki/Q622825","display_name":"Cluster analysis","level":2,"score":0.4594820737838745},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.40957289934158325},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.33217522501945496},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3305906653404236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2262783646583557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1737157106399536},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2023/378","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2023/378","pdf_url":"https://www.ijcai.org/proceedings/2023/0378.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2023/378","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2023/378","pdf_url":"https://www.ijcai.org/proceedings/2023/0378.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4789393689","display_name":null,"funder_award_id":"328724","funder_id":"https://openalex.org/F4320323299","funder_display_name":"Norges Forskningsr\u00e5d"}],"funders":[{"id":"https://openalex.org/F4320323299","display_name":"Norges Forskningsr\u00e5d","ror":"https://ror.org/00epmv149"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385767826.pdf"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W2100074460","https://openalex.org/W2101890023","https://openalex.org/W2113459411","https://openalex.org/W2129250947","https://openalex.org/W2181042685","https://openalex.org/W2405891861","https://openalex.org/W2796362437","https://openalex.org/W2898962957","https://openalex.org/W2945999242","https://openalex.org/W2996012579","https://openalex.org/W3045569263","https://openalex.org/W3084188882","https://openalex.org/W3103692895","https://openalex.org/W3116485994","https://openalex.org/W3119077141","https://openalex.org/W3119720298","https://openalex.org/W3123576825","https://openalex.org/W3127004482","https://openalex.org/W3127151952","https://openalex.org/W3129588259","https://openalex.org/W3163040778","https://openalex.org/W3163189794","https://openalex.org/W3174716710","https://openalex.org/W3195757357","https://openalex.org/W3199149573","https://openalex.org/W3200859004","https://openalex.org/W4221010870","https://openalex.org/W4226046012","https://openalex.org/W4226407116","https://openalex.org/W4285605523","https://openalex.org/W4312091118","https://openalex.org/W4312467244","https://openalex.org/W4312717574","https://openalex.org/W4312865637","https://openalex.org/W4313484499","https://openalex.org/W4317927914","https://openalex.org/W4327657959","https://openalex.org/W4366351848","https://openalex.org/W4382317640","https://openalex.org/W6752333115","https://openalex.org/W6791858558"],"related_works":["https://openalex.org/W2354228963","https://openalex.org/W2353470215","https://openalex.org/W2368065130","https://openalex.org/W2079547420","https://openalex.org/W2375526953","https://openalex.org/W1961477852","https://openalex.org/W2485218895","https://openalex.org/W2352938462","https://openalex.org/W2393979483","https://openalex.org/W2387863233"],"abstract_inverted_index":{"Tsetlin":[0],"Machine":[1],"(TM)":[2],"is":[3],"a":[4,69,86,96],"logic-based":[5],"machine":[6],"learning":[7,24,74],"approach":[8],"with":[9,39,142,153],"the":[10,54,58,90,102,150,162,169],"crucial":[11],"advantages":[12],"of":[13,30,57,72],"being":[14],"transparent":[15],"and":[16,122,132,158,181],"hardware-friendly.":[17],"While":[18],"TMs":[19,79],"match":[20],"or":[21],"surpass":[22],"deep":[23],"accuracy":[25,141,151,163],"for":[26,156],"an":[27],"increasing":[28],"number":[29],"applications,":[31],"large":[32],"clause":[33,59,91,97,170],"pools":[34],"tend":[35],"to":[36,144],"produce":[37],"clauses":[38,52,111,155],"many":[40],"literals":[41,100],"(long":[42],"clauses).":[43],"As":[44,93],"such,":[45],"they":[46],"become":[47],"less":[48],"interpretable.":[49],"Further,":[50],"longer":[51],"increase":[53],"switching":[55],"activity":[56],"logic":[60],"in":[61],"hardware,":[62],"consuming":[63],"more":[64,99],"power.":[65],"This":[66],"paper":[67],"introduces":[68],"novel":[70],"variant":[71],"TM":[73],"--":[75,81],"Clause":[76],"Size":[77],"Constrained":[78],"(CSC-TMs)":[80],"where":[82],"one":[83,173],"can":[84],"set":[85],"soft":[87],"constraint":[88,103],"on":[89,125],"size.":[92],"soon":[94],"as":[95,168],"includes":[98],"than":[101],"allows,":[104],"it":[105,165],"starts":[106],"expelling":[107],"literals.":[108,148],"Accordingly,":[109],"oversized":[110],"only":[112],"appear":[113],"transiently.":[114],"To":[115],"evaluate":[116],"CSC-TM,":[117],"we":[118],"conduct":[119],"classification,":[120],"clustering,":[121],"regression":[123],"experiments":[124],"tabular":[126],"data,":[127],"natural":[128],"language":[129],"text,":[130],"images,":[131],"board":[133],"games.":[134],"Our":[135],"results":[136],"show":[137],"that":[138],"CSC-TM":[139,178],"maintains":[140],"up":[143],"80":[145],"times":[146],"fewer":[147],"Indeed,":[149],"increases":[152],"shorter":[154],"TREC":[157],"BBC":[159],"Sports.":[160],"After":[161],"peaks,":[164],"drops":[166],"gracefully":[167],"size":[171],"approaches":[172],"literal.":[174],"We":[175],"finally":[176],"analyze":[177],"power":[179],"consumption":[180],"derive":[182],"new":[183],"convergence":[184],"properties.":[185]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}