{"title":"扩展多伴随逻辑程序中非相干信息的测度","authors":"N. Madrid, M. Ojeda‐Aciego","doi":"10.1109/FOCI.2013.6602452","DOIUrl":null,"url":null,"abstract":"We continue analyzing the introduction of negation into the framework of residuated logic programming [8], [10]; specifically, we focus on extended programs, that is we consider programs with strong negation. The classical approach to extended logic programs consists in considering negated literals as new, independent, ones and, then apply the usual monotonic approach (based on the fix-point semantics and the Tp operator); if the least fix-point so obtained is inconsistent, then the approach fails and no meaning is attached to the program. This paper introduces several approaches to measure consistency (under the term coherence) into a multi-adjoint setting.","PeriodicalId":237129,"journal":{"name":"2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"On the measure of incoherent information in extended multi-adjoint logic programs\",\"authors\":\"N. Madrid, M. Ojeda‐Aciego\",\"doi\":\"10.1109/FOCI.2013.6602452\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We continue analyzing the introduction of negation into the framework of residuated logic programming [8], [10]; specifically, we focus on extended programs, that is we consider programs with strong negation. The classical approach to extended logic programs consists in considering negated literals as new, independent, ones and, then apply the usual monotonic approach (based on the fix-point semantics and the Tp operator); if the least fix-point so obtained is inconsistent, then the approach fails and no meaning is attached to the program. This paper introduces several approaches to measure consistency (under the term coherence) into a multi-adjoint setting.\",\"PeriodicalId\":237129,\"journal\":{\"name\":\"2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-04-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FOCI.2013.6602452\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FOCI.2013.6602452","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On the measure of incoherent information in extended multi-adjoint logic programs
We continue analyzing the introduction of negation into the framework of residuated logic programming [8], [10]; specifically, we focus on extended programs, that is we consider programs with strong negation. The classical approach to extended logic programs consists in considering negated literals as new, independent, ones and, then apply the usual monotonic approach (based on the fix-point semantics and the Tp operator); if the least fix-point so obtained is inconsistent, then the approach fails and no meaning is attached to the program. This paper introduces several approaches to measure consistency (under the term coherence) into a multi-adjoint setting.