发布求助
文献互助 智能选刊 最新文献

Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering最新文献

筛选
英文 中文
The development of a knowledge based system for predicting strategic building maintenance 基于知识的战略性建筑维修预测系统的开发
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227968
I. Watson, P. Brandon, A. Basden
{"title":"The development of a knowledge based system for predicting strategic building maintenance","authors":"I. Watson, P. Brandon, A. Basden","doi":"10.1109/SEKE.1992.227968","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227968","url":null,"abstract":"Describes the development of a knowledge-based system (KBS) for predicting strategic maintenance in residential property. An initial feasibility study identified a need for the long-term strategic planning of building maintenance in housing associations. However, conventional maintenance management programs require too much data input, are too inflexible. and do not permit their users to explore potential alternatives. The application of KBS technology to this area directly addresses these problems. This paper examines the need for such systems, and describes the implementation of one such system using a client centred approach to the development of KBSs. The paper concludes by discussing some of the problems that were encountered during the system's development, how they were overcome, and what lessons may be learned for future system developments.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127898490","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Uncertain temporal knowledge management 不确定时态知识管理
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227942
C. Ziqiang
{"title":"Uncertain temporal knowledge management","authors":"C. Ziqiang","doi":"10.1109/SEKE.1992.227942","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227942","url":null,"abstract":"This paper presents an approach of managing temporal knowledge under uncertainty based on fuzzy logic and possibility theory. Temporal uncertainties or modelled in terms of possibility distributions. A Fuzzy Timed Causal Like Network (FTCLN) is defined to represent knowledge about the process or system under consideration. A FTCLN is, in fact, a timed acyclic directed graph where a node is the description of an event and an arc the temporal relation between the two events it links. All events are dated and are ordered according to the moment of time when they occur. The direction of the arc indicates the qualitative temporal order (symbolic aspect) and the length of arc describes the time interval between two events. The temporal reasoning under uncertainty is performed by evaluating this network and a prototype has been implemented which leads to the F-TRYST (fuzzy temporal reasoning system).<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"446 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125770955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A knowledge-based method for engineering navigational capability into user interface software 一种基于知识的用户界面软件导航能力工程方法
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227951
M. Jacques, Delano Stevens, J. Getchius, L. Lau
{"title":"A knowledge-based method for engineering navigational capability into user interface software","authors":"M. Jacques, Delano Stevens, J. Getchius, L. Lau","doi":"10.1109/SEKE.1992.227951","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227951","url":null,"abstract":"One of the most time consuming tasks involved in the creation of user interfaces (UIs) has been the development of navigational logic to control which screens the user sees and when they are presented. The authors describe a practical, timesaving approach using knowledge engineering principles and two knowledge-based software tools which they have developed. These tools, combined with a method of representing complex navigational logic, constitute an effective approach to engineering large UI software applications. The method was tested in a complex application containing over 130 screens where this approach was estimated to be ten times more efficient than conventional techniques.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"2002 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123762521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Knowledge-based transformational programming 基于知识的转换编程
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227953
Junbo Liu, O. Traynor, B. Krieg-Brückner
{"title":"Knowledge-based transformational programming","authors":"Junbo Liu, O. Traynor, B. Krieg-Brückner","doi":"10.1109/SEKE.1992.227953","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227953","url":null,"abstract":"Transformations are functions over programs that adhere to some program refinement relation. The power of transformations stems, in the first instance, from the flexibility available within the transformation system for representing design decisions, which requires that transformations be parameterized with the knowledge of problem domain; and second, on the ability to reuse developments in an effective manner, after some modifications have been made to the problem definition. In this paper, knowledge-based transformational programming in the PROSPECTRA system is presented. The strength of this approach arises from the smooth combination of knowledge bases and transformations in the development and re-development of programs. In particular, emphasis is placed on the separation of concerns achieved by the effective partitioning of problem domain knowledge and problem specification.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133985309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
An open system protocol for agent-oriented programming 面向代理编程的开放系统协议
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227897
Wen-Ran Zhang, Wenhua Wang, A. Guercio
{"title":"An open system protocol for agent-oriented programming","authors":"Wen-Ran Zhang, Wenhua Wang, A. Guercio","doi":"10.1109/SEKE.1992.227897","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227897","url":null,"abstract":"The concepts of virtual agents (VAs) and virtual communities (VCs) are proposed for interagent communication and cooperation based on 'scientific community' metaphor. VAs are 'images' of autonomous agents (expert decision support systems and human decision makers) dynamically created in a local agent's 'mind' (or knowledge base) and linked to the remote host through attached network routines. This feature enables VAs to be defined as network domain objects which conceal the details of computer communications and provide an agent-oriented environment for perspective sharing and coordination. Using this protocol, VAs can be organized into VCs and different social protocols may be modeled as virtual sessions in a virtual conference setting. A prototype system is developed in C and C++ using the UDP/IP protocol. The basic ideas are illustrated with an application example. The major advantage of this approach lies in its utility for coordination without coercion.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130105894","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A knowledge base management system on relation model and term rewriting 基于关系模型和术语改写的知识库管理系统
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227941
J. Huai
{"title":"A knowledge base management system on relation model and term rewriting","authors":"J. Huai","doi":"10.1109/SEKE.1992.227941","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227941","url":null,"abstract":"The author first discusses the status of knowledge base management systems (KBMSs). A new data model and an approach for knowledge base management systems is presented regarding the integration of the relational model with term rewriting techniques. Based on this model an efficient KBMS has been designed and implemented with C and ORACLE, which has the following features: multi-user languages on the extensions of SQL, QBE and PROLOG; data/knowledge definition, representation and manipulation; reasoning and explaining; security and integrity check; and optimal recursive processing.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133839741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A hierarchical blackboard architecture for distributed AI systems 分布式人工智能系统的分层黑板架构
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227969
M. Weiss, F. Stetter
{"title":"A hierarchical blackboard architecture for distributed AI systems","authors":"M. Weiss, F. Stetter","doi":"10.1109/SEKE.1992.227969","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227969","url":null,"abstract":"A framework for distributed problem solving should support the incremental development and integration of problem solvers into the system in agreement with the principles of stepwise refinement and functional decomposition. The organizational structure of the framework should guide the mapping of each of the functional areas onto agents and its communication structure should reflect this decomposition. The authors describe a hierarchical multi-blackboard architecture, called the Hierarchical Blackboard System (HBBS) which satisfies these requirements. It serves as an integration architecture for heterogeneous expert systems. Important features of the system, such as the hierarchy concept, communication strategy and configuration management of the system at run-time are discussed. A working prototype HBBS for distributed CAD/CAE of communication systems is described.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133968413","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Prototyping an inconsistency checking tool for software process models 对软件过程模型的不一致检查工具进行原型设计
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227924
Jin-Kao Hao, F. Trousset, Jean Jacques
{"title":"Prototyping an inconsistency checking tool for software process models","authors":"Jin-Kao Hao, F. Trousset, Jean Jacques","doi":"10.1109/SEKE.1992.227924","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227924","url":null,"abstract":"Software process modeling has attracted much research effort in software engineering. However, there is little work reported for the verification of process models. In fact, the verification is often either performed by hand or it is left to the enacting mechanism to detect inconsistencies during execution. Since process models are becoming more and more powerful and complex, their verification is also becoming increasingly difficult and critical. The authors proposition is that one needs special tools to help verify the consistency of software process models. They present part of their experience in designing and prototyping such a tool for the verification of software process models in the ALF project. The tool helps verify the partial consistency of process models by statically detecting various inconsistencies. This prototype uses techniques developed in different fields such as compilation, constraint solving and logic. As far as they know, this is the first tool of its kind designed for the static checking for process models.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128881263","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A blackboard model to design integrated intelligent software maintenance environment 采用黑板模型设计集成智能软件维护环境
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI: 10.1109/SEKE.1992.227972
G. Avellis, L. Borzacchini
{"title":"A blackboard model to design integrated intelligent software maintenance environment","authors":"G. Avellis, L. Borzacchini","doi":"10.1109/SEKE.1992.227972","DOIUrl":"https://doi.org/10.1109/SEKE.1992.227972","url":null,"abstract":"Intelligent software systems have been proposed to address the problem of integration in the next generation of software engineering environments (SEEs). This paper addresses the organizational principles of an integrated architecture, the Software Maintenance Expert System (SMES), using a model drawn from artificial intelligence techniques. In the software maintenance process, the interdependence of abstraction recovery tools and application domain components plays a key role in the representation of the user's mental model of the system under maintenance. To support the reverse engineering process and hence the change process, the integration between procedural and declarative maintenance knowledge is needed. The authors advocate the use of a blackboard model to address this issue.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"03 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129983112","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信