{"title":"时间推理和假设推理作为定性推理的支持","authors":"C. Loesel, F. Charpillet, J. Haton","doi":"10.1109/TAI.1992.246441","DOIUrl":null,"url":null,"abstract":"To deal with complex problems, many kinds of reasoning and representation techniques are needed. The cooperation between different reasoning models constitutes one of the objectives of second-generation systems. The need to mix temporal and hypothetical reasoning for qualitative simulation is highlighted. A system built around an ATMS, a TCP, and a model that reasons on orders of magnitude is proposed. This system relies on an extension of HEART (see C. Joubel and O. Raiman, 1990). A new method for making histories concise has been developed.<<ETX>>","PeriodicalId":265283,"journal":{"name":"Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92","volume":"119 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Temporal and hypothetical reasoning as a support for qualitative reasoning\",\"authors\":\"C. Loesel, F. Charpillet, J. Haton\",\"doi\":\"10.1109/TAI.1992.246441\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"To deal with complex problems, many kinds of reasoning and representation techniques are needed. The cooperation between different reasoning models constitutes one of the objectives of second-generation systems. The need to mix temporal and hypothetical reasoning for qualitative simulation is highlighted. A system built around an ATMS, a TCP, and a model that reasons on orders of magnitude is proposed. This system relies on an extension of HEART (see C. Joubel and O. Raiman, 1990). A new method for making histories concise has been developed.<<ETX>>\",\"PeriodicalId\":265283,\"journal\":{\"name\":\"Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92\",\"volume\":\"119 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1992.246441\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Fourth International Conference on Tools with Artificial Intelligence TAI '92","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1992.246441","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Temporal and hypothetical reasoning as a support for qualitative reasoning
To deal with complex problems, many kinds of reasoning and representation techniques are needed. The cooperation between different reasoning models constitutes one of the objectives of second-generation systems. The need to mix temporal and hypothetical reasoning for qualitative simulation is highlighted. A system built around an ATMS, a TCP, and a model that reasons on orders of magnitude is proposed. This system relies on an extension of HEART (see C. Joubel and O. Raiman, 1990). A new method for making histories concise has been developed.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
