扩展模糊描述逻辑的推理技术

17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05) Pub Date : 2005-11-14 DOI:10.1109/ICTAI.2005.107

Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu

{"title":"扩展模糊描述逻辑的推理技术","authors":"Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu","doi":"10.1109/ICTAI.2005.107","DOIUrl":null,"url":null,"abstract":"A family of extended fuzzy description logics, which includes a framework of syntax, semantics, knowledge base form and reasoning tasks, is proposed to enable representation and reasoning for complex fuzzy information. This paper discusses the reasoning technique for reasoning tasks of extended fuzzy description logics, which adopts classical description logics to discretely simulate extended fuzzy description logic in polynomial time and reuses the existing reasoning result to prove the complexity of reasoning tasks of extended fuzzy description logics","PeriodicalId":294694,"journal":{"name":"17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Reasoning technique for extended fuzzy description logics\",\"authors\":\"Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu\",\"doi\":\"10.1109/ICTAI.2005.107\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A family of extended fuzzy description logics, which includes a framework of syntax, semantics, knowledge base form and reasoning tasks, is proposed to enable representation and reasoning for complex fuzzy information. This paper discusses the reasoning technique for reasoning tasks of extended fuzzy description logics, which adopts classical description logics to discretely simulate extended fuzzy description logic in polynomial time and reuses the existing reasoning result to prove the complexity of reasoning tasks of extended fuzzy description logics\",\"PeriodicalId\":294694,\"journal\":{\"name\":\"17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-11-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICTAI.2005.107\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICTAI.2005.107","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

为了实现对复杂模糊信息的表示和推理，提出了一种扩展模糊描述逻辑，包括语法、语义、知识库形式和推理任务的框架。本文讨论了扩展模糊描述逻辑推理任务的推理技术，采用经典描述逻辑在多项式时间内离散模拟扩展模糊描述逻辑，并重用已有的推理结果来证明扩展模糊描述逻辑推理任务的复杂性

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Reasoning technique for extended fuzzy description logics

A family of extended fuzzy description logics, which includes a framework of syntax, semantics, knowledge base form and reasoning tasks, is proposed to enable representation and reasoning for complex fuzzy information. This paper discusses the reasoning technique for reasoning tasks of extended fuzzy description logics, which adopts classical description logics to discretely simulate extended fuzzy description logic in polynomial time and reuses the existing reasoning result to prove the complexity of reasoning tasks of extended fuzzy description logics

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)

自引率

0.00%

发文量