{"entities":{"Q1058869":{"pageid":1060717,"ns":120,"title":"Item:Q1058869","lastrevid":66651654,"modified":"2026-04-12T11:34:00Z","type":"item","id":"Q1058869","labels":{"en":{"language":"en","value":"Modeling production rules by means of predicate transition networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902079"}},"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":"Q1058869$47A2C986-65AE-47A1-AF4D-37F476938922","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f890cf06bca5cb7cffd33e05567c9f5c699249fe","datavalue":{"value":{"text":"Modeling production rules by means of predicate transition networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058869$A25BDA3D-8832-4BCD-B755-D557420911BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"143b126b3ea8a29e3dd620dae659a91afb9a8dec","datavalue":{"value":"0565.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058869$220021A2-FB09-4E0F-8531-831DC9740596","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c60b3b2f445c2f9b11975b5ef6643f9d0dd4233","datavalue":{"value":"10.1016/0020-0255(85)90039-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058869$59145466-D266-49FE-8556-A3C660F1C7C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$871A1A81-1843-4ECE-B5C1-94C50E339D3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1058869$DA5FB344-D63C-4E3B-AB72-D94D92366729","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31686b9fea0d2fa6255307376d02d4e041cdd86d","datavalue":{"value":"The purpose of the paper is that of trying to provide knowledge-based systems, using production rules as knowledge representation mechanism, with a formal tool suitable for proving properties, such as consistency or contradiction of the knowledge base. To this aim, the paper analyzes the possibility of encoding a knowledge base of production rules into a Predicate-Transition Network (PrTN). The model of PrTn was first introduced by \\textit{H. J. Genrich} and \\textit{K. Lautenbach} as a kind of high level Petri nets [Theor. Comput. Sci. 13, 109-136 (1981; Zbl 0454.68052)]. The peculiarity of this model lies in its well formalized semantics, which can be described by means of an algebraic formalism and supplies methods, such as that of S-invariants, for its analysis. The paper gives examples of typical constructs, occurring in production rules, represented with PrTNs and investigates the problem of the control (inference engine) of the network execution in relation to that of state reachability. An interesting research area to develop would be that of individuating subclasses of PrTns (meaningful for AI applications) for which the S-invariant method is both necessary and sufficient with respect to the reachability problem; in this case the method could be automatized in view of proving consistency and completeness of the net.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$E4C6A42A-F9B2-4E95-BF97-7641767E13C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058869$7FBFB4ED-2227-41D6-BD9B-8ADAE9AC34C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058869$82876B45-C38F-43A2-99C4-C43816BCAA6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5976dd66579c1a804f09a697b28972c4a066a61b","datavalue":{"value":"3902079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058869$8A27A712-1768-4EE6-BC76-4B1F55E52023","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffb9cd059437881dec4a1312f55c448f9dabe9d","datavalue":{"value":"predicate transition net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$DC209EB0-C1A0-4B6B-9206-B7C5B50373E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadbbce4d6212535f94d23b11a1e613d10da08db","datavalue":{"value":"knowledge-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$4D924492-9DD0-463D-ACC2-CC55D86F6B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b4ee4f4e01268efe8aa5ad725da1b6ddcd8b3b5","datavalue":{"value":"production rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$566015C2-D84E-4501-A19C-D7BD12810702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$43979576-ACDF-44EF-B0F9-16B3A9F918A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0310612276ba38f53645cae15a9411efb38d504","datavalue":{"value":"knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$FBBD2D23-9031-4AAA-919B-FF77E0CB062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990e54c7b8ef2668f4a377fc5cad6a617f637ebd","datavalue":{"value":"high level Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$C348B63A-7B6E-44CA-A7DF-34EDDF19B10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e736d9bf2b49957329e091eb325ea6dc86982","datavalue":{"value":"inference engine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$FBBE6FB2-DA20-4FFA-B883-CA1BC1F9C0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058869$D00DED32-DD90-4FBC-93AD-63488536D0A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f90537774241ef1fafe49ca89b0f5924af1bc72","datavalue":{"value":{"entity-type":"item","numeric-id":1592384,"id":"Q1592384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$C4FE7450-E74B-47A8-84F9-3AB54629D0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5029f9a24d0ab028a72381aadb8f88132ae85bd","datavalue":{"value":{"entity-type":"item","numeric-id":1592385,"id":"Q1592385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$706D49C9-D674-4B54-B927-1FA98EF3204E","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":"Q1058869$F846F7D8-C93F-4FF7-897C-E3E62FC2AAD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"043a186ddd870a10de266ff6226e8e493b285ea4","datavalue":{"value":"https://doi.org/10.1016/0020-0255(85)90039-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058869$3091007A-A715-420B-8145-2F6A15BC30AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10ce1957e3c007d8577f6fa0e9e121f41fa91b49","datavalue":{"value":"W2048316890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058869$1513C0F5-87CD-4C6A-A143-AE5499B1A76A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$67EC4E01-4F51-410B-B8CE-3AA49EE03E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$74A8082E-5647-4667-A118-259FD649E0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$11B91BA4-0943-444A-BA4E-B6B678E49223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d5f2306a357d7eb079458594eb1670d48c6076","datavalue":{"value":{"entity-type":"item","numeric-id":4140378,"id":"Q4140378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$BEA122BA-45A2-49BA-AF22-08EA44D6357D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$403D98D9-3303-44F7-9B16-86F95A7D6777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f4d18ee2eda253431409c994235f2d075fab68","datavalue":{"value":{"entity-type":"item","numeric-id":4109303,"id":"Q4109303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$3C353024-9B3B-4390-ADAD-F5B5E948A6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f929ccec28625c593cc1ced39ab9e2ced074dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3670573,"id":"Q3670573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$A4B384A9-C478-4449-A02A-4001E098FB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c48056905641e6fd74ba309322613a7199dc7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3670607,"id":"Q3670607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$987A99DA-F594-4D11-B96C-791818EC28EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$FFC7E6FC-38A8-4BB8-93D2-06388CB168EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78155754d94a790cc1f1f6a17426d579f502105e","datavalue":{"value":{"entity-type":"item","numeric-id":3219141,"id":"Q3219141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$A6087BCB-E1DC-4962-97B3-189532FCD9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d284e62c19b7d324835525f290c8e3a1a70a2","datavalue":{"value":{"entity-type":"item","numeric-id":1150318,"id":"Q1150318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$DD273D8D-5789-45F1-93A7-417896EBB0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5cd336f11ca588b471922f8d510843bc8571842","datavalue":{"value":{"entity-type":"item","numeric-id":1053665,"id":"Q1053665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$EB5AB92D-D262-4B15-AF86-0AA79F32D775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a660aa0aa12340e72c05d49d192d80d2662ce084","datavalue":{"value":{"entity-type":"item","numeric-id":3671941,"id":"Q3671941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$1A9D781A-3F78-49FC-9078-57C4AC918B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b031bdbf61a477ed51940b99aa80dc940d2bae5b","datavalue":{"value":{"entity-type":"item","numeric-id":3903001,"id":"Q3903001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$255A8AC4-C231-4C87-9CA6-4788A61D0891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4050dbed4085482d89a41bbbb13ae860cc97c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":4088840,"id":"Q4088840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$4A4B93B1-0863-41A5-9D0C-04E8B52D28F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd5a5140063fd1e32091720e60b431c2db2cce3","datavalue":{"value":{"entity-type":"item","numeric-id":3221431,"id":"Q3221431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$D30A9C16-7300-4C8E-BC92-DB1D55184126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38d40021e101db5699bc5aea6012d94de811230","datavalue":{"value":{"entity-type":"item","numeric-id":1148124,"id":"Q1148124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058869$938A0099-6845-48CC-BF20-261147C061F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f019f86604fbcb0bca1f0eccf59a5e740b18f7","datavalue":{"value":{"entity-type":"item","numeric-id":3110445,"id":"Q3110445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d270d5bd8baeea8e4fe352f718eca580506ef0","datavalue":{"value":{"amount":"+0.7368704080581665","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":"Q1058869$BE215AE0-4E45-4804-A218-60A706F10626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4865cfb9ccb8e72a670a07ae89ae4ea7331e75e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250953,"id":"Q4250953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c3d10e0ca415019920dd6dd8a7da075fabb04c","datavalue":{"value":{"amount":"+0.7337588667869568","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":"Q1058869$D7B5EE42-3BAA-41F2-93BA-5B82A19D7835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a0517dbac372c8f07c645e56c90ce22744d45d","datavalue":{"value":{"entity-type":"item","numeric-id":4207590,"id":"Q4207590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b1a5b8e9c1b8699433fc64af26f248c7c0e6d7","datavalue":{"value":{"amount":"+0.7309911847114563","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":"Q1058869$C2706D47-C548-4051-A021-7279A371C237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424a22151ae0047c30a771a41c4bdd14ec8bf168","datavalue":{"value":{"entity-type":"item","numeric-id":4734788,"id":"Q4734788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c077676395828fb2784ccbf22eae9cf5abc966c9","datavalue":{"value":{"amount":"+0.7274842262268066","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":"Q1058869$B9D76CEA-DD22-4837-9FCA-42CDB80B50FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c6eb60b0e3c85514866854aff02d845edbd294","datavalue":{"value":{"entity-type":"item","numeric-id":1920304,"id":"Q1920304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb1a7adaa598e92a5b5ee1c94f4b348562ebfe5","datavalue":{"value":{"amount":"+0.7237939834594727","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":"Q1058869$A2336D34-7F6A-479B-A343-5CCB36A42454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modeling production rules by means of predicate transition networks","badges":[]}}}}}