{"title":"非单调推理的模糊真值维持系统","authors":"P. V. Reddy","doi":"10.1109/iFUZZY53132.2021.9605089","DOIUrl":null,"url":null,"abstract":"Sometimes Artificial Intelligence (AI) has to deal with undecided problems. An undecided problem has no computer solution. The non-monotonic problem is undecided. Fuzzy logic will make undecided into decided. Fuzzy logic with twofold fuzzy set will give conclusion for non-monotonic reasoning. In this paper, Fuzzy non-monotonic reasoning is studied with twofold fold fuzzy membership functions belief and disbelief twofold to made undecided problem in to decidable. Fuzzy certainty factor (FCF) is defined to eliminate conflict between belief and disbelief. Fuzzy truth maintenance system (FTMS) is studied for computation of fuzzy non-monotonic reasoning to make monotonic. Some examples are given for fuzzy non-monotonic reasoning.","PeriodicalId":442344,"journal":{"name":"2021 International Conference on Fuzzy Theory and Its Applications (iFUZZY)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Fuzzy Truth Maintenance System for Non-Monotonic Reasoning\",\"authors\":\"P. V. Reddy\",\"doi\":\"10.1109/iFUZZY53132.2021.9605089\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Sometimes Artificial Intelligence (AI) has to deal with undecided problems. An undecided problem has no computer solution. The non-monotonic problem is undecided. Fuzzy logic will make undecided into decided. Fuzzy logic with twofold fuzzy set will give conclusion for non-monotonic reasoning. In this paper, Fuzzy non-monotonic reasoning is studied with twofold fold fuzzy membership functions belief and disbelief twofold to made undecided problem in to decidable. Fuzzy certainty factor (FCF) is defined to eliminate conflict between belief and disbelief. Fuzzy truth maintenance system (FTMS) is studied for computation of fuzzy non-monotonic reasoning to make monotonic. Some examples are given for fuzzy non-monotonic reasoning.\",\"PeriodicalId\":442344,\"journal\":{\"name\":\"2021 International Conference on Fuzzy Theory and Its Applications (iFUZZY)\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-10-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 International Conference on Fuzzy Theory and Its Applications (iFUZZY)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/iFUZZY53132.2021.9605089\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 International Conference on Fuzzy Theory and Its Applications (iFUZZY)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/iFUZZY53132.2021.9605089","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Fuzzy Truth Maintenance System for Non-Monotonic Reasoning
Sometimes Artificial Intelligence (AI) has to deal with undecided problems. An undecided problem has no computer solution. The non-monotonic problem is undecided. Fuzzy logic will make undecided into decided. Fuzzy logic with twofold fuzzy set will give conclusion for non-monotonic reasoning. In this paper, Fuzzy non-monotonic reasoning is studied with twofold fold fuzzy membership functions belief and disbelief twofold to made undecided problem in to decidable. Fuzzy certainty factor (FCF) is defined to eliminate conflict between belief and disbelief. Fuzzy truth maintenance system (FTMS) is studied for computation of fuzzy non-monotonic reasoning to make monotonic. Some examples are given for fuzzy non-monotonic reasoning.