{"id":"https://openalex.org/W2017682709","doi":"https://doi.org/10.7148/2013-0361","title":"Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases","display_name":"Modelling And Reasoning With Fuzzy Logic Redundant Knowledge Bases","publication_year":2013,"publication_date":"2013-05-27","ids":{"openalex":"https://openalex.org/W2017682709","doi":"https://doi.org/10.7148/2013-0361","mag":"2017682709"},"language":"en","primary_location":{"id":"doi:10.7148/2013-0361","is_oa":false,"landing_page_url":"https://doi.org/10.7148/2013-0361","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ECMS 2013 Proceedings edited by: Webjorn Rekdalsbakken, Robin T. Bye, Houxiang Zhang","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/A5075488069","display_name":"Hashim Habiballa","orcid":"https://orcid.org/0000-0001-5948-2962"},"institutions":[{"id":"https://openalex.org/I187293425","display_name":"University of Ostrava","ror":"https://ror.org/00pyqav47","country_code":"CZ","type":"education","lineage":["https://openalex.org/I187293425"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Hashim Habiballa","raw_affiliation_strings":["Univ. of Ostrava"],"affiliations":[{"raw_affiliation_string":"Univ. of Ostrava","institution_ids":["https://openalex.org/I187293425"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089446348","display_name":"Eva Voln\u00e1","orcid":"https://orcid.org/0000-0002-8453-3757"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eva Volna","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011417359","display_name":"Michal Jano\u0161ek","orcid":"https://orcid.org/0000-0001-9439-4706"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michal Janosek","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5087274656","display_name":"Martin Kotyrba","orcid":"https://orcid.org/0000-0003-3780-3053"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Kotyrba","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5075488069"],"corresponding_institution_ids":["https://openalex.org/I187293425"],"apc_list":null,"apc_paid":null,"fwci":0.4809,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75200873,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"361","last_page":"366"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9994999766349792,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9994000196456909,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9955999851226807,"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.6851396560668945},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5920029282569885},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44208720326423645}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6851396560668945},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5920029282569885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44208720326423645}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.7148/2013-0361","is_oa":false,"landing_page_url":"https://doi.org/10.7148/2013-0361","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ECMS 2013 Proceedings edited by: Webjorn Rekdalsbakken, Robin T. Bye, Houxiang Zhang","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1482914320","https://openalex.org/W1494288912","https://openalex.org/W1513576223","https://openalex.org/W1534799807","https://openalex.org/W1997196510","https://openalex.org/W2033088754","https://openalex.org/W2071318879","https://openalex.org/W2110182592"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Fuzzy":[0,95,458],"Predicate":[1,96,459],"Logic":[2,97,460],"with":[3,7,30,42,67,98,188,241,284,305,333,465,516,561],"evaluated":[4,43,466],"syntax":[5,467],"together":[6,29],"resolution":[8,27,82,143,168,197,207,251,500,529],"principle":[9,83,144,501,530],"is":[10,109,177,186,278,310,324,342,354,386,399,421,468,546,604],"presented.":[11],"The":[12,53,288,322,336,461],"paper":[13,262],"focuses":[14],"mainly":[15,154],"on":[16,60,126,179,204,326,349,582],"modelling":[17,57],"and":[18,58,78,84,112,308,457,471,514,584,611,617,622],"treating":[19],"redudancy":[20],"in":[21,216,260,282,298,407,535],"knowledge":[22,61],"bases.":[23],"It":[24,119,130,246,277,392],"presents":[25,338],"original":[26,87,450],"rule":[28],"algorithm":[31,313,323],"DCF":[32],"Detection":[33],"of":[34,55,80,116,123,165,183,230,267,302,315,328,346,357,377,381,389,404,409,431,498,509,519,526,543,554,607],"Consequent":[35,316],"Formulas":[36,317],"developed":[37,271],"especially":[38,64],"for":[39,254,273,291,479],"fuzzy":[40,81,293,462,528],"logic":[41,114,294,464],"syntax.":[44],"REASONING":[45],"IN":[46],"FUZZY":[47],"PREDICATE":[48],"LOGIC":[49],"WITH":[50],"EVALUATED":[51],"SYNTAX":[52],"problem":[54,290],"effective":[56,242,384],"reasoning":[59,93],"bases":[62],"rises":[63],"when":[65,192,364],"dealing":[66],"many-valued":[68],"logics.":[69],"We":[70,369,539,564],"would":[71,224],"like":[72],"to":[73,194,200,248,264,423,493,504,558,569],"recall":[74],"previously":[75],"devised":[76],"notions":[77,553],"methods":[79,89],"then":[85,442],"show":[86],"efficient":[88,134,363,496],"making":[90],"such":[91,329,416],"a":[92,110,121,227,355,397,401,405,412,417,469,510],"tractable.":[94],"Evaluated":[99],"Syntax":[100],"(FPL)":[101],"[Novak,":[102,484],"V.,":[103,485],"Perfilieva,":[104,486],"I.,":[105,487],"Mocko\u0159,":[106,488],"J.,":[107,489],"1999]":[108],"well-studied":[111],"wide-used":[113],"capable":[115],"expressing":[117],"vagueness.":[118],"has":[120,531],"lot":[122,356],"applications":[124],"based":[125,167,178,203,325],"robust":[127],"theoretical":[128],"background.":[129],"also":[131,162],"requires":[132],"an":[133,312,495],"formal":[135,233],"proof":[136,181,243,511,521],"theory.":[137],"However":[138],"the":[139,196,205,249,261,265,274,292,299,339,343,347,382,387,394,426,429,435,449,480,499,506,517,527,605,615],"most":[140,383],"widely":[141],"applied":[142],"[Dukic,":[145],"N.,":[146],"Avdagic,":[147],"Z.,":[148],"2005]":[149],"brings":[150],"syntactically":[151],"several":[152],"obstacles":[153,202],"arising":[155],"from":[156,440,448],"normal":[157],"form":[158,497],"transformation.":[159],"There":[160,353],"are":[161,614,625],"recent":[163],"attempts":[164],"similarity":[166],"[Mondal,":[169],"B.,":[170],"Raha,":[171],"S.,":[172],"2012],":[173],"but":[174],"our":[175],"approach":[176],"classical":[180],"theory":[182],"FPL.":[184],"FPL":[185,255],"associating":[187],"even":[189],"harder":[190],"problems":[191],"trying":[193],"use":[195,366,494],"principle.":[198],"Solutions":[199],"these":[201,231],"nonclausal":[206],"[Bachmair,":[208],"L.,":[209],"Ganzinger,":[210],"H.,":[211,218,537],"1997]":[212],"were":[213],"already":[214,533],"proposed":[215],"[Habiballa,":[217,536],"2006].":[219],"In":[220,491],"this":[221,320],"article":[222,337],"it":[223,420,444,453],"be":[225,438,446,477,559,570],"presented":[226,268,311,482,534],"natural":[228],"integration":[229],"two":[232],"logical":[234,402],"systems":[235],"into":[236,428],"fully":[237,472],"functioning":[238],"inference":[239,269],"system":[240],"search":[244],"strategies.":[245,287],"leads":[247],"refutational":[250,367,520],"theorem":[252,295],"prover":[253],"(RRTPFPL).":[256],"Another":[257],"issue":[258],"addressed":[259],"concerns":[263],"efficiency":[266],"strategies":[270,358,372,385],"originally":[272],"proving":[275,296],"system.":[276],"showed":[279],"their":[280],"perspectives":[281],"combination":[283],"standard":[285,507,552],"proof-search":[286],"main":[289,344],"lies":[297],"large":[300],"amount":[301],"possible":[303],"proofs":[304,361],"different":[306,334],"degrees":[307],"there":[309],"(Detection":[314],"DCF)":[318],"solving":[319],"problem.":[321],"detection":[327],"redundant":[330],"formulas":[331],"(proofs)":[332],"degrees.":[335],"method":[340],"which":[341,359,452,475,613],"point":[345],"work":[348],"any":[350],"automated":[351],"prover.":[352],"make":[360],"more":[362],"we":[365,502,550],"proving.":[368],"consider":[370],"wellknown":[371],"orderings,":[373],"filtration":[374],"strategy,":[375],"set":[376,408,430,542],"support":[378],"etc.":[379,557],"One":[380],"elimination":[388],"consequent":[390],"formulas.":[391],"means":[393],"check":[395],"if":[396,434],"resolvent":[398,427],"not":[400,424],"consequence":[403],"formula":[406],"axioms":[410],"or":[411],"previous":[413],"resolvent.":[414],"If":[415],"condition":[418],"holds":[419],"reasonable":[422],"include":[425],"resolvents,":[432],"because":[433],"refutation":[436],"can":[437,445],"deduced":[439,447],"it,":[441],"so":[443],"resolvent,":[451],"implies":[454],"of.":[455],"Resolution":[456],"predicate":[463],"flexible":[470],"complete":[473],"formalism,":[474],"will":[476,565],"used":[478],"below":[481],"extension":[483],"1999].":[490],"order":[492],"have":[503],"extend":[505],"notion":[508,518],"(provability":[512],"value":[513],"degree)":[515],"(refutation":[522],"degree).":[523],"Propositonal":[524],"version":[525],"been":[532],"2002].":[538],"suppose":[540],"that":[541],"truth":[544],"values":[545],"Lukasiewicz":[547,562],"algebra.":[548],"Therefore":[549],"assume":[551,566],"conjunction,":[555],"disjunction":[556],"bound":[560],"operators.":[563],"Lukasewicz":[567],"algebra":[568],"L":[571,572],"=":[573],"\u3008[0,":[574],"1],\u2227,\u2228,\u2297,\u2192,":[575],"0,":[576],"1\u3009":[577],"Proceedings":[578],"27th":[579],"European":[580],"Conference":[581],"Modelling":[583],"Simulation":[585],"\u00a9ECMS":[586],"Webjorn":[587],"Rekdalsbakken,":[588],"Robin":[589],"T.":[590],"Bye,":[591],"Houxiang":[592],"Zhang":[593],"(Editors)":[594],"ISBN:":[595,598],"978-0-9564944-6-7":[596],"/":[597],"978-0-9564944-7-4":[599],"(CD)":[600],"where":[601],"[0,":[602],"1]":[603],"interval":[606],"reals":[608],"between":[609],"0":[610],"1,":[612],"smallest":[616],"greatest":[618],"elements":[619],"respectively.":[620],"Basic":[621],"additional":[623],"operations":[624],"defined":[626],"as":[627]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}