Pub Date : 2002-08-19DOI: 10.1109/COGINF.2002.1039293
A. Pietarinen
Cognitive neuroscience has provided important insights into the notions like implicit versus explicit information processing in perception, object identification, memory, and general information retrieval. Even more topically, neuroscience has brought the notion of awareness in the forefront. of human knowledge. Yet the logical reflections of awareness and the implicit/explicit distinction have remained by and large uncharted. To improve on this situation, we introduce cognitively motivated logical operators related to actual experimental aspects of awareness into the modal language. Their semantics is given by grounding logical senses of awareness on a dynamic structure of possible worlds. We show that many neuroscientific findings on neural dysfunctions can be made to contribute to the logical level of investigation. In particular, the logics of awareness are enriched by experimental findings on brain and cognitive disorders such as blindsight, unilateral neglect, prosopagnosia, and implicit memory.
{"title":"Awareness in logic and cognitive neuroscience","authors":"A. Pietarinen","doi":"10.1109/COGINF.2002.1039293","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039293","url":null,"abstract":"Cognitive neuroscience has provided important insights into the notions like implicit versus explicit information processing in perception, object identification, memory, and general information retrieval. Even more topically, neuroscience has brought the notion of awareness in the forefront. of human knowledge. Yet the logical reflections of awareness and the implicit/explicit distinction have remained by and large uncharted. To improve on this situation, we introduce cognitively motivated logical operators related to actual experimental aspects of awareness into the modal language. Their semantics is given by grounding logical senses of awareness on a dynamic structure of possible worlds. We show that many neuroscientific findings on neural dysfunctions can be made to contribute to the logical level of investigation. In particular, the logics of awareness are enriched by experimental findings on brain and cognitive disorders such as blindsight, unilateral neglect, prosopagnosia, and implicit memory.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"117 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134544751","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039314
T. Klemola, J. Rilling
As programs become more complex and larger, the sheer volume of information to be comprehended by developers becomes daunting. Software development is fraught with complexity that is difficult to identify a priori. Complexity is relative to the task, the developer's experience and the resources available. In this research, we identify comprehension processes applied in software development, and the cognitive loads associated with these processes. We present an abstraction of the cognitive environment of the software developer, and introduce techniques to minimize the cognitive effort in the short-term and the long-term.
{"title":"Modeling comprehension processes in software development","authors":"T. Klemola, J. Rilling","doi":"10.1109/COGINF.2002.1039314","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039314","url":null,"abstract":"As programs become more complex and larger, the sheer volume of information to be comprehended by developers becomes daunting. Software development is fraught with complexity that is difficult to identify a priori. Complexity is relative to the task, the developer's experience and the resources available. In this research, we identify comprehension processes applied in software development, and the cognitive loads associated with these processes. We present an abstraction of the cognitive environment of the software developer, and introduce techniques to minimize the cognitive effort in the short-term and the long-term.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121512133","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039313
N. Bouassida, T. Ayadi, H. Ben-Abdallah, F. Gargouri
The abundance of specialized electronic brokers (e-brokers) combined with the complexity of their design phase reinforce the need for a reusable design for e-brokers. This paper presents an e-broker framework, a reusable object-oriented design that captures several e-brokers' behaviour. The framework is expressed in F-UML, a design language that visually distinguishes between the parts common in all e-broker applications and the parts adaptable when deriving a specific e-broker from the framework. The paper briefly presents F-UML. It then focuses on the design process. Finally, it highlights the difficulties, advantages and limits of the proposed design method.
{"title":"Design of a framework for electronic commerce brokers","authors":"N. Bouassida, T. Ayadi, H. Ben-Abdallah, F. Gargouri","doi":"10.1109/COGINF.2002.1039313","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039313","url":null,"abstract":"The abundance of specialized electronic brokers (e-brokers) combined with the complexity of their design phase reinforce the need for a reusable design for e-brokers. This paper presents an e-broker framework, a reusable object-oriented design that captures several e-brokers' behaviour. The framework is expressed in F-UML, a design language that visually distinguishes between the parts common in all e-broker applications and the parts adaptable when deriving a specific e-broker from the framework. The paper briefly presents F-UML. It then focuses on the design process. Finally, it highlights the difficulties, advantages and limits of the proposed design method.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129538433","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039291
Yingxu Wang
A fundamental finding in computer science is that software, as an artifact of human creativity, is not constrained by the laws and principles discovered in the physical world. Thus, a natural question we have to ask is: What are the constraints that software obeys? This paper attempts to demonstrate that software obeys the laws of informatics, because software is a mathematical entity, a coded solution, and a special type of information at a certain abstract level. Based on the above argument, another fundamental question is introduced that asks: What are the laws and principles of informatics that constrain software in software engineering? This paper explores a set of informatics, cognitive, psychological, and linguistic properties and laws, which are developed to answer the above profound question.
{"title":"On the informatics laws of software","authors":"Yingxu Wang","doi":"10.1109/COGINF.2002.1039291","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039291","url":null,"abstract":"A fundamental finding in computer science is that software, as an artifact of human creativity, is not constrained by the laws and principles discovered in the physical world. Thus, a natural question we have to ask is: What are the constraints that software obeys? This paper attempts to demonstrate that software obeys the laws of informatics, because software is a mathematical entity, a coded solution, and a special type of information at a certain abstract level. Based on the above argument, another fundamental question is introduced that asks: What are the laws and principles of informatics that constrain software in software engineering? This paper explores a set of informatics, cognitive, psychological, and linguistic properties and laws, which are developed to answer the above profound question.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129757396","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039288
K. Sugawara
This paper discusses a concept of flexible distributed systems and an agent-based architecture for them. An agent-based framework for developing such a flexible distributed system, named the ADIPS framework, is then proposed. This consists of distributed agent work places, agent repositories and support tools. Finally, agent-based flexible applications developed using the ADIPS framework are demonstrated.
{"title":"An agent-based framework for developing flexible distributed systems","authors":"K. Sugawara","doi":"10.1109/COGINF.2002.1039288","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039288","url":null,"abstract":"This paper discusses a concept of flexible distributed systems and an agent-based architecture for them. An agent-based framework for developing such a flexible distributed system, named the ADIPS framework, is then proposed. This consists of distributed agent work places, agent repositories and support tools. Finally, agent-based flexible applications developed using the ADIPS framework are demonstrated.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133677910","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039308
Hitoshi Nagasaki, M. Azuma
A methodology, for assessing a user's skill grade is a key technology for developing adaptive user interfaces. The methodology presented assesses a user's skill grade by analyzing the tendencies of the user's operations. In order to analyze these tendencies, we categorized user's operations into three categories and extracted data from the logs on which the user's operation behavior was recorded. We discuss the methodology for assessing a user's skill grade and the system architecture, and then we describe the results of a preliminary experiment and a new experiment with the prototype based on the new architecture.
{"title":"A methodology for assessing user's skill grade to implement adaptive user interface systems","authors":"Hitoshi Nagasaki, M. Azuma","doi":"10.1109/COGINF.2002.1039308","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039308","url":null,"abstract":"A methodology, for assessing a user's skill grade is a key technology for developing adaptive user interfaces. The methodology presented assesses a user's skill grade by analyzing the tendencies of the user's operations. In order to analyze these tendencies, we categorized user's operations into three categories and extracted data from the logs on which the user's operation behavior was recorded. We discuss the methodology for assessing a user's skill grade and the system architecture, and then we describe the results of a preliminary experiment and a new experiment with the prototype based on the new architecture.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131321581","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039307
Lars Taxén
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form of human activity in which individual and social aspects as well as technical ones need to be considered. We analyze human activity from an interaction point of view in which various types of signs mediate the relation between individual cognition and phenomena in the environment. The sign-mediated interaction is apprehended as having a connectional, conceptual and linguistic facet. From a cognitive and semiotic analysis of these facets, we conjecture that the following constituents are fundamental for human activity: intersubjectivity experiential learning, contextuality, spatiality, temporality, stabilizing core and tool usage. These constituents are employed in structuring human activity from a coordination point of view as activity domains. A framework for articulating activity domains is described. This framework, which includes information system support, is currently used to coordinate the software integration of the third generation mobile systems at the Ericsson company. We report on some result from this usage. The results indicate that the theoretical approach is relevant for practical purposes.
{"title":"An interaction-based approach for structuring coordination activities","authors":"Lars Taxén","doi":"10.1109/COGINF.2002.1039307","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039307","url":null,"abstract":"In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form of human activity in which individual and social aspects as well as technical ones need to be considered. We analyze human activity from an interaction point of view in which various types of signs mediate the relation between individual cognition and phenomena in the environment. The sign-mediated interaction is apprehended as having a connectional, conceptual and linguistic facet. From a cognitive and semiotic analysis of these facets, we conjecture that the following constituents are fundamental for human activity: intersubjectivity experiential learning, contextuality, spatiality, temporality, stabilizing core and tool usage. These constituents are employed in structuring human activity from a coordination point of view as activity domains. A framework for articulating activity domains is described. This framework, which includes information system support, is currently used to coordinate the software integration of the third generation mobile systems at the Ericsson company. We report on some result from this usage. The results indicate that the theoretical approach is relevant for practical purposes.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114229566","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039283
J. Tsai, Eric Y. T. Juan
With the rapid growth of networking and high-computing power, the demand of larger and more complex software systems has increased dramatically. To deal with the complexity in designing large-scale complex software systems, the concept of component-based software design has gained popularity recently. However, in pursuing a component-based approach there are obstacles to be overcome. One of them is the state-explosion problem in the formal verification of large-scale component-based systems. In this paper, we introduce a modeling mechanism and a set of heuristic rules to facilitate the verification of component-based software systems. Our heuristic techniques are much weaker than current theories useful for the compositional verification. More significantly, our technique can eliminate the interleaved behaviors caused by asynchronously sending actions. Therefore, our technique provides a much more powerful means for the compositional verification of asynchronous processes. Our technique can efficiently analyze several state-based properties: deadlock, reachable, and livelock state. The experimental results show a significant improvement in the analysis of large-scale component-based systems.
{"title":"Model and heuristic technique for efficient verification of component-based software systems","authors":"J. Tsai, Eric Y. T. Juan","doi":"10.1109/COGINF.2002.1039283","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039283","url":null,"abstract":"With the rapid growth of networking and high-computing power, the demand of larger and more complex software systems has increased dramatically. To deal with the complexity in designing large-scale complex software systems, the concept of component-based software design has gained popularity recently. However, in pursuing a component-based approach there are obstacles to be overcome. One of them is the state-explosion problem in the formal verification of large-scale component-based systems. In this paper, we introduce a modeling mechanism and a set of heuristic rules to facilitate the verification of component-based software systems. Our heuristic techniques are much weaker than current theories useful for the compositional verification. More significantly, our technique can eliminate the interleaved behaviors caused by asynchronously sending actions. Therefore, our technique provides a much more powerful means for the compositional verification of asynchronous processes. Our technique can efficiently analyze several state-based properties: deadlock, reachable, and livelock state. The experimental results show a significant improvement in the analysis of large-scale component-based systems.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114377064","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039303
N. Varachiu, Cynthia Karanicolas, M. Ulieru
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence methods (including fuzzy logic, neural networks and genetic algorithms) deal in a suitable way with imprecision, uncertainty and partial truth. These aspects can be found quite often in practical medical activities and in medical knowledge. The proposed approach uses a knowledge discovery process in order to develop an intelligent system for diagnosis and prediction of glaucoma. The knowledge acquired is embedded in a fuzzy logic inference system. The resulting neuro-fuzzy glaucoma diagnosis and prediction system is expected to lower the effort, difficulties and risk cost related to this disease (the leading cause of blindness in North America).
{"title":"Computational intelligence for medical knowledge acquisition with application to glaucoma","authors":"N. Varachiu, Cynthia Karanicolas, M. Ulieru","doi":"10.1109/COGINF.2002.1039303","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039303","url":null,"abstract":"This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence methods (including fuzzy logic, neural networks and genetic algorithms) deal in a suitable way with imprecision, uncertainty and partial truth. These aspects can be found quite often in practical medical activities and in medical knowledge. The proposed approach uses a knowledge discovery process in order to develop an intelligent system for diagnosis and prediction of glaucoma. The knowledge acquired is embedded in a fuzzy logic inference system. The resulting neuro-fuzzy glaucoma diagnosis and prediction system is expected to lower the effort, difficulties and risk cost related to this disease (the leading cause of blindness in North America).","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115078885","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 : 2002-08-19DOI: 10.1109/COGINF.2002.1039286
Shushma Patel
In this paper we initially describe the nature and problems of business and define the office environment as one aspect of the business environment. We then propose a framework based on augmented soft systems methodology that captures both the soft and hard aspects of an office environment. We briefly outline a knowledge-based software tool that supports this framework.
{"title":"Understanding problems and problem situations - a systems approach","authors":"Shushma Patel","doi":"10.1109/COGINF.2002.1039286","DOIUrl":"https://doi.org/10.1109/COGINF.2002.1039286","url":null,"abstract":"In this paper we initially describe the nature and problems of business and define the office environment as one aspect of the business environment. We then propose a framework based on augmented soft systems methodology that captures both the soft and hard aspects of an office environment. We briefly outline a knowledge-based software tool that supports this framework.","PeriodicalId":250129,"journal":{"name":"Proceedings First IEEE International Conference on Cognitive Informatics","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127791830","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：