An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices

被引：3

作者：

Costantini, Stefania ^{[1
]}

De Gasperis, Giovanni ^{[1
]}

De Lauretis, Lorenzo ^{[1
]}

机构：

[1] Univ Aquila, Dipartimento Ingn & Sci Informaz & Matemat, Laquila, Italy

来源：

INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE | 2021年 / 6卷 / 05期

关键词：

AI For Ubiquitous Computing; Answer Set Programming; Intelligent Software Agents; Knowledge Based Systems; Microservices; MULTI-CONTEXT SYSTEMS; EPISTEMIC NEGATION; ANSWER;

D O I：

10.9781/ijimai.2021.02.001

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper we introduce an approach to the possible adoption of Answer Set Programming (ASP) for the definition of microservices, which are a successful abstraction for designing distributed applications as suites of independently deployable interacting components. Such ASP-based components might be employed in distributed architectures related to Cloud Computing or to the Internet of Things (IoT), where the ASP microservices might be usefully coordinated with intelligent logic-based agents. We develop a case study where we consider ASP microservices in synergy with agents defined in DALI, a well-known logic-based agent-oriented programming language developed by our research group.

引用

页码：66 / 78

页数：13

共 76 条

[1] FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain [J].

Aielli, Federica ;

Ancona, Davide ;

Caianiello, Pasquale ;

Costantini, Stefania ;

De Gasperis, Giovanni ;

Di Marco, Antinisca ;

Ferrando, Angelo ;

Mascardi, Viviana .

HIGHLIGHTS OF PRACTICAL APPLICATIONS OF SCALABLE MULTI-AGENT SYSTEMS, 2016, 616 :15-26

[2] Development of service-oriented architectures using model-driven development: A mapping study [J].

Ameller, David ;

Burgues, Xavier ;

Collell, Oriol ;

Costal, Dolors ;

Franch, Xavier ;

Papazoglou, Mike P. .

INFORMATION AND SOFTWARE TECHNOLOGY, 2015, 62 :42-66

[3]

Balduccini Marcello., 2007, SEA, P41

[4] Macros, macro calls and use of ensembles in modular answer set programming [J].

Baral, Chitta ;

Dzifcak, Juraj ;

Takahashi, Hiro .

LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 :376-390

[5]

Bordini RH, 2006, INFORM-J COMPUT INFO, V30, P33

[6]

Brewka Gerhard, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. Essays Dedicated to Michael Gelfond on the Occasion of his 65th Birthday, P233, DOI 10.1007/978-3-642-20832-4_16

[7]

Brewka G., 2007, AAAI, P385

[8] Answer Set Programming: An Introduction to the Special Issue [J].

Brewka, Gerhard ;

Eiter, Thomas ;

Truszczynski, Miroslaw .

AI MAGAZINE, 2016, 37 (03) :5-6

[9] Multi-Context Systems for Reactive Reasoning in Dynamic Environments [J].

Brewka, Gerhard ;

Ellmauthaler, Stefan ;

Puehrer, Joerg .

21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 :159-164

[10] INTELLIGENCE WITHOUT REPRESENTATION [J].

BROOKS, RA .

ARTIFICIAL INTELLIGENCE, 1991, 47 (1-3) :139-159

← 1 2 3 4 5 6 7 8 →