Filters








53,415 Hits in 5.5 sec

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

Stefania Costantini, Giovanni De Gasperis, Lorenzo De Lauretis
2021 International Journal of Interactive Multimedia and Artificial Intelligence  
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  ...  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.  ...  Acknowledgements We thank the anonymous reviewers for their interest in the DALI language, and for insightful suggestions about modern ASP grounders/solvers.  ... 
doi:10.9781/ijimai.2021.02.001 doaj:8a6cacede0734ad7bd1d96b903262fee fatcat:cnh5qedmd5eedcx6ivdhotaxz4

Using Multi-context Systems to Engineer Executable Agents [chapter]

Jordi Sabater, Carles Sierra, Simon Parsons, Nicholas R. Jennings
2000 Lecture Notes in Computer Science  
This paper provides a first attempt to address this shortcoming; we propose a general method of defining architectures for logic-based agents which can be directly executed.  ...  In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents.  ...  Acknowledgments This work has been supported by the Spanish CICYT project SM-ASH, TIC96-1038-C04001 and the UK EPSRC project Practical Negotiation for Electronic Commerce GR/M07076.  ... 
doi:10.1007/10719619_20 fatcat:iuerhe3yybde5ecgwvc4vj2mcu

Online Agent Logic Programming with oClingo [chapter]

Timothy Cerexhe, Martin Gebser, Michael Thielscher
2014 Lecture Notes in Computer Science  
The online answer set solver oClingo offers a powerful new technique for uniting the speed of Answer Set Programming (ASP) with dynamic events.  ...  The result is a safe, clean input language for oClingo and a new implementation for Agent Logic Programs.  ...  For a logic program constructed from an Agent Logic Program via Definition 9, all answer sets that satisfy ¬exog(A) for all A, will also satisfy exoseq(T 1 , T 2 ) ↔ T 1 = T 2 .  ... 
doi:10.1007/978-3-319-13560-1_82 fatcat:e3y2abi545hjxhgpyz5jolv7dq

Integrating NLP with Reasoning about Actions for Autonomous Agents Communicating with Humans

Xiaoping Chen, Jiehui Jiang, Jianmin Ji, Guoqiang Jin, Feng Wang
2009 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology  
We present a first effort to integrate NLP with ASP for autonomous agents, especially service robots, communicating with humans.  ...  We implemented a prototype system and tested it in a simple home environment, which demonstrated the feasibility of our approach under current settings and the possibility that our approach will benefit  ...  We are also grateful for the anonymous reviewers for their constructive comments.  ... 
doi:10.1109/wi-iat.2009.142 dblp:conf/iat/ChenJJJW09 fatcat:omvyzaejufa45cuzcjsxu7xll4

ACE: A Flexible Environment for Complex Event Processing in Logical Agents [chapter]

Stefania Costantini
2015 Lecture Notes in Computer Science  
Complex Event Processing: Our Approach Our approach is concerned mainly (but not only) with logical agents, i.e., agents whose syntax and semantics is rooted in Computational Logic.  ...  CEP in Logical Languages: DALI, GOAL, ETALIS, KGP, METATEM, 3APL, etc.  ...  logic, kb M is a knowledge base in this logic, and br M is a set of bridge rules as defined for MCSs.  ... 
doi:10.1007/978-3-319-26184-3_5 fatcat:djkplxl2gfacjbbflqhjnpj44y

Towards the Rapid Development of a Natural Language Understanding Module [chapter]

Catarina Moreira, Ana Cristina Mendes, Luísa Coheur, Bruno Martins
2011 Lecture Notes in Computer Science  
We test our module with a conversational agent that answers questions in the art domain. Moreover, we show how our approach can be used by a natural language interface to a cinema database.  ...  In this paper, we focus on the rapid development of a natural language understanding module by non experts.  ...  is a set of answers that represent possible responses to the previous utterances.  ... 
doi:10.1007/978-3-642-23974-8_33 fatcat:mhhlglcplra4nmh4mn4jlvlzqi

Towards the Rapid Development of a Natural Language Understanding Module [article]

Catarina Moreira and Ana Cristina Mendes and Luísa Coheur and Bruno Martins
2013 arXiv   pre-print
We test our module with a conversational agent that answers questions in the art domain. Moreover, we show how our approach can be used by a natural language interface to a cinema database.  ...  In this paper, we focus on the rapid development of a natural language understanding module by non experts.  ...  is a set of answers that represent possible responses to the previous utterances.  ... 
arXiv:1302.1380v1 fatcat:v5c7nhjnmva2vas6zvuoxfqfze

Mathematical Tutorial System (MTS) Using Fuzzy Logic and Multi-Agent System

Gandhimathi K., Yogarani A., Sr.J.Arockia Jaya, Ponmathi M.
2017 International Journal of Innovative Research in Engineering & Management  
Our aim is to design an instructional planner for an intelligent tutoring system. We use the combined approach of Fuzzy logic and Multiagent System (MAS).  ...  The Multiagent system on the other hand decides the set of activities to be presented in the objective.  ...  The domain module consist of number of tables in which each table consist of set of 30 activities (questions).The agent one is responsible for first 10 activities.  ... 
doi:10.21276/ijirem.2017.4.2.1 fatcat:pcftswoa55dahinnjoozcmenxq

A Logic-based Multi-agent System for Ethical Monitoring and Evaluation of Dialogues

Abeer Dyoub, Stefania Costantini, Ivan Letteri, Francesca A. Lisi
2021 Electronic Proceedings in Theoretical Computer Science  
The primary objective of this paper is to present the architecture and prototype implementation of a Multi Agent System (MAS) designed for ethical monitoring and evaluation of a dialogue system.  ...  A prototype application, for monitoring and evaluation of chatting agents' (human/artificial) ethical behavior in an online customer service chat point w.r.t their institution/company's codes of ethics  ...  answer set).  ... 
doi:10.4204/eptcs.345.32 fatcat:f4h6i6ttnbg4jkuwasvdz5o2dm

An agent system reasoning about the web and the user

Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
2004 Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters - WWW Alt. '04  
The most innovative aspect of the project is its customizable and flexible reasoning system, based on Answer Set Programming; it plays the role of the central decision making module, and allows the Agent  ...  Both the System Architecture and WOLF are general and reusable, and the result constitutes a good example of real implementation of agents based on logics.  ...  This module acts as intelligent supervisor-colleague for all other internal agents.  ... 
doi:10.1145/1013367.1013541 dblp:conf/www/IanniRCLG04 fatcat:tejt5loiebcclmi5jotaakgfmu

An agent system reasoning about the web and the user

Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia
2004 Alternate track papers & posters of the 13th international conference on World Wide Web - WWW Alt. '04  
The most innovative aspect of the project is its customizable and flexible reasoning system, based on Answer Set Programming; it plays the role of the central decision making module, and allows the Agent  ...  Both the System Architecture and WOLF are general and reusable, and the result constitutes a good example of real implementation of agents based on logics.  ...  This module acts as intelligent supervisor-colleague for all other internal agents.  ... 
doi:10.1145/1010432.1010606 fatcat:eju5ps5bmzhxplbwie5uwdmziq

ASP-Prolog for Negotiation among Dishonest Agents [chapter]

Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011 Lecture Notes in Computer Science  
This paper describes a platform to develop negotiating agents, whose knowledge and rules of behavior are represented as Abductive Logic Programs.  ...  Differently from other frameworks, agents can operate dishonestly, by generating false statements or statements that are not substantiated by the agents' knowledge.  ...  ALP Modules Since the semantics of ALP and ALP with preferences is defined by answer sets of extended logic programs, it is natural to view ALPs as another type of modules that can be accessed and used  ... 
doi:10.1007/978-3-642-20895-9_38 fatcat:opgm66hqavgszcg6quy22swewa

A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming [chapter]

James P. Delgrande, Torsten Grote, Aaron Hunter
2009 Lecture Notes in Computer Science  
Using queries, we can find attacks on a protocol by finding the answer sets for the corresponding logic program.  ...  In our approach, cryptographic protocols are represented as extended logic programs where the answer sets correspond to traces of protocol runs.  ...  Approach Our aim is to define a logic program in which the answer sets correspond to sequences of exchanged messages between agents.  ... 
doi:10.1007/978-3-642-04238-6_30 fatcat:vedmr2lnt5aexexmfaq24ayvvi

Ethical Monitoring and Evaluation of Dialogues with a MAS

Abeer Dyoub, Stefania Costantini, Francesca A. Lisi, Ivan Letteri
2021 Italian Conference on Computational Logic  
The primary objective of this paper is to present the architecture and prototype implementation of a Multi Agent System (MAS) designed for ethical monitoring and evaluation of a dialogue system.  ...  A prototype application, for monitoring and evaluation of chatting agents' (human/artificial) ethical behavior in an online customer service chat point w.r.t their institution/company's codes of ethics  ...  answer set).  ... 
dblp:conf/cilc/DyoubCLL21 fatcat:r6ddmmod45e2bbhcswqjwcddse

Reasoning in Highly Reactive Environments

Francesco Pacenza
2019 Electronic Proceedings in Theoretical Computer Science  
This is for instance the typical setting in which, e.g., artificial agents for video-games (the so called "bots"), cleaning robots, bomb clearing robots, and so on are deployed.  ...  As reasoning in highly reactive environments, we identify the setting in which a knowledge-based agent, with given goals, is deployed in an environment subject to repeated, sudden and possibly unknown  ...  Furthermore, we found in literature a large variety of languages designed for programming logical Agents and Multi-Agent Systems in contexts very similar to our setting.  ... 
doi:10.4204/eptcs.306.57 fatcat:zt2pezjwmfg43f3ini5fgjn2by
« Previous Showing results 1 — 15 out of 53,415 results