Scheduled System Maintenance on May 29th, 2015:
IEEE Xplore will be upgraded between 11:00 AM and 10:00 PM EDT. During this time there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

Intelligent Systems, IEEE

Issue 1 • Date Jan.-Feb. 2014

Filter Results

Displaying Results 1 - 18 of 18
  • Table of contents

    Publication Year: 2014 , Page(s): c2 - 1
    Save to Project icon | Request Permissions | PDF file iconPDF (328 KB)  
    Freely Available from IEEE
  • Representation and Reasoning [Guest editor's introduction]

    Publication Year: 2014 , Page(s): 2 - 3
    Save to Project icon | Request Permissions | PDF file iconPDF (1522 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Model Evolution-Based Theorem Proving

    Publication Year: 2014 , Page(s): 4 - 10
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (630 KB) |  | HTML iconHTML  

    The area of automated theorem proving is characterized by the development of numerous calculi and proof procedures, from general purpose to rather specialized ones for specific subsets of first-order logic and logical theories. This article highlights two trends that have received considerable attention over the last 10 years. One is the integration of reasoning methods for propositional and for first-order logic, with a best-of-both-worlds motivation. The other is built-in reasoning support modulo background theories, such as equality and integer arithmetic, which are of pivotal importance for, for example, software verification applications. This survey of the major paradigms in this space comes from the perspective of my own developments, mainly the model evolution calculus. This is an ongoing quest for the convergence of automated reasoning methods. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society Information

    Publication Year: 2014 , Page(s): 11
    Save to Project icon | Request Permissions | PDF file iconPDF (81 KB)  
    Freely Available from IEEE
  • Description Logics

    Publication Year: 2014 , Page(s): 12 - 19
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (662 KB) |  | HTML iconHTML  

    This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. Additional sections review lightweight DL languages, discuss the relationship to the Web Ontology Language (OWL), and give pointers to further reading. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning and Verification: State of the Art and Current Trends

    Publication Year: 2014 , Page(s): 20 - 29
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (606 KB) |  | HTML iconHTML  

    In this article, the authors give an overview of tool-based verification of hardware and software systems and discuss the relation between verification and logical reasoning. Here, "verification"' refers to reasoning-based methods to establish dependability. This isn't restricted to proofs of functional correctness; it also includes other scenarios such as test generation and bug finding. The authors describe the main verification scenarios and methods that are in use today and the extent to which they depend on logical reasoning. From this discussion, they distill current trends and new opportunities for the interaction between verification and reasoning. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generalizations of Dung Frameworks and Their Role in Formal Argumentation

    Publication Year: 2014 , Page(s): 30 - 38
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (856 KB) |  | HTML iconHTML  

    This article provides a short survey of some of the most popular abstract argumentation frameworks available today. The authors present the general idea of abstract argumentation, highlighting the role of abstract frameworks in the argumentation process, and review the original Dung frameworks and their semantics. A discussion of generalizations of these frameworks follows, focusing on structures taking preferences and values into account and approaches in which not only attack but also support relations can be modeled. Finally, the authors review the concept of abstract dialectical frameworks, one of the most general systems for abstract argumentation providing a flexible, principled representation of arbitrary argument relations. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Membership Matters [advertisement]

    Publication Year: 2014 , Page(s): 39
    Save to Project icon | Request Permissions | PDF file iconPDF (658 KB)  
    Freely Available from IEEE
  • Optimal Design and Control of Smart Space Structures: A Memetic Evolution Approach

    Publication Year: 2014 , Page(s): 40 - 46
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (2288 KB) |  | HTML iconHTML  

    To reach global optimal performance, here the authors propose a new design approach that offers concurrent design for smart space structures. In this approach, the quantity and placement of sensors/actuators and parameters of controllers are simultaneously optimized by a memetic evolution algorithm. A solar array smart structure has been used for computational experiments and the corresponding results indicate that the proposed concurrent design can obtain better performance than the sequential one. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE CG&A Calls for Papers

    Publication Year: 2014 , Page(s): 47
    Save to Project icon | Request Permissions | PDF file iconPDF (1427 KB)  
    Freely Available from IEEE
  • Real-Time Adaptive Event Detection in Astronomical Data Streams

    Publication Year: 2014 , Page(s): 48 - 55
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1230 KB) |  | HTML iconHTML  

    A new generation of observational science instruments is dramatically increasing collected data volumes in a range of fields. These instruments include the Square Kilometer Array (SKA), Large Synoptic Survey Telescope (LSST), terrestrial sensor networks, and NASA satellites participating in "decadal survey"' missions. Their unprecedented coverage and sensitivity will likely reveal wholly new categories of unexpected and transient events. Commensal methods passively analyze these data streams, recognizing anomalous events of scientific interest and reacting in real time. Here, the authors report on a case example: Very Long Baseline Array Fast Transients Experiment (V-FASTR), an ongoing commensal experiment at the Very Long Baseline Array (VLBA) that uses online adaptive pattern recognition to search for anomalous fast radio transients. V-FASTR triages a millisecond-resolution stream of data and promotes candidate anomalies for further offline analysis. It tunes detection parameters in real time, injecting synthetic events to continually retrain itself for optimum performance. This self-tuning approach retains sensitivity to weak signals while adapting to changing instrument configurations and noise conditions. The system has operated since July 2011, making it the longest-running real-time commensal radio transient experiment to date. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed, Agent-Based Intelligent System for Demand Response Program Simulation in Smart Grids

    Publication Year: 2014 , Page(s): 56 - 65
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1433 KB) |  | HTML iconHTML  

    A distributed, agent-based intelligent system models and simulates a smart grid using physical players and computationally simulated agents. The proposed system can assess the impact of demand response programs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Robust, Secure, and Cost-Effective Design for Cyber-Physical Systems

    Publication Year: 2014 , Page(s): 66 - 69
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (2437 KB) |  | HTML iconHTML  

    Cyber-physical systems (CPS) can potentially benefit a wide array of applications and areas. Here, the authors look at some of the challenges surrounding CPS, and consider a feasible solution for creating a robust, secure, and cost-effective architecture. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Web of Data: Bridging the Skills Gap

    Publication Year: 2014 , Page(s): 70 - 74
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1105 KB) |  | HTML iconHTML  

    With a projected six-figure skills gap looming in the US alone, here the authors share strategies and lessons learned regarding how to bridge the gap in training competent data scientists in the near future. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Take the CS Library wherever you go! House Advertisement

    Publication Year: 2014 , Page(s): 75
    Save to Project icon | Request Permissions | PDF file iconPDF (2638 KB)  
    Freely Available from IEEE
  • The Role of Context in Transport Prediction

    Publication Year: 2014 , Page(s): 76 - 80
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1263 KB) |  | HTML iconHTML  

    Besides knowing that a problem exists, traffic managers and prediction systems need to know its context. Here, the authors discuss how to extend current ITS technologies to capture and process such information. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rock Stars of Mobile Cloud [Advertisement]

    Publication Year: 2014 , Page(s): c3
    Save to Project icon | Request Permissions | PDF file iconPDF (1752 KB)  
    Freely Available from IEEE
  • Software Engineering for the 21st Century

    Publication Year: 2014 , Page(s): c4
    Save to Project icon | Request Permissions | PDF file iconPDF (1516 KB)  
    Freely Available from IEEE

Aims & Scope

IEEE Intelligent Systems serves users, managers, developers, researchers, and purchasers who are interested in intelligent systems and artificial intelligence, with particular emphasis on applications.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Daniel Zeng
University of Arizona