{"id":"https://openalex.org/W2555612615","doi":"https://doi.org/10.1109/fuzz-ieee.2016.7737841","title":"Transformation-based constraint-guided Generalised Modus Ponens","display_name":"Transformation-based constraint-guided Generalised Modus Ponens","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2555612615","doi":"https://doi.org/10.1109/fuzz-ieee.2016.7737841","mag":"2555612615"},"language":"en","primary_location":{"id":"doi:10.1109/fuzz-ieee.2016.7737841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz-ieee.2016.7737841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5112030698","display_name":"Micha\u00ebl Blot","orcid":null},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Michael Blot","raw_affiliation_strings":["Sorbonne Universit\u00e9s, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9s, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075900406","display_name":"Marie\u2010Jeanne Lesot","orcid":"https://orcid.org/0000-0002-3604-6647"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marie-Jeanne Lesot","raw_affiliation_strings":["Sorbonne Universit\u00e9s, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9s, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065404842","display_name":"Marcin Detyniecki","orcid":"https://orcid.org/0000-0001-5669-4871"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marcin Detyniecki","raw_affiliation_strings":["Sorbonne Universit\u00e9s, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9s, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112030698"],"corresponding_institution_ids":["https://openalex.org/I39804081"],"apc_list":null,"apc_paid":null,"fwci":1.2854,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87406664,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1316","last_page":"1322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9991000294685364,"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/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9991000294685364,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9959999918937683,"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/T10050","display_name":"Multi-Criteria Decision Making","score":0.9955000281333923,"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/modus-ponens","display_name":"Modus ponens","score":0.9485702514648438},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.8141824007034302},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.6718276739120483},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.5996564030647278},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5582940578460693},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.5581962466239929},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.476003497838974},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.472793310880661},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.45887982845306396},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4531446397304535},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.41116467118263245},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40763595700263977},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3895118534564972},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35859739780426025},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1640213131904602},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10324564576148987}],"concepts":[{"id":"https://openalex.org/C193885149","wikidata":"https://www.wikidata.org/wiki/Q655742","display_name":"Modus ponens","level":3,"score":0.9485702514648438},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.8141824007034302},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.6718276739120483},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.5996564030647278},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5582940578460693},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.5581962466239929},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.476003497838974},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.472793310880661},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.45887982845306396},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4531446397304535},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.41116467118263245},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40763595700263977},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3895118534564972},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35859739780426025},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1640213131904602},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10324564576148987},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"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.1109/fuzz-ieee.2016.7737841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz-ieee.2016.7737841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W106453396","https://openalex.org/W1510755152","https://openalex.org/W1969222154","https://openalex.org/W1970104171","https://openalex.org/W1982617290","https://openalex.org/W1983561707","https://openalex.org/W1992176519","https://openalex.org/W1996162094","https://openalex.org/W2001220060","https://openalex.org/W2009390087","https://openalex.org/W2030949032","https://openalex.org/W2075687070","https://openalex.org/W2075693023","https://openalex.org/W2148720919","https://openalex.org/W2157041604","https://openalex.org/W2203261990","https://openalex.org/W4245152641","https://openalex.org/W4249749961","https://openalex.org/W4253206956","https://openalex.org/W6642868187"],"related_works":["https://openalex.org/W2465129687","https://openalex.org/W2037170809","https://openalex.org/W2168028687","https://openalex.org/W1522104219","https://openalex.org/W2000008364","https://openalex.org/W2168297468","https://openalex.org/W5068816","https://openalex.org/W2578126435","https://openalex.org/W2098549840","https://openalex.org/W2024538864"],"abstract_inverted_index":{"Generalised":[0],"Modus":[1],"Ponens":[2],"(GMP)":[3],"allows":[4],"to":[5,28,35,44,49,58,92,102,113,126],"perform":[6,59],"logical":[7,77],"inference":[8,60],"in":[9,52,61,86,118],"the":[10,17,23,38,46,62,69,84,93,106,114,119,122],"case":[11,53,63],"where":[12],"an":[13,20,65,87],"observation":[14,66],"partially":[15],"matches":[16],"premise":[18],"of":[19,54,64,98],"implication,":[21],"enriching":[22],"rule":[24,39,70,94,120],"exploitation":[25],"as":[26,76],"compared":[27],"binary":[29],"classical":[30],"logic.":[31],"This":[32],"paper":[33],"proposes":[34],"further":[36],"enhance":[37],"exploitation,":[40],"integrating":[41],"additional":[42],"constraints":[43,73],"guide":[45],"inference,":[47],"both":[48],"reduce":[50],"uncertainty":[51],"partial":[55],"match":[56],"and":[57,121,131,135],"disjoint":[67],"from":[68,80],"premise.":[71,95],"These":[72],"are":[74],"expressed":[75],"predicates":[78],"derived":[79],"properties":[81],"that":[82],"characterise":[83],"observation,":[85],"absolute":[88],"way":[89],"or":[90],"relatively":[91],"An":[96,124],"extension":[97],"GMP":[99,128],"is":[100,133,138],"proposed,":[101],"take":[103],"into":[104],"account":[105],"constraints,":[107],"based":[108],"on":[109],"transformation":[110],"operations":[111],"applied":[112],"fuzzy":[115],"sets":[116],"involved":[117],"observation.":[123],"instantiation":[125],"a":[127],"preserving":[129],"graduality":[130],"ambiguity":[132],"established":[134],"its":[136],"validity":[137],"proven.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}