Agent programming in the cognitive era

It is claimed that, in the nascent ‘Cognitive Era’, intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that machine learning has limitations, and, taken in isolation, cannot form the basis of autonomous systems capable of intelligent behaviour in complex environments. In this paper, we explore the contributions that agent-oriented programming can make to the development of future intelligent systems. We briefly review the state of the art in agent programming, focussing particularly on BDI-based agent programming languages, and discuss previous work on integrating AI techniques (including machine learning) in agent-oriented programming. We argue that the unique strengths of BDI agent languages provide an ideal framework for integrating the wide range of AI capabilities necessary for progress towards the next-generation of intelligent systems. We identify a range of possible approaches to integrating AI into a BDI agent architecture. Some of these approaches, e.g., ‘AI as a service’, exploit immediate synergies between rapidly maturing AI techniques and agent programming, while others, e.g., ‘AI embedded into agents’ raise more fundamental research questions, and we sketch a programme of research directed towards identifying the most appropriate ways of integrating AI capabilities into agent programs

Enveloping tendencies in fragments of a simulation theory

In this paper we present a methodology aimed at systematically exploring the 'envelope' of simulation trajectories allowing us to prove the necessity of tendencies respect to Fragments of a Simulation Theory. More well-grounded conclusions about tendencies in a simulation can be dig up than those given by existing methods like Monte Carlo techniques and Scenario Analysis where partial investigation of trajectories are performed - this is helpful in research areas such as Social Simulation, Management and Policy Analysis. We propose a method for searching for tendencies and proving their necessity, in Multi Agent Systems, relative to a range of parameterisations of the model and agents' choices, and to the logic of the simulation language. Additionally, a computational procedure that helps implement this exploration by translating the Multi Agent Systems simulation into a constraint-based search over possible trajectories by 'compiling' the simulation rules into a more specific form is proposed and exemplified

Air Force Institute of Technology Research Report 2001

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems and Engineering Management, Operational Sciences, and Engineering Physics

A holonic multi-agent methodology to design sustainable intelligent manufacturing control systems

[EN] The urgent need for sustainable development is imposing radical changes in the way manufacturing systems are designed and implemented. The overall sustainability in industrial activities of manufacturing companies must be achieved at the same time that they face unprecedented levels of global competition. Therefore, there is a well-known need for tools and methods that can support the design and implementation of these systems in an effective way. This paper proposes an engineering method that helps researchers to design sustainable intelligent manufacturing systems. The approach is focused on the identification of the manufacturing components and the design and integration of sustainability-oriented mechanisms in the system specification, providing specific development guidelines and tools with built-in support for sustainable features. Besides, a set of case studies is presented in order to assess the proposed method.This research was supported by research projects TIN2015-65515-C4-1-R and TIN2016-80856-R from the Spanish government. The authors would like to acknowledge T. Bonte for her contribution to the NetLogo simulator of the AIP PRIMECA cell.Giret Boggino, AS.; Trentesaux, D.; Salido Gregorio, MÁ.; Garcia, E.; Adam, E. (2017). A holonic multi-agent methodology to design sustainable intelligent manufacturing control systems. Journal of Cleaner Production. 167(1):1370-1386. https://doi.org/10.1016/j.jclepro.2017.03.079S13701386167