The halt condition in genetic programming
03 Dec 2007-Vol. 4874, pp 160-169
TL;DR: In this paper, the authors address the role of divergence and convergence in creative processes and argue about the need to consider them in Computational Creativity research in the Genetic or Evolutionary Programming paradigm, being one's goal the problem of the Halt Condition in Genetic Programming.
Abstract: In this paper we address the role of divergence and convergence in creative processes, and argue about the need to consider them in Computational Creativity research in the Genetic or Evolutionary Programming paradigm, being one's goal the problem of the Halt Condition in Genetic Programming. Here the candidate solutions are seen as evolutionary logic programs or theories, being the test whether a solution is optimal based on a measure of the quality-of-information carried out by those logical theories or programs. Furthermore, we present Conceptual Blending Theory as being a promising framework for implementing convergence methods within creativity programs, in terms of the logic programming framework.
Citations
More filters
TL;DR: In this article, a web spider of intelligent information processing system is proposed to support the medical applications in terms of an agency for integration, diffusion and archiving of medical information and the electronic medical record.
Abstract: Healthcare systems have to be understood in terms of a wide variety of heterogeneous, distributed and ubiquitous systems, speaking different languages, integrating medical equipment and being customised by different entities, which in turn were set by people living in different contexts and aiming at different goals. Therefore, architecture has been envisaged to support the medical applications in terms of an agency for integration, diffusion and archiving of medical information and the electronic medical record, a form of a web spider of intelligent information processing system, its major subsystems, their functional roles and the flow of information and control among them, with adjustable autonomy. With such web-based simulated systems, quality of service will be improved (e.g., the available knowledge may be used for educational and training purposes).
74 citations
28 Jul 2015
TL;DR: This work will focus on the development of a diagnosis support system, in terms of its knowledge representation and reasoning procedures, under a formal framework based on Logic Programming, complemented with an approach to computing centred on Artificial Neural Networks to evaluate the Diabetes states and the Degree ofConfidence that one has on such a happening.
Abstract: Diabetes Mellitus is now a prevalent disease in both developed and underdeveloped countries, being a major cause of morbidity and mortality. Overweight/obesity and hypertension are potentially modifiable risk factors for diabetes mellitus, and persist during the course of the disease. Despite the evidence from large controlled trials establishing the benefit of intensive diabetes management in reducing microvasculars and macrovasculars complications, high proportions of patients remain poorly controlled. Poor and inadequate glycemic control among patients with Type 2 diabetes constitutes a major public health problem and a risk factor for the development of diabetes complications. In clinical practice, optimal glycemic control is difficult to obtain on a long-term basis, once the reasons for feebly glycemic control are complex. Therefore, this work will focus on the development of a diagnosis support system, in terms of its knowledge representation and reasoning procedures, under a formal framework based on Logic Programming, complemented with an approach to computing centred on Artificial Neural Networks, to evaluate the Diabetes states and the Degree-of-Confidence that one has on such a happening.
52 citations
TL;DR: This work will focus on the development of a hybrid decision support system, in terms of its knowledge representation and reasoning procedures based on Logic Programming, that will allow one to consider incomplete, unknown, and even contradictory information, complemented with an approach to computing centered on Artificial Neural Networks.
Abstract: Kidney renal failure means that one's kidney have unexpectedly stopped functioning, i.e., once chronic disease is exposed, the presence or degree of kidney dysfunction and its progression must be assessed, and the underlying syndrome has to be diagnosed. Although the patient's history and physical examination may denote good practice, some key information has to be obtained from valuation of the glomerular filtration rate, and the analysis of serum biomarkers. Indeed, chronic kidney sickness depicts anomalous kidney function and/or its makeup, i.e., there is evidence that treatment may avoid or delay its progression, either by reducing and prevent the development of some associated complications, namely hypertension, obesity, diabetes mellitus, and cardiovascular complications. Acute kidney injury appears abruptly, with a rapid deterioration of the renal function, but is often reversible if it is recognized early and treated promptly. In both situations, i.e., acute kidney injury and chronic kidney disease, an early intervention can significantly improve the prognosis. The assessment of these pathologies is therefore mandatory, although it is hard to do it with traditional methodologies and existing tools for problem solving. Hence, in this work, we will focus on the development of a hybrid decision support system, in terms of its knowledge representation and reasoning procedures based on Logic Programming, that will allow one to consider incomplete, unknown, and even contradictory information, complemented with an approach to computing centered on Artificial Neural Networks, in order to weigh the Degree-of-Confidence that one has on such a happening. The present study involved 558 patients with an age average of 51.7 years and the chronic kidney disease was observed in 175 cases. The dataset comprise twenty four variables, grouped into five main categories. The proposed model showed a good performance in the diagnosis of chronic kidney disease, since the sensitivity and the specificity exhibited values range between 93.1 and 94.9 and 91.9---94.2 %, respectively.
27 citations
03 Dec 2007
TL;DR: The goal is to have in place an electronically-based monitoring system that would reduce response time to adverse events, improve analytics and reporting, and will provide caregivers with the information they need to positively impact the care of individual patients.
Abstract: Demographical and social changes have an enormous effect on health care, emergency and welfare services. Indeed, as the average age continues to rise, it is set the mood to an exponential growth in assistance and care, resulting in higher service costs, a decrease in quality of service, or even both. On the other hand, as part of the evolution of traditional Virtual Reality Environments (or Intelligent Mixed Reality), a striving expression for Ambient Intelligence (AmI) it is possible to outline the role of AmI in healthcare, by focusing on its technological, logical (relational) and common sense nature. Our goal is to have in place an electronically-based monitoring system. This would reduce response time to adverse events, improve analytics and reporting, and will provide caregivers with the information they need to positively impact the care of individual patients.
23 citations
TL;DR: This work will focus on the development of a diagnosis decision support system in terms of a formal agenda built on a logic programming approach to knowledge representation and reasoning, complemented with a case-based approach to computing.
21 citations
References
More filters
TL;DR: This paper analyzes the convergence properties of the canonical genetic algorithm with mutation, crossover and proportional reproduction applied to static optimization problems and shows variants of CGA's that always maintain the best solution in the population are shown to converge to the global optimum due to the irreducibility property of the underlying original nonconvergent CGA.
Abstract: This paper analyzes the convergence properties of the canonical genetic algorithm (CGA) with mutation, crossover and proportional reproduction applied to static optimization problems. It is proved by means of homogeneous finite Markov chain analysis that a CGA will never converge to the global optimum regardless of the initialization, crossover, operator and objective function. But variants of CGA's that always maintain the best solution in the population, either before or after selection, are shown to converge to the global optimum due to the irreducibility property of the underlying original nonconvergent CGA. These results are discussed with respect to the schema theorem. >
1,417 citations
01 Jan 1998
TL;DR: The general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning is outlined; the argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure is described.
Abstract: This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). It updates the earlier paper \Abductive Logic Programming" 88]. We outline the general framework of Abduction and its applications to Knowledge Assimilation and Default Reasoning; we describe the argumentation-theoretic approach to the use of abduction as an interpretation for Negation as Failure, introduced in the earlier version 88] of this paper; and we present recent work on the generalisation of the argumentation-theoretic approach to provide a framework for default reasoning in general. We also analyse the links between Abduction and Constraint Logic Programming, as well as between Abduction and the extension of Logic Programming obtained by adding a form of explicit negation. Finally we discuss the relation between Abduction and Truth Maintenance.
416 citations
Posted Content•
TL;DR: It is shown that meaning is not compositional in the usual sense, and that blending operates to produce understandings of composite forms, and two fundamental aspects of this general process are pointed out: cross-space mapping of counterparts, and integration of events.
Abstract: We pursue here our exploration of conceptual blending and of the "many-space" model, which replaces the standard "two-domain" model. In blending, structure from two or more input mental spaces is projected to a separate "blended" space, which inherits partial structure from the inputs, and has emergent structure of its own. New examples are presented. We show that meaning is not compositional in the usual sense, and that blending operates to produce understandings of composite forms. Formal expression in language is a way of prompting hearer and reader to assemble and develop conceptual constructions, including blends; there is no encoding of concepts into words or decoding of words into concepts. Blending is at work in many areas of cognition and action, including metaphor, counterfactuals, and conceptual change. We point out two fundamental aspects of this general process: cross-space mapping of counterparts, and integration of events.
364 citations
TL;DR: In the many-space model as discussed by the authors, the structure from two or more input mental spaces is projected to a separate "blended" space, which inherits partial structure from the inputs and has emergent structure of its own.
Abstract: We pursue our exploration of conceptual blending and of the "many-space" model, which replaces the standard "two-domain" model. In blending, structure from two or more input mental spaces is projected to a separate "blended" space, which inherits partial structure from the inputs and has emergent structure of its own. New examples are presented. We show that meaning is not compositional in the usual sense and that blending operates to produce understandings of composite forms. Formal expression in language is a way of prompting hearer and reader to assemble and develop conceptual constructions, including blends; there is no encoding of concepts into words or decoding of words into concepts. Blending is at work in many areas of cognition and action, including metaphor, counterfactuals, and conceptual change. We point out two fundamental aspects of this general process: cross-space mapping of counterparts and integration of events.
314 citations
TL;DR: This paper describes how the key technology of negotiating, service providing, autonomous agents was realized and demonstrated how this was applied to the BT business process of providing a customer quote for network services.
Abstract: This paper describes work undertaken in the ADEPT (Advanced Decision Environment for Process Tasks) project towards developing an agent-based infrastructure for managing business processes. We describe how the key technology of negotiating, service providing, autonomous agents was realized and demonstrate how this was applied to the BT (British Telecom) business process of providing a customer quote for network services.
240 citations