A Fuzzy Petri Net for knowledge representation and reasoning
A new type of fuzzy petri Net (FPN) is proposed for representing knowledge. An algorithm is presented for checking the consistency of a fuzzy knowledge base via a set of reduction rules that preserve the properties of the FPN. A refutation method for theorem proving using the FPN reductions is prese...
Gespeichert in:
| Veröffentlicht in: | Information processing letters 1991-08, Vol.39 (3), p.165-171 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 171 |
|---|---|
| container_issue | 3 |
| container_start_page | 165 |
| container_title | Information processing letters |
| container_volume | 39 |
| creator | Garg, M.L. Ahson, S.I. Gupta, P.V. |
| description | A new type of fuzzy petri Net (FPN) is proposed for representing knowledge. An algorithm is presented for checking the consistency of a fuzzy knowledge base via a set of reduction rules that preserve the properties of the FPN. A refutation method for theorem proving using the FPN reductions is presented. The use of FPN yields an efficient method for automated decisionmaking. |
| doi_str_mv | 10.1016/0020-0190(91)90114-W |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_237273621</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>002001909190114W</els_id><sourcerecordid>1137413</sourcerecordid><originalsourceid>FETCH-LOGICAL-c360t-ad142cc360356ad6527c2b0fff030b2bc8a2b650cac7e98725fa0f71e77125183</originalsourceid><addsrcrecordid>eNp9kEFLAzEQhYMoWKv_wMMiHvSwOpPtJl0QoRSrQlEPSo8hzU5Kas3WZKu0v95dWzx6mmH43puZx9gpwhUCimsADilgARcFXhaA2Esne6yDfclTgVjss84fcsiOYpwDgOhlssNuBslotdmskxeqg0ueqE5sFZJ3X30vqJxREmgZKJKvde0qn2hfNiMdK-_87JgdWL2IdLKrXfY2unsdPqTj5_vH4WCcmkxAneoSe9y0fZYLXYqcS8OnYK2FDKZ8avqaT0UORhtJRXN0bjVYiSQl8hz7WZedbX2XofpcUazVvFoF36xUPJNcZoJjA_W2kAlVjIGsWgb3ocNaIag2JtVmoNoMVIHqNyY1aWTnO28djV7YoL1x8U-bc-RFLhrsdotR8-eXo6CiceQNlS6QqVVZuf_3_AC9jXoJ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>237273621</pqid></control><display><type>article</type><title>A Fuzzy Petri Net for knowledge representation and reasoning</title><source>Elsevier ScienceDirect Journals Complete</source><creator>Garg, M.L. ; Ahson, S.I. ; Gupta, P.V.</creator><creatorcontrib>Garg, M.L. ; Ahson, S.I. ; Gupta, P.V.</creatorcontrib><description>A new type of fuzzy petri Net (FPN) is proposed for representing knowledge. An algorithm is presented for checking the consistency of a fuzzy knowledge base via a set of reduction rules that preserve the properties of the FPN. A refutation method for theorem proving using the FPN reductions is presented. The use of FPN yields an efficient method for automated decisionmaking.</description><identifier>ISSN: 0020-0190</identifier><identifier>EISSN: 1872-6119</identifier><identifier>DOI: 10.1016/0020-0190(91)90114-W</identifier><identifier>CODEN: IFPLAT</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Algorithms ; Applied sciences ; Computer science; control theory; systems ; concurrency ; Decision making ; decision support ; Exact sciences and technology ; Formal Languages ; Information processing ; Theoretical computing ; Theory</subject><ispartof>Information processing letters, 1991-08, Vol.39 (3), p.165-171</ispartof><rights>1991</rights><rights>1992 INIST-CNRS</rights><rights>Copyright Elsevier Sequoia S.A. Aug 16, 1991</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c360t-ad142cc360356ad6527c2b0fff030b2bc8a2b650cac7e98725fa0f71e77125183</citedby><cites>FETCH-LOGICAL-c360t-ad142cc360356ad6527c2b0fff030b2bc8a2b650cac7e98725fa0f71e77125183</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/0020-0190(91)90114-W$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,780,784,3550,27924,27925,45995</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=5212956$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Garg, M.L.</creatorcontrib><creatorcontrib>Ahson, S.I.</creatorcontrib><creatorcontrib>Gupta, P.V.</creatorcontrib><title>A Fuzzy Petri Net for knowledge representation and reasoning</title><title>Information processing letters</title><description>A new type of fuzzy petri Net (FPN) is proposed for representing knowledge. An algorithm is presented for checking the consistency of a fuzzy knowledge base via a set of reduction rules that preserve the properties of the FPN. A refutation method for theorem proving using the FPN reductions is presented. The use of FPN yields an efficient method for automated decisionmaking.</description><subject>Algorithms</subject><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>concurrency</subject><subject>Decision making</subject><subject>decision support</subject><subject>Exact sciences and technology</subject><subject>Formal Languages</subject><subject>Information processing</subject><subject>Theoretical computing</subject><subject>Theory</subject><issn>0020-0190</issn><issn>1872-6119</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1991</creationdate><recordtype>article</recordtype><recordid>eNp9kEFLAzEQhYMoWKv_wMMiHvSwOpPtJl0QoRSrQlEPSo8hzU5Kas3WZKu0v95dWzx6mmH43puZx9gpwhUCimsADilgARcFXhaA2Esne6yDfclTgVjss84fcsiOYpwDgOhlssNuBslotdmskxeqg0ueqE5sFZJ3X30vqJxREmgZKJKvde0qn2hfNiMdK-_87JgdWL2IdLKrXfY2unsdPqTj5_vH4WCcmkxAneoSe9y0fZYLXYqcS8OnYK2FDKZ8avqaT0UORhtJRXN0bjVYiSQl8hz7WZedbX2XofpcUazVvFoF36xUPJNcZoJjA_W2kAlVjIGsWgb3ocNaIag2JtVmoNoMVIHqNyY1aWTnO28djV7YoL1x8U-bc-RFLhrsdotR8-eXo6CiceQNlS6QqVVZuf_3_AC9jXoJ</recordid><startdate>19910816</startdate><enddate>19910816</enddate><creator>Garg, M.L.</creator><creator>Ahson, S.I.</creator><creator>Gupta, P.V.</creator><general>Elsevier B.V</general><general>Elsevier Science</general><general>Elsevier Sequoia S.A</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19910816</creationdate><title>A Fuzzy Petri Net for knowledge representation and reasoning</title><author>Garg, M.L. ; Ahson, S.I. ; Gupta, P.V.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c360t-ad142cc360356ad6527c2b0fff030b2bc8a2b650cac7e98725fa0f71e77125183</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1991</creationdate><topic>Algorithms</topic><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>concurrency</topic><topic>Decision making</topic><topic>decision support</topic><topic>Exact sciences and technology</topic><topic>Formal Languages</topic><topic>Information processing</topic><topic>Theoretical computing</topic><topic>Theory</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Garg, M.L.</creatorcontrib><creatorcontrib>Ahson, S.I.</creatorcontrib><creatorcontrib>Gupta, P.V.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Information processing letters</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Garg, M.L.</au><au>Ahson, S.I.</au><au>Gupta, P.V.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Fuzzy Petri Net for knowledge representation and reasoning</atitle><jtitle>Information processing letters</jtitle><date>1991-08-16</date><risdate>1991</risdate><volume>39</volume><issue>3</issue><spage>165</spage><epage>171</epage><pages>165-171</pages><issn>0020-0190</issn><eissn>1872-6119</eissn><coden>IFPLAT</coden><abstract>A new type of fuzzy petri Net (FPN) is proposed for representing knowledge. An algorithm is presented for checking the consistency of a fuzzy knowledge base via a set of reduction rules that preserve the properties of the FPN. A refutation method for theorem proving using the FPN reductions is presented. The use of FPN yields an efficient method for automated decisionmaking.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/0020-0190(91)90114-W</doi><tpages>7</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0020-0190 |
| ispartof | Information processing letters, 1991-08, Vol.39 (3), p.165-171 |
| issn | 0020-0190 1872-6119 |
| language | eng |
| recordid | cdi_proquest_journals_237273621 |
| source | Elsevier ScienceDirect Journals Complete |
| subjects | Algorithms Applied sciences Computer science control theory systems concurrency Decision making decision support Exact sciences and technology Formal Languages Information processing Theoretical computing Theory |
| title | A Fuzzy Petri Net for knowledge representation and reasoning |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T14%3A31%3A06IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Fuzzy%20Petri%20Net%20for%20knowledge%20representation%20and%20reasoning&rft.jtitle=Information%20processing%20letters&rft.au=Garg,%20M.L.&rft.date=1991-08-16&rft.volume=39&rft.issue=3&rft.spage=165&rft.epage=171&rft.pages=165-171&rft.issn=0020-0190&rft.eissn=1872-6119&rft.coden=IFPLAT&rft_id=info:doi/10.1016/0020-0190(91)90114-W&rft_dat=%3Cproquest_cross%3E1137413%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=237273621&rft_id=info:pmid/&rft_els_id=002001909190114W&rfr_iscdi=true |