-
A survey on the impact of AI-based recommenders on human behaviours: methodologies, outcomes and future directions
Authors:
Luca Pappalardo,
Emanuele Ferragina,
Salvatore Citraro,
Giuliano Cornacchia,
Mirco Nanni,
Giulio Rossetti,
Gizem Gezici,
Fosca Giannotti,
Margherita Lalli,
Daniele Gambetta,
Giovanni Mauro,
Virginia Morini,
Valentina Pansanella,
Dino Pedreschi
Abstract:
Recommendation systems and assistants (in short, recommenders) are ubiquitous in online platforms and influence most actions of our day-to-day lives, suggesting items or providing solutions based on users' preferences or requests. This survey analyses the impact of recommenders in four human-AI ecosystems: social media, online retail, urban map** and generative AI ecosystems. Its scope is to sys…
▽ More
Recommendation systems and assistants (in short, recommenders) are ubiquitous in online platforms and influence most actions of our day-to-day lives, suggesting items or providing solutions based on users' preferences or requests. This survey analyses the impact of recommenders in four human-AI ecosystems: social media, online retail, urban map** and generative AI ecosystems. Its scope is to systematise a fast-growing field in which terminologies employed to classify methodologies and outcomes are fragmented and unsystematic. We follow the customary steps of qualitative systematic review, gathering 144 articles from different disciplines to develop a parsimonious taxonomy of: methodologies employed (empirical, simulation, observational, controlled), outcomes observed (concentration, model collapse, diversity, echo chamber, filter bubble, inequality, polarisation, radicalisation, volume), and their level of analysis (individual, item, model, and systemic). We systematically discuss all findings of our survey substantively and methodologically, highlighting also potential avenues for future research. This survey is addressed to scholars and practitioners interested in different human-AI ecosystems, policymakers and institutional stakeholders who want to understand better the measurable outcomes of recommenders, and tech companies who wish to obtain a systematic view of the impact of their recommenders.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
A Bag of Receptive Fields for Time Series Extrinsic Predictions
Authors:
Francesco Spinnato,
Riccardo Guidotti,
Anna Monreale,
Mirco Nanni
Abstract:
High-dimensional time series data poses challenges due to its dynamic nature, varying lengths, and presence of missing values. This kind of data requires extensive preprocessing, limiting the applicability of existing Time Series Classification and Time Series Extrinsic Regression techniques. For this reason, we propose BORF, a Bag-Of-Receptive-Fields model, which incorporates notions from time se…
▽ More
High-dimensional time series data poses challenges due to its dynamic nature, varying lengths, and presence of missing values. This kind of data requires extensive preprocessing, limiting the applicability of existing Time Series Classification and Time Series Extrinsic Regression techniques. For this reason, we propose BORF, a Bag-Of-Receptive-Fields model, which incorporates notions from time series convolution and 1D-SAX to handle univariate and multivariate time series with varying lengths and missing values. We evaluate BORF on Time Series Classification and Time Series Extrinsic Regression tasks using the full UEA and UCR repositories, demonstrating its competitive performance against state-of-the-art methods. Finally, we outline how this representation can naturally provide saliency and feature-based explanations.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Speed Limit: Obey, or Not Obey?
Authors:
Zhengbing He,
Mirco Nanni,
Luca Pappalardo,
Paolo Santi,
Carlo Ratti
Abstract:
It is commonly expected that drivers maintain a driving speed that is lower than or around the posted speed limit, as failure to obey may result in safety risks and fines. By taking randomly selected road segments as examples, this study compares the percentages of speeding vehicles in five countries worldwide, namely, two European countries (Germany and Italy), two Asian countries (Japan and Chin…
▽ More
It is commonly expected that drivers maintain a driving speed that is lower than or around the posted speed limit, as failure to obey may result in safety risks and fines. By taking randomly selected road segments as examples, this study compares the percentages of speeding vehicles in five countries worldwide, namely, two European countries (Germany and Italy), two Asian countries (Japan and China), and one North American country (the United States). Contrary to expectations, our results show that more than 80% of drivers violate the posted speed limits in the studied road segments in Italy, Japan, and the United States. In particular, a significant portion (45.3%) of drivers in Italy exceed the posted speed limit by a substantial margin (30 km/h), while few speeding vehicles are observed in the road segment examined in China. Meanwhile, it is found that drivers on low-speed-limit roads are more likely to exceed the posted speed limit, particularly when there are fewer on-road vehicles. The comparison of different countries' speeding fines indicates that for the purpose of preventing speeding, increasing fines (as Italy has done) is less effective than enhancing supervision (as China has done). The findings remind law enforcement agencies and traffic authorities of the importance of the supervision of driver's behavior and the necessity of revisiting the rationale for the current speed limit settings.
△ Less
Submitted 27 November, 2023; v1 submitted 22 July, 2023;
originally announced July 2023.
-
One-Shot Traffic Assignment with Forward-Looking Penalization
Authors:
Giuliano Cornacchia,
Mirco Nanni,
Luca Pappalardo
Abstract:
Traffic assignment (TA) is crucial in optimizing transportation systems and consists in efficiently assigning routes to a collection of trips. Existing TA algorithms often do not adequately consider real-time traffic conditions, resulting in inefficient route assignments. This paper introduces METIS, a cooperative, one-shot TA algorithm that combines alternative routing with edge penalization and…
▽ More
Traffic assignment (TA) is crucial in optimizing transportation systems and consists in efficiently assigning routes to a collection of trips. Existing TA algorithms often do not adequately consider real-time traffic conditions, resulting in inefficient route assignments. This paper introduces METIS, a cooperative, one-shot TA algorithm that combines alternative routing with edge penalization and informed route scoring. We conduct experiments in several cities to evaluate the performance of METIS against state-of-the-art one-shot methods. Compared to the best baseline, METIS significantly reduces CO2 emissions by 18% in Milan, 28\% in Florence, and 46% in Rome, improving trip distribution considerably while still having low computational time. Our study proposes METIS as a promising solution for optimizing TA and urban transportation systems.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
Modeling Events and Interactions through Temporal Processes -- A Survey
Authors:
Angelica Liguori,
Luciano Caroprese,
Marco Minici,
Bruno Veloso,
Francesco Spinnato,
Mirco Nanni,
Giuseppe Manco,
Joao Gama
Abstract:
In real-world scenario, many phenomena produce a collection of events that occur in continuous time. Point Processes provide a natural mathematical framework for modeling these sequences of events. In this survey, we investigate probabilistic models for modeling event sequences through temporal processes. We revise the notion of event modeling and provide the mathematical foundations that characte…
▽ More
In real-world scenario, many phenomena produce a collection of events that occur in continuous time. Point Processes provide a natural mathematical framework for modeling these sequences of events. In this survey, we investigate probabilistic models for modeling event sequences through temporal processes. We revise the notion of event modeling and provide the mathematical foundations that characterize the literature on the topic. We define an ontology to categorize the existing approaches in terms of three families: simple, marked, and spatio-temporal point processes. For each family, we systematically review the existing approaches based based on deep learning. Finally, we analyze the scenarios where the proposed techniques can be used for addressing prediction and modeling aspects.
△ Less
Submitted 21 July, 2023; v1 submitted 10 March, 2023;
originally announced March 2023.
-
How Routing Strategies Impact Urban Emissions
Authors:
Giuliano Cornacchia,
Matteo Böhm,
Giovanni Mauro,
Mirco Nanni,
Dino Pedreschi,
Luca Pappalardo
Abstract:
Navigation apps use routing algorithms to suggest the best path to reach a user's desired destination. Although undoubtedly useful, navigation apps' impact on the urban environment (e.g., carbon dioxide emissions and population exposure to pollution) is still largely unclear. In this work, we design a simulation framework to assess the impact of routing algorithms on carbon dioxide emissions withi…
▽ More
Navigation apps use routing algorithms to suggest the best path to reach a user's desired destination. Although undoubtedly useful, navigation apps' impact on the urban environment (e.g., carbon dioxide emissions and population exposure to pollution) is still largely unclear. In this work, we design a simulation framework to assess the impact of routing algorithms on carbon dioxide emissions within an urban environment. Using APIs from TomTom and OpenStreetMap, we find that settings in which either all vehicles or none of them follow a navigation app's suggestion lead to the worst impact in terms of CO2 emissions. In contrast, when just a portion (around half) of vehicles follow these suggestions, and some degree of randomness is added to the remaining vehicles' paths, we observe a reduction in the overall CO2 emissions over the road network. Our work is a first step towards designing next-generation routing principles that may increase urban well-being while satisfying individual needs.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Gross polluters and vehicles' emissions reduction
Authors:
Matteo Böhm,
Mirco Nanni,
Luca Pappalardo
Abstract:
Vehicles' emissions produce a significant share of cities' air pollution, with a substantial impact on the environment and human health. Traditional emission estimation methods use remote sensing stations, missing vehicles' full driving cycle, or focus on a few vehicles. We use GPS traces and a microscopic model to analyse the emissions of four air pollutants from thousands of private vehicles in…
▽ More
Vehicles' emissions produce a significant share of cities' air pollution, with a substantial impact on the environment and human health. Traditional emission estimation methods use remote sensing stations, missing vehicles' full driving cycle, or focus on a few vehicles. We use GPS traces and a microscopic model to analyse the emissions of four air pollutants from thousands of private vehicles in three European cities. We find that the emissions across the vehicles and roads are well approximated by heavy-tailed distributions and thus discover the existence of gross polluters, vehicles responsible for the greatest quantity of emissions, and grossly polluted roads, which suffer the greatest amount of emissions. Our simulations show that emissions reduction policies targeting gross polluters are way more effective than those limiting circulation based on a non-informed choice of vehicles. Our study contributes to sha** the discussion on how to measure emissions with digital data.
△ Less
Submitted 17 March, 2022; v1 submitted 21 April, 2021;
originally announced July 2021.
-
Learning Mobility Flows from Urban Features with Spatial Interaction Models and Neural Networks
Authors:
Gevorg Yeghikyan,
Felix L. Opolka,
Mirco Nanni,
Bruno Lepri,
Pietro Lio'
Abstract:
A fundamental problem of interest to policy makers, urban planners, and other stakeholders involved in urban development projects is assessing the impact of planning and construction activities on mobility flows. This is a challenging task due to the different spatial, temporal, social, and economic factors influencing urban mobility flows. These flows, along with the influencing factors, can be m…
▽ More
A fundamental problem of interest to policy makers, urban planners, and other stakeholders involved in urban development projects is assessing the impact of planning and construction activities on mobility flows. This is a challenging task due to the different spatial, temporal, social, and economic factors influencing urban mobility flows. These flows, along with the influencing factors, can be modelled as attributed graphs with both node and edge features characterising locations in a city and the various types of relationships between them. In this paper, we address the problem of assessing origin-destination (OD) car flows between a location of interest and every other location in a city, given their features and the structural characteristics of the graph. We propose three neural network architectures, including graph neural networks (GNN), and conduct a systematic comparison between the proposed methods and state-of-the-art spatial interaction models, their modifications, and machine learning approaches. The objective of the paper is to address the practical problem of estimating potential flow between an urban development project location and other locations in the city, where the features of the project location are known in advance. We evaluate the performance of the models on a regression task using a custom data set of attributed car OD flows in London. We also visualise the model performance by showing the spatial distribution of flow residuals across London.
△ Less
Submitted 24 April, 2020;
originally announced April 2020.
-
Mobile phone data analytics against the COVID-19 epidemics in Italy: flow diversity and local job markets during the national lockdown
Authors:
Pietro Bonato,
Paolo Cintia,
Francesco Fabbri,
Daniele Fadda,
Fosca Giannotti,
Pier Luigi Lopalco,
Sara Mazzilli,
Mirco Nanni,
Luca Pappalardo,
Dino Pedreschi,
Francesco Penone,
Salvatore Rinzivillo,
Giulio Rossetti,
Marcello Savarese,
Lara Tavoschi
Abstract:
Understanding collective mobility patterns is crucial to plan the restart of production and economic activities, which are currently put in stand-by to fight the diffusion of the epidemics. In this report, we use mobile phone data to infer the movements of people between Italian provinces and municipalities, and we analyze the incoming, outcoming and internal mobility flows before and during the n…
▽ More
Understanding collective mobility patterns is crucial to plan the restart of production and economic activities, which are currently put in stand-by to fight the diffusion of the epidemics. In this report, we use mobile phone data to infer the movements of people between Italian provinces and municipalities, and we analyze the incoming, outcoming and internal mobility flows before and during the national lockdown (March 9th, 2020) and after the closure of non-necessary productive and economic activities (March 23th, 2020). The population flow across provinces and municipalities enable for the modelling of a risk index tailored for the mobility of each municipality or province. Such an index would be a useful indicator to drive counter-measures in reaction to a sudden reactivation of the epidemics. Mobile phone data, even when aggregated to preserve the privacy of individuals, are a useful data source to track the evolution in time of human mobility, hence allowing for monitoring the effectiveness of control measures such as physical distancing. We address the following analytical questions: How does the mobility structure of a territory change? Do incoming and outcoming flows become more predictable during the lockdown, and what are the differences between weekdays and weekends? Can we detect proper local job markets based on human mobility flows, to eventually shape the borders of a local outbreak?
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Give more data, awareness and control to individual citizens, and they will help COVID-19 containment
Authors:
Mirco Nanni,
Gennady Andrienko,
Albert-László Barabási,
Chiara Boldrini,
Francesco Bonchi,
Ciro Cattuto,
Francesca Chiaromonte,
Giovanni Comandé,
Marco Conti,
Mark Coté,
Frank Dignum,
Virginia Dignum,
Josep Domingo-Ferrer,
Paolo Ferragina,
Fosca Giannotti,
Riccardo Guidotti,
Dirk Helbing,
Kimmo Kaski,
Janos Kertesz,
Sune Lehmann,
Bruno Lepri,
Paul Lukowicz,
Stan Matwin,
David Megías Jiménez,
Anna Monreale
, et al. (14 additional authors not shown)
Abstract:
The rapid dynamics of COVID-19 calls for quick and effective tracking of virus transmission chains and early detection of outbreaks, especially in the phase 2 of the pandemic, when lockdown and other restriction measures are progressively withdrawn, in order to avoid or minimize contagion resurgence. For this purpose, contact-tracing apps are being proposed for large scale adoption by many countri…
▽ More
The rapid dynamics of COVID-19 calls for quick and effective tracking of virus transmission chains and early detection of outbreaks, especially in the phase 2 of the pandemic, when lockdown and other restriction measures are progressively withdrawn, in order to avoid or minimize contagion resurgence. For this purpose, contact-tracing apps are being proposed for large scale adoption by many countries. A centralized approach, where data sensed by the app are all sent to a nation-wide server, raises concerns about citizens' privacy and needlessly strong digital surveillance, thus alerting us to the need to minimize personal data collection and avoiding location tracking. We advocate the conceptual advantage of a decentralized approach, where both contact and location data are collected exclusively in individual citizens' "personal data stores", to be shared separately and selectively, voluntarily, only when the citizen has tested positive for COVID-19, and with a privacy preserving level of granularity. This approach better protects the personal sphere of citizens and affords multiple benefits: it allows for detailed information gathering for infected people in a privacy-preserving fashion; and, in turn this enables both contact tracing, and, the early detection of outbreak hotspots on more finely-granulated geographic scale. Our recommendation is two-fold. First to extend existing decentralized architectures with a light touch, in order to manage the collection of location data locally on the device, and allow the user to share spatio-temporal aggregates - if and when they want, for specific aims - with health authorities, for instance. Second, we favour a longer-term pursuit of realizing a Personal Data Store vision, giving users the opportunity to contribute to collective good in the measure they want, enhancing self-awareness, and cultivating collective efforts for rebuilding society.
△ Less
Submitted 16 April, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
The Identification and Analysis of Indicators for Predicting Malarial Incidence in Zimbabwe
Authors:
Booma Sowkarthiga Balasubramani,
Marco Nanni,
Shin Imai,
Isabel F. Cruz
Abstract:
With over 50% of the country's population at risk of contracting malaria despite the introduction of several measures to combat the disease, Zimbabwe is one of the eight countries in the Malaria Elimination 8 platform of the Southern African Development Community. Various indicators, including temperature, population distribution, land cover, and access to hospitals affect the incidence and spread…
▽ More
With over 50% of the country's population at risk of contracting malaria despite the introduction of several measures to combat the disease, Zimbabwe is one of the eight countries in the Malaria Elimination 8 platform of the Southern African Development Community. Various indicators, including temperature, population distribution, land cover, and access to hospitals affect the incidence and spread of this disease. In this paper, we consider different such indicators and present our analysis of their interaction (e.g., how the Plasmodium falciparum Parasite Rate (PfPR) affects the sickle cell trait) and their effect on malaria incidence in Zimbabwe. We also discuss the results of our preliminary experiments on predictive analytics of malaria incidence based on the indicators we have considered.
△ Less
Submitted 7 May, 2019;
originally announced May 2019.
-
A Cross-Entropy-based Method to Perform Information-based Feature Selection
Authors:
Pietro Cassara,
Alessandro Rozza,
Mirco Nanni
Abstract:
From a machine learning point of view, identifying a subset of relevant features from a real data set can be useful to improve the results achieved by classification methods and to reduce their time and space complexity. To achieve this goal, feature selection methods are usually employed. These approaches assume that the data contains redundant or irrelevant attributes that can be eliminated. In…
▽ More
From a machine learning point of view, identifying a subset of relevant features from a real data set can be useful to improve the results achieved by classification methods and to reduce their time and space complexity. To achieve this goal, feature selection methods are usually employed. These approaches assume that the data contains redundant or irrelevant attributes that can be eliminated. In this work, we propose a novel algorithm to manage the optimization problem that is at the foundation of the Mutual Information feature selection methods. Furthermore, our novel approach is able to estimate automatically the number of dimensions to retain. The quality of our method is confirmed by the promising results achieved on standard real data sets.
△ Less
Submitted 22 May, 2017; v1 submitted 25 July, 2016;
originally announced July 2016.
-
An effective Time-Aware Map Matching process for low sampling GPS data
Authors:
Paolo Cintia,
Mirco Nanni
Abstract:
In the era of the proliferation of Geo-Spatial Data, induced by the diffusion of GPS devices, the map matching problem still represents an important and valuable challenge. The process of associating a segment of the underlying road network to a GPS point gives us the chance to enrich raw data with the semantic layer provided by the roadmap, with all contextual information associated to it, e.g. t…
▽ More
In the era of the proliferation of Geo-Spatial Data, induced by the diffusion of GPS devices, the map matching problem still represents an important and valuable challenge. The process of associating a segment of the underlying road network to a GPS point gives us the chance to enrich raw data with the semantic layer provided by the roadmap, with all contextual information associated to it, e.g. the presence of speed limits, attraction points, changes in elevation, etc. Most state-of-art solutions for this classical problem simply look for the shortest or fastest path connecting any pair of consecutive points in a trip. While in some contexts that is reasonable, in this work we argue that the shortest/fastest path assumption can be in general erroneous. Indeed, we show that such approaches can yield travel times that are significantly incoherent with the real ones, and propose a Time-Aware Map matching process that tries to improve the state-of-art by taking into account also such temporal aspect. Our algorithm results to be very efficient, effective on low- sampling data and to outperform existing solutions, as proved by experiments on large datasets of real GPS trajectories. Moreover, our algorithm is parameter-free and does not depend on specific characteristics of the GPS localization error and of the road network (e.g. density of roads, road network topology, etc.).
△ Less
Submitted 23 March, 2016;
originally announced March 2016.
-
Sardinia Radio Telescope: General Description, Technical Commissioning and First Light
Authors:
P. Bolli,
A. Orlati,
L. Stringhetti,
A. Orfei,
S. Righini,
R. Ambrosini,
M. Bartolini,
C. Bortolotti,
F. Buffa,
M. Buttu,
A. Cattani,
N. D'Amico,
G. Deiana,
A. Fara,
F. Fiocchi,
F. Gaudiomonte,
A. Maccaferri,
S. Mariotti,
P. Marongiu,
A. Melis,
C. Migoni,
M. Morsiani,
M. Nanni,
F. Nasyr,
A. Pellizzoni
, et al. (13 additional authors not shown)
Abstract:
In the period 2012 June - 2013 October, the Sardinia Radio Telescope (SRT) went through the technical commissioning phase. The characterization involved three first-light receivers, ranging in frequency between 300MHz and 26GHz, connected to a Total Power back-end. It also tested and employed the telescope active surface installed in the main reflector of the antenna. The instrument status and per…
▽ More
In the period 2012 June - 2013 October, the Sardinia Radio Telescope (SRT) went through the technical commissioning phase. The characterization involved three first-light receivers, ranging in frequency between 300MHz and 26GHz, connected to a Total Power back-end. It also tested and employed the telescope active surface installed in the main reflector of the antenna. The instrument status and performance proved to be in good agreement with the expectations in terms of surface panels alignment (at present 300 um rms to be improved with microwave holography), gain (~0.6 K/Jy in the given frequency range), pointing accuracy (5 arcsec at 22 GHz) and overall single-dish operational capabilities. Unresolved issues include the commissioning of the receiver centered at 350 MHz, which was compromised by several radio frequency interferences, and a lower-than-expected aperture efficiency for the 22-GHz receiver when pointing at low elevations. Nevertheless, the SRT, at present completing its Astronomical Validation phase, is positively approaching its opening to the scientific community.
△ Less
Submitted 19 March, 2016;
originally announced March 2016.
-
The Inductive Constraint Programming Loop
Authors:
Christian Bessiere,
Luc De Raedt,
Tias Guns,
Lars Kotthoff,
Mirco Nanni,
Siegfried Nijssen,
Barry O'Sullivan,
Anastasia Paparrizou,
Dino Pedreschi,
Helmut Simonis
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 Const…
▽ More
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.
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
VLBI imaging throughout the primary beam using accurate UV shifting
Authors:
John S. Morgan,
F. Mantovani,
A. T. Deller,
W. Brisken,
W. Alef,
E. Middelberg,
M. Nanni,
S. J. Tingay
Abstract:
For Very Long Baseline Interferometry (VLBI), the fringe spacing is extremely narrow compared to the field of view imposed by the primary beam of each element. This means that an extremely large number of resolution units can potentially be imaged from a single observation.
We implement and test a technique for efficiently and accurately imaging large VLBI datasets. The DiFX software correlator…
▽ More
For Very Long Baseline Interferometry (VLBI), the fringe spacing is extremely narrow compared to the field of view imposed by the primary beam of each element. This means that an extremely large number of resolution units can potentially be imaged from a single observation.
We implement and test a technique for efficiently and accurately imaging large VLBI datasets. The DiFX software correlator is used to generate a dataset with extremely high time and frequency resolution. This large dataset is then transformed and averaged multiple times to generate many smaller datasets, each with a phase centre located at a different area of interest.
Results of an 8.4 GHz four-station VLBI observation of a field containing multiple sources are presented. Observations of the calibrator 3C345 were used for preliminary tests of accuracy of the shifting algorithm. A high level of accuracy was achieved, making the method suitable even for the most demanding astrometric VLBI observations. One target source (1320+299A) was detected and was used as a phase-reference calibrator in searching for further detections. An image containing 13 billion pixels was constructed by independently imaging 782 visibility datasets covering the entire primary beam of the array.
Current implementations of this algorithm and possible future developments in VLBI data analysis are discussed.
△ Less
Submitted 25 February, 2013;
originally announced February 2013.
-
Probabilistic Agent Programs
Authors:
Juergen Dix,
Mirco Nanni,
VS Subrahmanian
Abstract:
Agents are small programs that autonomously take actions based on changes in their environment or ``state.'' Over the last few years, there have been an increasing number of efforts to build agents that can interact and/or collaborate with other agents. In one of these efforts, Eiter, Subrahmanian amd Pick (AIJ, 108(1-2), pages 179-255) have shown how agents may be built on top of legacy code. H…
▽ More
Agents are small programs that autonomously take actions based on changes in their environment or ``state.'' Over the last few years, there have been an increasing number of efforts to build agents that can interact and/or collaborate with other agents. In one of these efforts, Eiter, Subrahmanian amd Pick (AIJ, 108(1-2), pages 179-255) have shown how agents may be built on top of legacy code. However, their framework assumes that agent states are completely determined, and there is no uncertainty in an agent's state. Thus, their framework allows an agent developer to specify how his agents will react when the agent is 100% sure about what is true/false in the world state. In this paper, we propose the concept of a \emph{probabilistic agent program} and show how, given an arbitrary program written in any imperative language, we may build a declarative ``probabilistic'' agent program on top of it which supports decision making in the presence of uncertainty. We provide two alternative semantics for probabilistic agent programs. We show that the second semantics, though more epistemically appealing, is more complex to compute. We provide sound and complete algorithms to compute the semantics of \emph{positive} agent programs.
△ Less
Submitted 21 October, 1999;
originally announced October 1999.