{"id":"https://openalex.org/W7201833465","doi":"https://doi.org/10.31449/inf.v50i14.12247","title":"Learning Fuzzy Dual-Modal Concepts and Constructing Concept LatticesUsing Modal Operators in Formal Concept Analysis","display_name":"Learning Fuzzy Dual-Modal Concepts and Constructing Concept LatticesUsing Modal Operators in Formal Concept Analysis","publication_year":2026,"publication_date":"2026-08-06","ids":{"openalex":"https://openalex.org/W7201833465","doi":"https://doi.org/10.31449/inf.v50i14.12247"},"language":"en","primary_location":{"id":"doi:10.31449/inf.v50i14.12247","doi":"https://doi.org/10.31449/inf.v50i14.12247","is_oa":true,"landing_page_url":"https://doi.org/10.31449/inf.v50i14.12247","pdf_url":"https://www.informatica.si/index.php/informatica/article/download/12247/6767","source":{"id":"https://openalex.org/S4210173311","display_name":"Informatica","issn_l":"0350-5596","issn":["0350-5596","1854-3871"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","jufo-1","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310314525","host_organization_name":"Slovenian Society Informatika","host_organization_lineage":["https://openalex.org/P4310314525"],"host_organization_lineage_names":["Slovenian Society Informatika"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Informatica","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.informatica.si/index.php/informatica/article/download/12247/6767","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020013050","display_name":"Loutfi Zerarga","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I187560010","display_name":"University of B\u00e9ja\u00efa","ror":"https://ror.org/03yb2hp88","country_code":"DZ","type":"education","lineage":["https://openalex.org/I187560010"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Loutfi Zerarga","raw_affiliation_strings":["LIMED Laboratory, Faculty of Exact Sciences, University of Bejaia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIMED Laboratory, Faculty of Exact Sciences, University of Bejaia","institution_ids":["https://openalex.org/I187560010"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5146026001","display_name":"Yacine Djouadi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Yacine Djouadi","raw_affiliation_strings":["RIIMA Laboratory, University of Science and Technology Houari Boumediene"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RIIMA Laboratory, University of Science and Technology Houari Boumediene","institution_ids":["https://openalex.org/I157169809"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.51683155,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"50","issue":"14","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.00039999998989515007,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzzy-formal-concept-analysis","display_name":"fuzzy formal concept analysis","score":0.8640000224113464},{"id":"https://openalex.org/keywords/modal-operators","display_name":"modal operators","score":0.6359999775886536},{"id":"https://openalex.org/keywords/necessity-operator","display_name":"necessity operator","score":0.7720000147819519},{"id":"https://openalex.org/keywords/possibility-operator","display_name":"possibility operator","score":1.0},{"id":"https://openalex.org/keywords/concept-lattice-construction","display_name":"concept lattice construction","score":0.8190000057220459},{"id":"https://openalex.org/keywords/fuzzy-formal-context","display_name":"fuzzy formal context","score":0.8299999833106995},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"combinatorial explosion","score":0.7129999995231628},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"information retrieval","score":0.828000009059906}],"concepts":[{"id":"https://openalex.org/C76363472","wikidata":"https://www.wikidata.org/wiki/Q1437394","display_name":"Formal concept analysis","level":2,"score":0.885699987411499},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.6730999946594238},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.6299999952316284},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5534999966621399},{"id":"https://openalex.org/C203136989","wikidata":"https://www.wikidata.org/wiki/Q6497099","display_name":"Lattice Miner","level":3,"score":0.5407000184059143},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.5277000069618225},{"id":"https://openalex.org/C148671577","wikidata":"https://www.wikidata.org/wiki/Q5511133","display_name":"Fuzzy set operations","level":4,"score":0.5248000025749207},{"id":"https://openalex.org/C127385683","wikidata":"https://www.wikidata.org/wiki/Q1475696","display_name":"Fuzzy classification","level":4,"score":0.4787999987602234},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.47209998965263367},{"id":"https://openalex.org/C17350324","wikidata":"https://www.wikidata.org/wiki/Q7860605","display_name":"Type-2 fuzzy sets and systems","level":5,"score":0.46050000190734863},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.4562000036239624},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4366999864578247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4341999888420105},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.4237000048160553},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.40209999680519104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39399999380111694},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38839998841285706},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.38190001249313354},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3790000081062317},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.3695000112056732},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.3580999970436096},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C203313322","wikidata":"https://www.wikidata.org/wiki/Q5158394","display_name":"Concept class","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C144170203","wikidata":"https://www.wikidata.org/wiki/Q5511099","display_name":"Fuzzy associative matrix","level":5,"score":0.32199999690055847},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.31540000438690186},{"id":"https://openalex.org/C201640847","wikidata":"https://www.wikidata.org/wiki/Q2362924","display_name":"Complete lattice","level":3,"score":0.3093000054359436},{"id":"https://openalex.org/C170260401","wikidata":"https://www.wikidata.org/wiki/Q5251735","display_name":"Defuzzification","level":5,"score":0.29670000076293945},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.2858999967575073},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.28130000829696655},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.2644999921321869},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.25940001010894775},{"id":"https://openalex.org/C115740575","wikidata":"https://www.wikidata.org/wiki/Q5511136","display_name":"Fuzzy subalgebra","level":5,"score":0.25600001215934753},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.2524999976158142},{"id":"https://openalex.org/C2777573902","wikidata":"https://www.wikidata.org/wiki/Q1491747","display_name":"Galois connection","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.31449/inf.v50i14.12247","doi":"https://doi.org/10.31449/inf.v50i14.12247","is_oa":true,"landing_page_url":"https://doi.org/10.31449/inf.v50i14.12247","pdf_url":"https://www.informatica.si/index.php/informatica/article/download/12247/6767","source":{"id":"https://openalex.org/S4210173311","display_name":"Informatica","issn_l":"0350-5596","issn":["0350-5596","1854-3871"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","jufo-1","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310314525","host_organization_name":"Slovenian Society Informatika","host_organization_lineage":["https://openalex.org/P4310314525"],"host_organization_lineage_names":["Slovenian Society Informatika"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Informatica","raw_type":"journal-article"},{"id":"pmh:oai:neshe.ijs.si:article/12247","doi":null,"is_oa":true,"landing_page_url":"https://www.informatica.si/index.php/index/article/view/12247","pdf_url":null,"source":{"id":"https://openalex.org/S4210173311","display_name":"Informatica","issn_l":"0350-5596","issn":["0350-5596","1854-3871"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","jufo-1","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310314525","host_organization_name":"Slovenian Society Informatika","host_organization_lineage":["https://openalex.org/P4310314525"],"host_organization_lineage_names":["Slovenian Society Informatika"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10.31449/inf.v50i14","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.31449/inf.v50i14.12247","doi":"https://doi.org/10.31449/inf.v50i14.12247","is_oa":true,"landing_page_url":"https://doi.org/10.31449/inf.v50i14.12247","pdf_url":"https://www.informatica.si/index.php/informatica/article/download/12247/6767","source":{"id":"https://openalex.org/S4210173311","display_name":"Informatica","issn_l":"0350-5596","issn":["0350-5596","1854-3871"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","ddh","jufo-1","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310314525","host_organization_name":"Slovenian Society Informatika","host_organization_lineage":["https://openalex.org/P4310314525"],"host_organization_lineage_names":["Slovenian Society Informatika"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Informatica","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7201833465.pdf","grobid_xml":"https://content.openalex.org/works/W7201833465.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1555789138","https://openalex.org/W1570806034","https://openalex.org/W1709855311","https://openalex.org/W1711140305","https://openalex.org/W1715259724","https://openalex.org/W1947406465","https://openalex.org/W1974165015","https://openalex.org/W1982867434","https://openalex.org/W2007046457","https://openalex.org/W2008653678","https://openalex.org/W2033304736","https://openalex.org/W2055334450","https://openalex.org/W2061504823","https://openalex.org/W2095268458","https://openalex.org/W2120267501","https://openalex.org/W2244540913","https://openalex.org/W2596777043","https://openalex.org/W2731165214","https://openalex.org/W2740492458","https://openalex.org/W2745759874","https://openalex.org/W2749703488","https://openalex.org/W2946203428","https://openalex.org/W3122005595","https://openalex.org/W4224284427","https://openalex.org/W4234423219","https://openalex.org/W4252076394","https://openalex.org/W4255318870","https://openalex.org/W4362580406","https://openalex.org/W4390350995","https://openalex.org/W4391508673","https://openalex.org/W4407774466","https://openalex.org/W4411048974","https://openalex.org/W6926337895","https://openalex.org/W6945111357"],"related_works":["https://openalex.org/W2553210458","https://openalex.org/W2061504823","https://openalex.org/W7052528368","https://openalex.org/W4413883258","https://openalex.org/W2220577071","https://openalex.org/W2076308416","https://openalex.org/W2367675225","https://openalex.org/W1733839390","https://openalex.org/W2367711857","https://openalex.org/W6922327729"],"abstract_inverted_index":{"Formal":[0],"Concept":[1],"Analysis":[2],"(FCA)":[3],"is":[4,36,216],"a":[5,17,22,30,37,48,74,84,141,166,187],"mathematically":[6],"founded":[7],"method":[8],"for":[9,145,184],"extracting":[10,185],"formal":[11,34,71,147],"concepts":[12,72,162,239],"froma":[13],"binary":[14],"relation":[15],"between":[16],"set":[18,23],"of":[19,24,61,90,125,129,174,208,237],"objects":[20,209],"and":[21,46,152,171,190,204,210,226,255],"properties":[25],"(attributes),":[26],"referred":[27,155],"to":[28,68,83,105,114,119,156,241,249],"as":[29,157],"crisp":[31,115],"formalcontext.":[32],"A":[33],"concept":[35,127],"pair":[38],"hobjects;":[39],"propertiesi":[40],"induced":[41,91,238],"by":[42],"the":[43,88,123,213,219,231,235],"sufficiency":[44,78],"operator":[45],"organizedinto":[47],"lattice":[49,172],"structure.":[50],"Since":[51],"real-world":[52,227],"data":[53],"may":[54],"involve":[55],"fuzzy":[56,59,70,75,120,146,160,243],"properties,":[57,211],"several":[58],"extensions":[60],"FCAhave":[62],"been":[63],"proposed.":[64],"These":[65],"approaches":[66],"aim":[67],"extract":[69,106],"using":[73],"generalization":[76],"ofthe":[77],"operator,":[79],"which":[80],"often":[81],"leads":[82],"combinatorial":[85],"explosion":[86],"in":[87,218],"number":[89,236],"concepts,limiting":[92],"their":[93],"practical":[94,179],"applicability.":[95],"Beyond":[96],"sufficiency-based":[97],"reasoning,":[98],"modal":[99,107,142],"FCA":[100],"introduces":[101],"necessityand":[102],"possibility":[103,153],"operators":[104],"concepts,":[108],"yet":[109],"it":[110],"remains":[111],"largely":[112],"confined":[113],"contexts.Extending":[116],"such":[117],"modalities":[118],"settings":[121],"raises":[122],"challenge":[124],"constructing":[126],"lattices":[128],"manageablesize":[130],"while":[131,212],"preserving":[132],"computational":[133],"feasibility.":[134],"To":[135,177],"address":[136],"this":[137],"issue,":[138],"we":[139],"propose":[140],"extension":[143],"ofFCA":[144],"contexts":[148],"based":[149],"on":[150,224],"necessity":[151],"operators,":[154],"FM-operators,which":[158],"induce":[159],"dual-modal":[161],"(FDM-concepts).":[163],"We":[164],"establish":[165],"fundamental":[167],"theorem":[168],"characterizingthe":[169],"algebraic":[170],"structure":[173],"these":[175],"FDM-concepts.":[176],"support":[178],"computation,":[180],"wedevelop":[181],"two":[182],"algorithms":[183,194],"FDM-concepts:":[186],"powerset-based":[188],"algorithm":[189,215],"an":[191],"incrementalalgorithm.":[192],"Both":[193],"have":[195],"exponential":[196],"worst-case":[197],"complexity":[198],"O(2m":[199],"n":[200,203],"m),":[201],"where":[202],"m":[205],"denotethe":[206],"numbers":[207],"incremental":[214],"output-polynomial":[217],"numberof":[220],"extracted":[221],"concepts.":[222],"Experiments":[223],"synthetic":[225],"datasets":[228],"demonstrate":[229],"that":[230],"proposedFDMframework":[232],"significantly":[233],"reduces":[234],"compared":[240],"classical":[242],"FCA.We":[244],"further":[245],"illustrate":[246],"its":[247],"applicability":[248],"information":[250],"retrieval,":[251],"disjunctive":[252],"attribute":[253],"implications,":[254],"adaptivenonlinear":[256],"control":[257],"systems.":[258]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-08-08T00:00:00"}