| 1. |
- Bessiere, Christian, et al.
(författare)
-
The Inductive Constraint Programming Loop
- 2017
-
Ingår i: IEEE Intelligent Systems. - New York : Institute of Electrical and Electronics Engineers (IEEE). - 1541-1672 .- 1941-1294. ; 32:5, s. 44-52
-
Tidskriftsartikel (refereegranskat)abstract
- Constraint programming is used for a variety of real-world optimisation problems, such as planning, scheduling and resource allocation problems. At the same time, one continuously gathers vast amounts of data about these problems. Current constraint programming software does not exploit such data to update schedules, resources and plans. We propose a new framework, that we call the Inductive Constraint Programming loop. In this approach data is gathered and analyzed systematically, in order to dynamically revise and adapt constraints and optimization criteria. Inductive Constraint Programming aims at bridging the gap between the areas of data mining and machine learning on the one hand, and constraint programming on the other hand.
|
|
| 2. |
|
|
| 3. |
- Lindgren, Helena, et al.
(författare)
-
Argumentation-based Health Information Systems : A Design Methodology
- 2021
-
Ingår i: IEEE Intelligent Systems. - Los Alamitos, CA, USA : IEEE Computer Society. - 1541-1672 .- 1941-1294. ; 36:2, s. 72-80
-
Tidskriftsartikel (refereegranskat)abstract
- In this article, we present a design methodology for argumentation-based health information systems. With a focus on the application of formal argumentation, the methodology aims at eliciting requirements in regard to argumentation reasoning behavior, knowledge and user models, and business logic on levels below and above the argumentation layer. We highlight specific considerations that need to be made dependent on the system type, i.e., for clinical decision-support systems, patient-facing systems, and administration systems. In addition, we outline challenges in regards to the design of argumentation-based intelligent systems for healthcare, considering the state of the art of argumentation research, health information systems, and software design methods. For each challenge, we outline a mitigation strategy.
|
|
| 4. |
- Pelckmans, Kristiaan
(författare)
-
Monitoring High-Frequency Data Streams in FinTech : FADO Versus K-means
- 2020
-
Ingår i: IEEE Intelligent Systems. - 1541-1672 .- 1941-1294. ; 35:2, s. 36-42
-
Tidskriftsartikel (refereegranskat)abstract
- Modern applications of FinTech are challenged by enormous volumes of financial data. One way to handle these is to adopt a streaming setting where data are only available to the algorithms during a very short time. When a new data point (financial transaction) is generated, it needs to be processed directly, and be forgotten immediately after. Especially, ongoing globalization efforts in FinTech require modern methods of fault detection to be able to work efficiently through more than 10 000 financial transactions per second if they are to be deployed as a first line of defence. This article investigates two algorithms able to perform well in this demanding setting: K-means and FADO. Especially, this article provides supports for the claim that “the use of multiple clusters does not necessarily translate into increased detection performance”. To support this claim, results are reported when operating in a quasi-realistic case study of Anti Money Laundering (AML) detection in real-time payment systems. We focus on two prototypical algorithms: the passive aggressive FADO assuming a single cluster, and the well-known K-means algorithm working with K > 1 clusters. We find-in this case-that the use of K-means with multiple clusters is unfavorable as 1) both tuning for K, as well as the need for additional complexity in the K-means algorithm challenges the computational constraints; 2) K-means introduces necessarily added variability (unreliability) in the results; 3) it requires dimensionality reduction, compromising interpretability of the detections; 4) the prevalence of singleton clusters adds unreliability to the outcome. This makes in the presented case FADO favorable over K-means (with K > 1).
|
|
| 5. |
- Bredström, David, et al.
(författare)
-
A hybrid algorithm for a pulp distribution problem
- 2005
-
Ingår i: IEEE Intelligent Systems. - 1541-1672. ; 20:4, s. 19-25
-
Tidskriftsartikel (refereegranskat)abstract
- Distribution is a major factor in the supply chain for Sodra Cell, a leading manufacturer of pulp intended for paper production. Each year, the company transports large quantities of pulp using ships, trains, and trucks; here we focus on scheduling the ships and optimizing deliveries to minimize distribution costs.
|
|
| 6. |
- Bundy, A., et al.
(författare)
-
The Theory behind TheoryMine
- 2015
-
Ingår i: IEEE Intelligent Systems. - 1541-1672. ; 30:4, s. 64-69
-
Tidskriftsartikel (refereegranskat)abstract
- The Theory Mine novelty gift company sells the rights to name novel mathematical theorems. The technology is made up of a pipeline of four computer systems that generates recursive theories, then speculates conjectures in those theories and proves the conjectures. All stages of the theorem discovery and proof processes are completely automatic. The process guarantees large numbers of sound, novel theorems of some intrinsic merit.
|
|
| 7. |
- Coradeschi, Silvia, et al.
(författare)
-
Human-inspired robots
- 2006
-
Ingår i: IEEE Intelligent Systems. - 1541-1672. ; 21:4, s. 74-85
-
Tidskriftsartikel (refereegranskat)abstract
- Future robots will work in hospitals, elderly care centers, schools, and homes. Similarity with humans can facilitate interaction with a variety of users who don't have robotics expertise, so it make sense to take inspiration from humans when developing robots. However, humanlike appearance can also be deceiving, convincing users that robots can understand and do much more than they actually can. Developing a humanlike appearance must go hand in hand with increasing robots' cognitive, social, and perceptive capabilities. This installment of Trends & Controversies explores different aspects of human-inspired robots.
|
|
| 8. |
- Coradeschi, Silvia, et al.
(författare)
-
Symbiotic Robotic Systems: Humans, Robots, and Smart Environments
- 2006
-
Ingår i: IEEE Intelligent Systems. - 1541-1672. ; 21:3, s. 82-84
-
Tidskriftsartikel (refereegranskat)abstract
- A symbiotic robotic system consists of a robot, a human, and a (smart) environment that cooperate symbiotically to perform a task. While the possibility of cooperating with the smart environment and with humans might greatly simplify the execution of robotic tasks, it also presents new challenges that open new research directions. In this article, we claim that symbiotic robotic systems will constitute a dominant new paradigm in the future of autonomous robotics, and discuss the corresponding potential and scientific challenges. This article is part of a special issue on the Future of AI.
|
|
| 9. |
- Flener, Pierre, et al.
(författare)
-
Constraint Programming in Sweden
- 2009
-
Ingår i: IEEE Intelligent Systems. - : IEEE Press. - 1541-1672. ; 24:2, s. 87-89
-
Forskningsöversikt (övrigt vetenskapligt/konstnärligt)
|
|
| 10. |
- Loutfi, Amy, et al.
(författare)
-
Odor Recognition for Intelligent Systems
- 2008
-
Ingår i: IEEE Intelligent Systems. - Los Alamitos, CA : IEEE Computer Society. - 1541-1672. ; 23:1, s. 41-48
-
Tidskriftsartikel (refereegranskat)abstract
- An electronic nose is an intelligent sensing device that uses a gas sensor array of partial and overlapping selectivity along with a pattern-recognition component to distinguish between simple and complex odors. To date, researchers have used e-noses in many applications and domains, from the food industry to medical diagnosis. A next stage in e-nose development is to introduce artificial olfaction into integrated systems, so e-noses can work with other sensors on more complex platforms, such as on mobile robots or in intelligent environments. Here, the authors offer an overview of the more critical challenges in integrating this important sense into intelligent systems. They also discuss Pippi, a mobile robot that uses different sensing modalities (visual, sonar, tactile, and e-nose sensors) along with high-level processes (planners and symbolic reasoning) to accomplish several olfactory-related tasks.
|
|
| 11. |
- Solyom, Stefan, 1975, et al.
(författare)
-
Performance Limitations in Vehicle Platoon Control
- 2013
-
Ingår i: IEEE Intelligent Systems. - 1541-1672. ; 5:4, s. 112-120
-
Tidskriftsartikel (refereegranskat)abstract
- One of the major benefits of driving vehicles in controlled, close formations such as platoons is that of reduced air drag.However, this will set hard performance requirements on the system actuators, sensors and controllers of each vehicle. This paper analyses the effects of fundamental limitations on the longitudinal and lateral control performance of a platoon and the effects on following distance, perceived safety and fuel economy. The trade-off between minimizing fuel consumption and maintaining a safe following distance is analyzed and described. The analysis is based on fundamental properties of linear systems such as Bode’s phase area relation. Design guidelines are proposed and results from vehicle testing are presented.
|
|
