[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-01DOI: 10.1109/HICSS.1988.11914
J. Elam, D. Walz
The authors examine one particular aspect of the group process of software design, namely the interpersonal conflict that occurs within a software design team. Structured observations of the conflict that occurred within a set of team meetings that took place during the requirements-definition phase of an actual software development project form the basis for the analysis. It is shown that conflict is a consistent but fairly small percentage of the group interactions. Issues are not resolved in a top-down manner, and general issues such as project goals and overall design approach tend to resurface at later meetings. The implication of these findings for the design of computer-supported cooperative work environments for software design teams is explored.<>
{"title":"A study of conflict in group design activities: implications for computer-supported cooperative work environments","authors":"J. Elam, D. Walz","doi":"10.1109/HICSS.1988.11914","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11914","url":null,"abstract":"The authors examine one particular aspect of the group process of software design, namely the interpersonal conflict that occurs within a software design team. Structured observations of the conflict that occurred within a set of team meetings that took place during the requirements-definition phase of an actual software development project form the basis for the analysis. It is shown that conflict is a consistent but fairly small percentage of the group interactions. Issues are not resolved in a top-down manner, and general issues such as project goals and overall design approach tend to resurface at later meetings. The implication of these findings for the design of computer-supported cooperative work environments for software design teams is explored.<<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":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125367111","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11925
F. Glover, C. McMillan, S. McMillan
It is suggested that a machine capable of management functions of a complex, real-world nature is feasible. Offered as evidence is a microcomputer scheduling program that is already replacing human managers in a complex real-world environment and handling problems whose size and complexity dwarf the empirically established limits for comparable problems with which researchers and practitioners have wrestled for more than a decade. The reasons for the success of this program and its implications for the notion of a machine that manages are examined.<>
{"title":"Machines who manage-harnessing the combinatoric explosion","authors":"F. Glover, C. McMillan, S. McMillan","doi":"10.1109/HICSS.1988.11925","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11925","url":null,"abstract":"It is suggested that a machine capable of management functions of a complex, real-world nature is feasible. Offered as evidence is a microcomputer scheduling program that is already replacing human managers in a complex real-world environment and handling problems whose size and complexity dwarf the empirically established limits for comparable problems with which researchers and practitioners have wrestled for more than a decade. The reasons for the success of this program and its implications for the notion of a machine that manages are examined.<<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":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125458670","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11915
K. Bimson, L. B. Burris
The authors discusses the Software Project Manager (SPM), which has been prototyped in Interference Corporation's Automated Reasoning Tool (ART) on Symbolics artificial-intelligence workstations. They present an overview of the management model underlying SPM and define the essential concepts and relationships needed to model the project-management domain. They describe the knowledge representation strategy used to implement this conceptual model. They illustrate the power of using conceptual model-based reasoning in building intelligent decision-support systems for the project management domain.<>
{"title":"Conceptual model-based reasoning for knowledge-based software project management","authors":"K. Bimson, L. B. Burris","doi":"10.1109/HICSS.1988.11915","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11915","url":null,"abstract":"The authors discusses the Software Project Manager (SPM), which has been prototyped in Interference Corporation's Automated Reasoning Tool (ART) on Symbolics artificial-intelligence workstations. They present an overview of the management model underlying SPM and define the essential concepts and relationships needed to model the project-management domain. They describe the knowledge representation strategy used to implement this conceptual model. They illustrate the power of using conceptual model-based reasoning in building intelligent decision-support systems for the project management domain.<<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":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133446492","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11941
R. Krishnan
A description is given of the PM logic modelling language. PM forms part of a knowledge-based system used to construct computable specifications of linear programming models. In addition to serving as input to the model construction process, a PM specification is used to infer problem details. A simple example that illustrates PM's representational ability is given. The choice of a logic-based language was motivated by the need for a semantically precise declarative problem specification language that supports inference.<>
{"title":"PM: a logic modeling language for production, distribution and inventory planning","authors":"R. Krishnan","doi":"10.1109/HICSS.1988.11941","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11941","url":null,"abstract":"A description is given of the PM logic modelling language. PM forms part of a knowledge-based system used to construct computable specifications of linear programming models. In addition to serving as input to the model construction process, a PM specification is used to infer problem details. A simple example that illustrates PM's representational ability is given. The choice of a logic-based language was motivated by the need for a semantically precise declarative problem specification language that supports inference.<<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":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134240638","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11902
D. Straub, R. Beauclair
This study looks at the actual ways in which group decision-support systems (GDSSs) are currently being utilized. The framework for the study was derived from G. DeSanctis and R.B. Gallupe's (1987) work, using a survey of 135 randomly selected Data Processing Management Association members as the sample base. Based on preliminary data analysis, it appears that GDSS are slowly being introduced and supported by information-systems departments and that this pattern will be the trend for the immediate future as well. Data analysis will be completed in the near future, but analytical procedures are delineated. These procedures take two primary forms: descriptive statistics based on the study data assess the extent to which organizations are increasing their commitment to GDSS and which current implementations are heaviest in each of the GDSS types. Factor analysis of respondent data is used to assess task-group usage of GDSS.<>
{"title":"Current and future uses of GDSS technology: report on a recent empirical study","authors":"D. Straub, R. Beauclair","doi":"10.1109/HICSS.1988.11902","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11902","url":null,"abstract":"This study looks at the actual ways in which group decision-support systems (GDSSs) are currently being utilized. The framework for the study was derived from G. DeSanctis and R.B. Gallupe's (1987) work, using a survey of 135 randomly selected Data Processing Management Association members as the sample base. Based on preliminary data analysis, it appears that GDSS are slowly being introduced and supported by information-systems departments and that this pattern will be the trend for the immediate future as well. Data analysis will be completed in the near future, but analytical procedures are delineated. These procedures take two primary forms: descriptive statistics based on the study data assess the extent to which organizations are increasing their commitment to GDSS and which current implementations are heaviest in each of the GDSS types. Factor analysis of respondent data is used to assess task-group usage of GDSS.<<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":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121472013","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11944
Ronald M. Lee, Ranjit Bose
Bureaucracies are considered as organizations whose administration is rationalised in the form of explicit rules and procedures. A logic-based representation is presented, based on deontic logic, for modeling bureaucratic transactions and constraints and their effects on the responsibilities and privileges of individuals in the organization.<>
{"title":"Deontic reasoning in bureaucratic systems","authors":"Ronald M. Lee, Ranjit Bose","doi":"10.1109/HICSS.1988.11944","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11944","url":null,"abstract":"Bureaucracies are considered as organizations whose administration is rationalised in the form of explicit rules and procedures. A logic-based representation is presented, based on deontic logic, for modeling bureaucratic transactions and constraints and their effects on the responsibilities and privileges of individuals in the organization.<<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":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125854967","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11939
D. Nute, R. Mann, B. Brewer
An approach to nonmonotonic reasoning in expert systems is presented that does not rely on numerical probabilities or confidence factors, using instead rules-of-thumb that cover the normal or typical case but are known to have exceptions. A logic for such defeasible rules is implemented in d-Prolog, an extension of Prolog. FORE, a prototype, knowledge-based system written in d-Prolog, is also presented. FORE uses ordinary Prolog rules to specify when a business forecasting method is indicated or counterindicated. A small kernel of defeasible metarules controls FORE's final recommendations.<>
{"title":"Using defeasible logic to control selection of a business forecasting method","authors":"D. Nute, R. Mann, B. Brewer","doi":"10.1109/HICSS.1988.11939","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11939","url":null,"abstract":"An approach to nonmonotonic reasoning in expert systems is presented that does not rely on numerical probabilities or confidence factors, using instead rules-of-thumb that cover the normal or typical case but are known to have exceptions. A logic for such defeasible rules is implemented in d-Prolog, an extension of Prolog. FORE, a prototype, knowledge-based system written in d-Prolog, is also presented. FORE uses ordinary Prolog rules to specify when a business forecasting method is indicated or counterindicated. A small kernel of defeasible metarules controls FORE's final recommendations.<<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":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131649718","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11946
T. Daly, J. Kastner, E. Mays
The integrated use of rule-based inference and an object centered knowledge representation (inheritance network) in a financial marketing consultation system is described. The rules provide a highly flexible pattern match capability and inference cycle for control. The inheritance network provides a convenient way to represent the conceptual structure of the domain. By merging the two techniques, the financial computation can be shared at the most general level, and rule inference is carried out at any appropriate level of generalization. Since domain knowledge is represented independently from control knowledge, knowledge about a particular problem-solving technique is decoupled from the conditions for its invocation. A large financial marketing system has been built, and examples are given.<>
{"title":"Integrating rules and inheritance networks in a knowledge-based financial marketing consultation system","authors":"T. Daly, J. Kastner, E. Mays","doi":"10.1109/HICSS.1988.11946","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11946","url":null,"abstract":"The integrated use of rule-based inference and an object centered knowledge representation (inheritance network) in a financial marketing consultation system is described. The rules provide a highly flexible pattern match capability and inference cycle for control. The inheritance network provides a convenient way to represent the conceptual structure of the domain. By merging the two techniques, the financial computation can be shared at the most general level, and rule inference is carried out at any appropriate level of generalization. Since domain knowledge is represented independently from control knowledge, knowledge about a particular problem-solving technique is decoupled from the conditions for its invocation. A large financial marketing system has been built, and examples are given.<<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":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133080644","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11904
J. Karimi
Various software design principles useful for knowledge-based systems software (KBSS) are discussed. In particular, the applicability of abstraction, information hiding, modularity, localization, uniformity, completeness, confirmability, reusability, and extensibility in KBSS programming paradigms is examined. Conclusions are drawn on the limitations and/or the appropriateness of the KBSS programming paradigms with respect to facilitating the software design principles.<>
{"title":"Software engineering for knowledge-based systems software","authors":"J. Karimi","doi":"10.1109/HICSS.1988.11904","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11904","url":null,"abstract":"Various software design principles useful for knowledge-based systems software (KBSS) are discussed. In particular, the applicability of abstraction, information hiding, modularity, localization, uniformity, completeness, confirmability, reusability, and extensibility in KBSS programming paradigms is examined. Conclusions are drawn on the limitations and/or the appropriateness of the KBSS programming paradigms with respect to facilitating the software design principles.<<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":"38 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131931530","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}
Pub Date : 1900-01-01DOI: 10.1109/HICSS.1988.11909
Y. J. Jiang
By viewing the problems of formal aspects in incomplete and distributed knowledge-based systems as the development of a logic of epistemic notions, the author obtains a computational logic of belief that formalizes beliefs in an extended clausal form of logic. It is shown that this logic can capture many intentional subtleties of quantified beliefs that might result from the communications between subsystems in a distributed environment. In particular, it is shown that the logic can offer an efficient resolution-like proof mechanism with controlled granularity for each subsystem.<>
{"title":"A computational logic for incomplete and distributed knowledge based systems","authors":"Y. J. Jiang","doi":"10.1109/HICSS.1988.11909","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11909","url":null,"abstract":"By viewing the problems of formal aspects in incomplete and distributed knowledge-based systems as the development of a logic of epistemic notions, the author obtains a computational logic of belief that formalizes beliefs in an extended clausal form of logic. It is shown that this logic can capture many intentional subtleties of quantified beliefs that might result from the communications between subsystems in a distributed environment. In particular, it is shown that the logic can offer an efficient resolution-like proof mechanism with controlled granularity for each subsystem.<<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":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126987316","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}
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：