模型管理系统中的推理

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track Pub Date : 1900-01-01 DOI:10.1109/HICSS.1988.11942

T. Liang

{"title":"模型管理系统中的推理","authors":"T. Liang","doi":"10.1109/HICSS.1988.11942","DOIUrl":null,"url":null,"abstract":"The issues involved in the reasoning process are discussed. A hierarchy of abstractions that integrates previous contributions in modeling process is formulated as a planning process by which a set of operators are scheduled to achieve a specified goal. This process involves searches for alternatives that can eliminate the difference between the initial state and the goal state. Various reasoning strategies and heuristic evaluation functions that can be used to improve the efficiency of model integration are discussed.<<ETX>>","PeriodicalId":339507,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track","volume":"71 1-2","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"20","resultStr":"{\"title\":\"Reasoning in model management systems\",\"authors\":\"T. Liang\",\"doi\":\"10.1109/HICSS.1988.11942\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The issues involved in the reasoning process are discussed. A hierarchy of abstractions that integrates previous contributions in modeling process is formulated as a planning process by which a set of operators are scheduled to achieve a specified goal. This process involves searches for alternatives that can eliminate the difference between the initial state and the goal state. Various reasoning strategies and heuristic evaluation functions that can be used to improve the efficiency of model integration are discussed.<<ETX>>\",\"PeriodicalId\":339507,\"journal\":{\"name\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track\",\"volume\":\"71 1-2\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"20\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1988.11942\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1988.11942","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 20

摘要

讨论了推理过程中涉及的问题。将建模过程中以前的贡献集成在一起的抽象层次结构表述为计划过程，通过计划过程安排一组操作符来实现指定的目标。这个过程包括寻找可以消除初始状态和目标状态之间差异的替代方案。讨论了可用于提高模型集成效率的各种推理策略和启发式评估函数。

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

查看原文本刊更多论文

Reasoning in model management systems

The issues involved in the reasoning process are discussed. A hierarchy of abstractions that integrates previous contributions in modeling process is formulated as a planning process by which a set of operators are scheduled to achieve a specified goal. This process involves searches for alternatives that can eliminate the difference between the initial state and the goal state. Various reasoning strategies and heuristic evaluation functions that can be used to improve the efficiency of model integration are discussed.<>

求助全文

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

来源期刊

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track

自引率

0.00%

发文量