{"entities":{"Q2492311":{"pageid":2503054,"ns":120,"title":"Item:Q2492311","lastrevid":73429758,"modified":"2026-04-14T15:56:58Z","type":"item","id":"Q2492311","labels":{"en":{"language":"en","value":"Logical foundations of rule-based systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5030584"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$9EA421A8-C767-4258-A4B4-D7AE4FC4C593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68611d7d3e2ae40a1cff53df4fdd02ad3b077313","datavalue":{"value":{"text":"Logical foundations of rule-based systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2492311$2DE761E5-E5CD-4F56-AE88-B693DE398CCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4a3fb03297cd6244fcf6704502ec2b4f2b6058f","datavalue":{"value":"1110.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492311$2BC69C3E-0ACD-4251-B6F3-0A1D1269749F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$C208C3F8-4690-494C-8E78-33FDC297947B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21437c544db1978eeec04a4cbdd682f98ee3c97e","datavalue":{"value":{"time":"+2006-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2492311$D3F8A725-7848-49F6-884C-676A675CE375","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0481da6bdf9a9eacbbfea2c8d3a27b0d40265cec","datavalue":{"value":"In the representation of knowledge the if-then rules play a crucial role, especially in expert systems, rule-based systems and control theory. In many cases these knowledge granules are pervaded with imprecision due to the use of linguistic terms. Fuzzy logic is one of the most important formalisms to represent and process this kind of information. This paper concerns fuzzy logic in the narrow sense, i.e., the formalisation of fuzzy logic and, more particular, the logical consistency of systems of fuzzy if-then rules. The paper advocates H\u00e1jek's propositional and predicate fuzzy logic as a platform for a theory of fuzzy if-then rules. After a brief introduction to fuzzy if-then rules, represented by fuzzy relations and the compositional rule of inference represented as a composition of fuzzy relations, the paper introduces a formal language for fuzzy if-then rules based on H\u00e1jek's BL-logic. The paper ends with a characterization of consistency and completeness of this logical theory of fuzzy if-then rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492311$AAB40334-C002-4886-A5F3-A5625F8A42D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c95e6877a25b67474eb0455293bdb4da0775fcbf","datavalue":{"value":{"entity-type":"item","numeric-id":174898,"id":"Q174898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$12057770-314A-4237-99EA-DB8ED999BA83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492311$211C599D-CFDD-42D7-8666-71FA0B8E9792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492311$8F6ED6DE-2FCE-43C4-9D16-C52CDF8C0CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492311$4D939986-3353-4909-8B09-15A1A65EF8F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8cf9d84ea9b1e6f6d4bc4d4ba9b6d773c925c83","datavalue":{"value":"5030584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492311$C1950236-C2A3-4A42-BD08-2279F3DD5BFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492311$8D4EC51E-C41F-4DD3-B993-2BB6E6A95D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41d5aec3b1f934612ecf87a4946387ba3a569549","datavalue":{"value":"deduction theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492311$0FA99067-5251-420F-AB41-00B429866991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffc8b6cda5497bfc2c2d2a122b69076b059e056","datavalue":{"value":"fuzzy if-then rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492311$7E4DCF8A-544E-4BEF-8718-71B2E4B663A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"652985256e18682c1a7256baeca2ca2dcdf8bb5d","datavalue":{"value":"systems of fuzzy relation equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492311$ED5A089C-4C56-46AA-A48A-466B7944A36B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06495d01632ba6b22d5a45f72bdd01626c83468d","datavalue":{"value":{"entity-type":"item","numeric-id":419046,"id":"Q419046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$E75F510D-6B7C-418C-A9F4-3FD39BFBA045","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$78620A1C-966B-48E6-9BC2-6AFD62C9EBE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1db82896ca1a9c7f6f72700bddf0f983663d1d51","datavalue":{"value":"https://doi.org/10.1016/j.fss.2005.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2492311$DF634529-FF29-429A-8BDD-473CEE1B5146","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"455ff0f45d69d9c08bfd42c80b8a363ac962e9b2","datavalue":{"value":"W2100414724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492311$99CE1506-4500-4416-8838-A5F0AB61CED8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38e1d0ca4c780b7d333ca6daea09992a3a35c98","datavalue":{"value":{"entity-type":"item","numeric-id":3899882,"id":"Q3899882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$6CD82FE1-B70C-4BD1-9208-182014B4DE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429694951286d3f4eec2de0635f807b257d3320e","datavalue":{"value":{"entity-type":"item","numeric-id":2386239,"id":"Q2386239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$F44455AF-156F-468F-895F-97F3EAB0BC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4469fa0edf0e19184fca5faf723484f83d192ec1","datavalue":{"value":{"entity-type":"item","numeric-id":1096414,"id":"Q1096414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$3C089326-E886-4324-9D6C-06BB1C20414E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478f1b788d9d4e0a48189a15a17d4046a04236b7","datavalue":{"value":{"entity-type":"item","numeric-id":2641291,"id":"Q2641291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$1456C3B2-8DFD-41EC-BA5D-1A2D38035CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f538ba0fecdbebebecc36fd8492063dfd2af2ae3","datavalue":{"value":{"entity-type":"item","numeric-id":1266749,"id":"Q1266749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$D6AF1AD1-8B5A-499E-A344-87F173FEBDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9eaba505045c34b16571fa05a9bc853b2360","datavalue":{"value":{"entity-type":"item","numeric-id":3202996,"id":"Q3202996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$5D7E055B-6EE2-47B9-8503-7C458D2E07FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c63705391fbc59721587c4c8ae49ce37d3419c9","datavalue":{"value":{"entity-type":"item","numeric-id":3135091,"id":"Q3135091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$3B8C2E84-EA8F-41B1-A5FC-0F269C486D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$2F3B1E60-EA1F-49C3-AB93-3D36791633AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e9fef269e5300b57fa8e41cbb3f4d72db2dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":4460343,"id":"Q4460343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$BCBD00C8-F766-4B5B-82E1-1E47CD211A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ace31db1f296da1ce366e00315b63f7c024ee5","datavalue":{"value":{"entity-type":"item","numeric-id":703370,"id":"Q703370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$EC238387-4EA6-4A78-B161-5EF0B6F27486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$CB7E06B5-D9E3-4B7B-9229-B9F96FB50EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1166f15dc633c85f884161e705c3ed9fff4c8c27","datavalue":{"value":{"entity-type":"item","numeric-id":1403103,"id":"Q1403103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$9023C9FC-A63A-4F0F-ACB2-6D5BF2CEDA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7782e3ca3cc425d5bcc9ebaeef9f27cc2409404","datavalue":{"value":{"entity-type":"item","numeric-id":4508693,"id":"Q4508693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$69540B3D-58F7-456B-A2D1-5AF3D272E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2da7a4d41eb7d66bb322c82051c2df6979bd0e","datavalue":{"value":{"entity-type":"item","numeric-id":4090329,"id":"Q4090329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$6B7C5F72-8F0C-4F16-B89F-F19AD4B87364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe65f7e8b576fe8b981ff458680ccd5148236cd","datavalue":{"value":{"entity-type":"item","numeric-id":5181125,"id":"Q5181125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$47CF5E31-1A64-4EC8-93FF-50B209EC3E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a5e93ad1dc94533b4f2c06c5e130266a367dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4098684,"id":"Q4098684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492311$F1323FA7-4C45-4692-8A4F-849203766A21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faace85c7f7af1044e73f0aeb1a2644122c0bf77","datavalue":{"value":"10.1016/J.FSS.2005.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492311$E35147C3-F062-4ED0-A000-4D6F4580CBD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd5018a46ab2bdeaca08f451802ea9cd4dff1a9","datavalue":{"value":{"entity-type":"item","numeric-id":853465,"id":"Q853465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19f166ea9f4d6fb0f70df71fba78f6c54e11518","datavalue":{"value":{"amount":"+0.8525481820106506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492311$DF6AAAF4-1D5D-41AF-B0BA-A3B9D5C4339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ed6fc82227c28d130cb995d5fb2c69aa83c1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1961817,"id":"Q1961817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bee22425dee222fda371f2e43e12689a256023c","datavalue":{"value":{"amount":"+0.8253059983253479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492311$C788E350-C5C6-408D-88F6-B05977BB4F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4cc0c4bb3e0f8a0be1638ccddf1d40791e5416","datavalue":{"value":{"entity-type":"item","numeric-id":558514,"id":"Q558514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f11dbc3b820fc93462867daf0cc0ba7b0d01b4","datavalue":{"value":{"amount":"+0.7869188189506531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492311$4F02CB88-B525-4351-8483-0D9BA985D1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b09b11c8a001c919107952eb7e97fe69956928","datavalue":{"value":{"entity-type":"item","numeric-id":5434003,"id":"Q5434003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed54bffb48ba970f762c341fabf7f6f0eff79814","datavalue":{"value":{"amount":"+0.7864776253700256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492311$E8A26BFA-3191-47AE-A8E1-CDCDF70422D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13de27c9999d37c91896507d34c98aacfa18ff49","datavalue":{"value":{"entity-type":"item","numeric-id":4781171,"id":"Q4781171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73471945073806a6fda0261ee8fae10b9b5f8e3","datavalue":{"value":{"amount":"+0.7756983637809753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2492311$D2EF5336-1C44-4765-9B6C-8E22B9F7FC83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical foundations of rule-based systems","badges":[]}}}}}