A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Filters
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices
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]
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]
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
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]
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]
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]
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
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
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
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
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]
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]
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
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
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