限制数量约束的扩展模糊描述逻辑的推理复杂性
TP8; 为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题....
Gespeichert in:
Veröffentlicht in: | 东南大学学报(英文版) 2007, Vol.23 (2), p.236-240 |
---|---|
Hauptverfasser: | , , , , |
Format: | Artikel |
Sprache: | chi |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 240 |
---|---|
container_issue | 2 |
container_start_page | 236 |
container_title | 东南大学学报(英文版) |
container_volume | 23 |
creator | 陆建江 李言辉 张亚非 周波 康达周 |
description | TP8; 为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题. |
doi_str_mv | 10.3969/j.issn.1003-7985.2007.02.017 |
format | Article |
fullrecord | <record><control><sourceid>wanfang_jour</sourceid><recordid>TN_cdi_wanfang_journals_dndxxb_e200702017</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><wanfj_id>dndxxb_e200702017</wanfj_id><sourcerecordid>dndxxb_e200702017</sourcerecordid><originalsourceid>FETCH-wanfang_journals_dndxxb_e2007020173</originalsourceid><addsrcrecordid>eNpjYFAxNNAztjSz1M_SyywuztMzNDAw1jW3tDDVMzIwMNczMNIzMDRnYeCEi3MwcBUXZxkYmBgYm5hxMti_nDnhace2Z1M3vGzvf75r2bO585_PannWufLpxqnPVix8vrnrWX__i_0bXjbsfrFvIkiqb8XzCW1Pl_Q-m9v0rGE5DwNrWmJOcSovlOZm0HRzDXH20C1PzEtLzEuPz8ovLcoDysSn5KVUVCTFp4LcZWAEdJUxKWoBlkVaEA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>限制数量约束的扩展模糊描述逻辑的推理复杂性</title><source>Alma/SFX Local Collection</source><creator>陆建江 ; 李言辉 ; 张亚非 ; 周波 ; 康达周</creator><creatorcontrib>陆建江 ; 李言辉 ; 张亚非 ; 周波 ; 康达周</creatorcontrib><description>TP8; 为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.</description><identifier>ISSN: 1003-7985</identifier><identifier>DOI: 10.3969/j.issn.1003-7985.2007.02.017</identifier><language>chi</language><publisher>解放军理工大学指挥自动化学院,南京,210007%东南大学计算机科学与工程学院,南京,210096</publisher><ispartof>东南大学学报(英文版), 2007, Vol.23 (2), p.236-240</ispartof><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://www.wanfangdata.com.cn/images/PeriodicalImages/dndxxb-e/dndxxb-e.jpg</thumbnail><link.rule.ids>314,780,784,4024,27923,27924,27925</link.rule.ids></links><search><creatorcontrib>陆建江</creatorcontrib><creatorcontrib>李言辉</creatorcontrib><creatorcontrib>张亚非</creatorcontrib><creatorcontrib>周波</creatorcontrib><creatorcontrib>康达周</creatorcontrib><title>限制数量约束的扩展模糊描述逻辑的推理复杂性</title><title>东南大学学报(英文版)</title><description>TP8; 为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.</description><issn>1003-7985</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><recordid>eNpjYFAxNNAztjSz1M_SyywuztMzNDAw1jW3tDDVMzIwMNczMNIzMDRnYeCEi3MwcBUXZxkYmBgYm5hxMti_nDnhace2Z1M3vGzvf75r2bO585_PannWufLpxqnPVix8vrnrWX__i_0bXjbsfrFvIkiqb8XzCW1Pl_Q-m9v0rGE5DwNrWmJOcSovlOZm0HRzDXH20C1PzEtLzEuPz8ovLcoDysSn5KVUVCTFp4LcZWAEdJUxKWoBlkVaEA</recordid><startdate>2007</startdate><enddate>2007</enddate><creator>陆建江</creator><creator>李言辉</creator><creator>张亚非</creator><creator>周波</creator><creator>康达周</creator><general>解放军理工大学指挥自动化学院,南京,210007%东南大学计算机科学与工程学院,南京,210096</general><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>2007</creationdate><title>限制数量约束的扩展模糊描述逻辑的推理复杂性</title><author>陆建江 ; 李言辉 ; 张亚非 ; 周波 ; 康达周</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-wanfang_journals_dndxxb_e2007020173</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>chi</language><creationdate>2007</creationdate><toplevel>online_resources</toplevel><creatorcontrib>陆建江</creatorcontrib><creatorcontrib>李言辉</creatorcontrib><creatorcontrib>张亚非</creatorcontrib><creatorcontrib>周波</creatorcontrib><creatorcontrib>康达周</creatorcontrib><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>东南大学学报(英文版)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>陆建江</au><au>李言辉</au><au>张亚非</au><au>周波</au><au>康达周</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>限制数量约束的扩展模糊描述逻辑的推理复杂性</atitle><jtitle>东南大学学报(英文版)</jtitle><date>2007</date><risdate>2007</risdate><volume>23</volume><issue>2</issue><spage>236</spage><epage>240</epage><pages>236-240</pages><issn>1003-7985</issn><abstract>TP8; 为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.</abstract><pub>解放军理工大学指挥自动化学院,南京,210007%东南大学计算机科学与工程学院,南京,210096</pub><doi>10.3969/j.issn.1003-7985.2007.02.017</doi></addata></record> |
fulltext | fulltext |
identifier | ISSN: 1003-7985 |
ispartof | 东南大学学报(英文版), 2007, Vol.23 (2), p.236-240 |
issn | 1003-7985 |
language | chi |
recordid | cdi_wanfang_journals_dndxxb_e200702017 |
source | Alma/SFX Local Collection |
title | 限制数量约束的扩展模糊描述逻辑的推理复杂性 |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T19%3A34%3A29IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=%E9%99%90%E5%88%B6%E6%95%B0%E9%87%8F%E7%BA%A6%E6%9D%9F%E7%9A%84%E6%89%A9%E5%B1%95%E6%A8%A1%E7%B3%8A%E6%8F%8F%E8%BF%B0%E9%80%BB%E8%BE%91%E7%9A%84%E6%8E%A8%E7%90%86%E5%A4%8D%E6%9D%82%E6%80%A7&rft.jtitle=%E4%B8%9C%E5%8D%97%E5%A4%A7%E5%AD%A6%E5%AD%A6%E6%8A%A5%EF%BC%88%E8%8B%B1%E6%96%87%E7%89%88%EF%BC%89&rft.au=%E9%99%86%E5%BB%BA%E6%B1%9F&rft.date=2007&rft.volume=23&rft.issue=2&rft.spage=236&rft.epage=240&rft.pages=236-240&rft.issn=1003-7985&rft_id=info:doi/10.3969/j.issn.1003-7985.2007.02.017&rft_dat=%3Cwanfang_jour%3Edndxxb_e200702017%3C/wanfang_jour%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_wanfj_id=dndxxb_e200702017&rfr_iscdi=true |