1,721,237 research outputs found
Metodologie per l'ingegneria del software: approccio ad agenti
No full textIl paradigma ad agenti ha una influenza sempre crescente sul modo di concepire e progettare i sistemi computazionali complessi. Di conseguenza, vi è un crescente interesse verso lo sviluppo di metodologie di progettazione software “agent-oriented”, al fine di identificare astrazioni efficaci per modellare sistemi ad agenti, con particolare riferimento alla modellazione dell’ambiente in cui questi operano. A tale scopo, in questo lavoro vengono esplorate e messe a confronto quattro diverse metodologie per l'analisi e il progetto di sistemi ad agenti, evidenziandone i rispettivi punti di forza nell'ingegnerizzazione del software secondo il paradigma ad agenti
tuProlog: a Prolog for Distributed Java-based Environments
No full texttuProlog is a light-weight Prolog engine, fully interoperable with Java and specifically designed to be
- easy deployable,
- light-weight,
- dynamically configurable,
- fully interoperable with the Java platform
Multi-paradigm Java–Prolog integration in tuProlog
No full textAbstracttuProlog is a Java-based Prolog engine explicitly designed to be minimal, dynamically configurable, and support full and clean Prolog/Java integration. In this paper, we discuss the tuProlog approach to Prolog/Java multi-paradigm integration. After tuProlog motivations and requirements, we present some examples of bidirectional Prolog/Java integration and discuss the model and architecture of the tuProlog system. Then, we focus on the specific issue of the access to Java resources from tuProlog, discuss the essentials of its implementation, and compare it extensively with many other relevant related approaches and systems
Relevance of winning coalitions in indirect control of corporations
No full textIn this paper we study coalitions of indirect stockholders of a company showing that they can have different controlling power, and therefore different relevance in the control problem. We then introduce a suitable classification, and three algorithms to find all the coalitions of all relevances. Copyright Kluwer Academic Publishers 2004
Towards Logic Programming as a Service: Experiments in \sf tuProlog
No full textIn this paper we explore the perspective of Logic Programming as a Service (LPaaS), with a broad notion of “service” going beyond the mere handling of the logic engine lifecycle, knowledge base management, reasoning queries execution, etc. In particular, we present tuProlog as-a-service, a Prolog engine based on the tuProlog core made available as an encapsulated service to effectively support the spreading of intelligence in pervasive systems—mainly, Internet-of-Things (IoT) applications scenarios.
So, after recalling the main features of tuProlog technology, we discuss the design and implementation of tuProlog as-a-service, focussing in particular on the iOS platform because of the many supported smart devices (phones, watches, etc.), the URL-based communication support among apps, and the multi-language resulting scenarios
From AOSE methodologies to MAS infrastructures: The SODA case study
No full textIn the last years, research on agent-oriented (AO) methodologies and multi-agent system (MAS) infrastructures has developed along two opposite paths: while AO methodologies have essentially undergone a top-down evolution pushed by contributions from heterogeneous fields like human sciences, MAS infrastructures have mostly followed a bottom-up path growing from existing and widespread (typically ob ject-oriented) technologies. This dichotomy has produced a conceptual gap between the proposed AO methodologies and the agent infrastructures actually available, as well as a technical gap in the MAS engineering practice, where methodologies are often built ad hoc out of MAS infrastructures, languages and tools.
This paper proposes a new method for filling the gap between methodologies and infrastructures based on the definition and study of the meta-models of both AO methodologies and MAS infrastructures. By allowing structural representation of abstractions to be captured along with their mutual relations, meta-models make it possible to map design-time abstractions from AO methodologies upon run-time abstractions from MAS technologies, thus promoting a more coherent and effective practice in MAS engineering. In order to validate our method, we take an AO methodology – SODA – and show how it can be mapped upon three different MAS infrastructures using meta-models as mapping guidelines
Extending logic programming with labelled variables: Model and semantics
Full text linkIn order to enable logic programming to deal with the diversity of pervasive systems,
where many heterogeneous, domain-specific computational models could benefit from the power
of symbolic computation, we explore the expressive power of labelled systems. To this end, we
define a new notion of truth for logic programs extended with labelled variables interpreted in
non-Herbrand domains—where, however, terms maintain their usual Herbrand interpretations.
First, a model for labelled variables in logic programming is defined. Then, the fixpoint and the
operational semantics are presented and their equivalence is formally proved. A meta-interpreter
implementing the operational semantics is also introduced, followed by some case studies aimed
at showing the effectiveness of our approach in selected scenarios
Context Reasoning and Prediction in Smart Environments: the Home Manager case
No full textIn Smart Environments, people are immersed in time and space in an augmented reality: computing systems are ubiquitous, intelligence pervades the whole environment and exploits space and time awareness to provide a globally contextualised, adaptive user experience. Because of their socio-technical nature, the development of Smart Environments calls for skills, concepts, methodologies, technologies from the most diverse fields – AI, coordination, distributed systems, organisational sciences, etc. –, thus inherently calling for a multi-paradigm perspective. This paper explores the Smart Environment context moving from two basic bricks: Butlers for Smart Spaces, a framework for the design of smart services for users immersed and interacting with their surrounding environment; and Home Manager, a multi-paradigm, agent-based platform for the implementation of Smart Living contexts—particularly focused on the reasoning aspects, so as to anticipate the users’ needs. For concreteness, we take a Smart Kitchen as our running example: we first discuss how it can be devised using Butlers for Smart Spaces, and then deployed on the Home Manager platform—highlighting in particular the context reasoning, prediction and adaptation aspects
Risk Analysis and Deployment Security Issues in a Multi-Agent System
No full textMulti-agent systems (MASs) are a powerful paradigm enabling effective software engineering techniques: yet, it easily lets the designer be oblivious of the emergent security problems. This can be a critical issue, especially when MASs are exploited as an infrastructure to provide secure services. This paper performs a security analysis of such a scenario, identifying threats and assessing risks that could interfere with the achievement of the application goal – e.g. access control – as a consequence of its MAS-based implementatio
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Full text linkSituatedness is a fundamental requirement for today’s complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatio-temporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives
- …
