23,531 Hits in 6.0 sec

Goals in conflict: semantic foundations of goals in agent programming

M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
2008 Autonomous Agents and Multi-Agent Systems  
Goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways. We focus in this paper on the representation of conflicting goals.  ...  This paper addresses the notion of (declarative) goals as used in agent programming.  ...  Open Access This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided  ... 
doi:10.1007/s10458-008-9067-4 fatcat:5w7pautrvnatrprurtxd22xxbm

Development and Testing of Psychological Conflict Resolution Strategies for Assertive Robots to Resolve Human–Robot Goal Conflict

Franziska Babel, Johannes M. Kraus, Martin Baumann
2021 Frontiers in Robotics and AI  
Some strategies were only positively evaluated and effective for certain agents (human or robot) or only acceptable in one of the two application contexts (i.e., approach, empathy).  ...  As service robots become increasingly autonomous and follow their own task-related goals, human-robot conflicts seem inevitable, especially in shared spaces.  ...  THEORETICAL BACKGROUND Human Goal-Conflict Resolution Goal conflicts are determined by mutually exclusive goals of both parties (Rahim, 1983) .  ... 
doi:10.3389/frobt.2020.591448 pmid:33718437 pmcid:PMC7945950 fatcat:amceuw3wpffhvputouodfzlagq

A Dynamic Logic Programming Based System for Agents with Declarative Goals [chapter]

Vivek Nigam, João Leite
2006 Lecture Notes in Computer Science  
the goals of the agent and their evolution, in a simple, declarative, fashion.  ...  Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve.  ...  Semantics of Agent Goal Bases As defined in the previous section, we are considering the goal base of the agent as a Dynamic Logic Program.  ... 
doi:10.1007/11961536_12 fatcat:ulodgqhofjdwbfl55zl3wkpdge


Simon Duff, John Thangarajah, James Harland
2012 Computational intelligence  
academic award; the content of the thesis is the result of work which has been carried out since the official commencement date of the approved research program; any editorial work, paid or unpaid, carried  ...  Declaration I certify that except where due acknowledgement has been made, the work is that of the author alone; the work has not been submitted previously, in whole or in part, to qualify for any other  ...  Goals are one way in which agents are programmed. Common goals include perform goals, achievement goals and maintenance goals.  ... 
doi:10.1111/coin.12000 fatcat:znyzpoopv5auxjaxmwharofkhm

Relating Goal and Commitment Semantics [chapter]

Pankaj R. Telang, Munindar P. Singh, Neil Yorke-Smith
2012 Lecture Notes in Computer Science  
This paper makes steps towards such a semantics by relating the respective lifecycles of goals and commitments.  ...  of cooperation in a multiagent system.  ...  We gratefully acknowledge the suggestions of the anonymous reviewers of the ProMAS'11 workshop and the post-proceedings volume, and the discussions with the participants at the workshop.  ... 
doi:10.1007/978-3-642-31915-0_2 fatcat:wj7dzb4hl5dcdg7cosqz6msisu

Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report [chapter]

Shakil M. Khan, Yves Lespérance
2010 Lecture Notes in Computer Science  
In this paper, we develop a logical account of goal change that addresses these deficiencies.  ...  When the world changes, the agent recomputes her chosen goals and some inactive goals may become active again. This ensures that our agent maximizes her utility.  ...  In [6] , the authors present a situation calculus based agent programming language where the agent executes a program while maximizing the achievement of a set of prioritized goals.  ... 
doi:10.1007/978-3-642-11355-0_8 fatcat:5norp4vse5b2xm7kij3a366r5a

Integrating exception handling in goal models

Antoine Cailliau, Axel van Lamsweerde
2014 2014 IEEE 22nd International Requirements Engineering Conference (RE)  
The technique is shown to guarantee progress towards a complete goal model; it preserves the correctness of refinements in the overall model; and keeps the original, ideal model visible to avoid cluttering  ...  Obstacle analysis is a model-based, goal-anchored form of risk analysis aimed at identifying, assessing and resolving exceptional conditions that may obstruct the behavioral goals of the target system.  ...  Semantic equivalent of Except remains linear in the number of exceptions. The specification of the ideal goal remains unchanged.  ... 
doi:10.1109/re.2014.6912246 dblp:conf/re/CailliauL14 fatcat:hmpwkzh36baahcqq7s3tcxq3we

Resolving conflicts in knowledge for ambient intelligence

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Šefránek, Alexander Šimko, Jozef Frtús, Dimitra Zografistou, Martin Baláž
2015 Knowledge engineering review (Print)  
Conflicts may thus naturally arise, that need to be dealt with by the agents in an autonomous way.  ...  Our main goal is to describe the state of the art in these fields, and to draw attention of researchers to important theoretical issues and practical challenges that still need to be resolved, in order  ...  SK-GR-0070-11 with the APVV agency and co-financed by the Greek General Secretariat of Science and Technology and the European Union.  ... 
doi:10.1017/s0269888915000132 fatcat:dsa3goyft5bfxezoaz7iwuuauu

Towards Reasoning with Partial Goal Satisfaction in Intelligent Agents [chapter]

M. Birna van Riemsdijk, Neil Yorke-Smith
2012 Lecture Notes in Computer Science  
In real domains of application, goals are achieved over time. At any point, a goal has reached a certain level of satisfaction, from nothing to full (completely achieved).  ...  This paper presents an abstract framework that can be taken as a basis for representing partial goal satisfaction in an intelligent agent.  ...  Acknowledgments We thank David Martin and the participants of the ProMAS'10 workshop for discussions, and the reviewers for their comments.  ... 
doi:10.1007/978-3-642-28939-2_3 fatcat:lllpjvxxiratnduc4nfivdunsa

Goal Representation for BDI Agent Systems [chapter]

Lars Braubach, Alexander Pokahr, Daniel Moldt, Winfried Lamersdorf
2005 Lecture Notes in Computer Science  
In this paper a generic representation of goal types, properties, and lifecycles is developed in consideration of existing goal-oriented requirements engineering and modelling techniques.  ...  Therefore, the representation and handling of goals play a central role in goal-oriented requirements analysis and modelling techniques.  ...  The JACK agent system [15] offers in addition to achieve goal semantics the test and preserve 4 goal types.  ... 
doi:10.1007/978-3-540-32260-3_3 fatcat:qt2ew3jt3nafxmxlt2j2evhvpq

A Goal Deliberation Strategy for BDI Agent Systems [chapter]

Alexander Pokahr, Lars Braubach, Winfried Lamersdorf
2005 Lecture Notes in Computer Science  
By omitting this important aspect of rationality, the problem of goal deliberation is shifted from the architecture to the agent programming level and needs to be handled by the agent developer in an error-prone  ...  One aspect of rational behavior is that agents can pursue multiple goals in parallel.  ...  As a consequence an agent e.g. cannot easily defer the processing of a certain goal, because there is no semantics behind the event representing the agent's intended desire.  ... 
doi:10.1007/11550648_8 fatcat:hubklkewfvdq5crum3luyrosy4

Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems [chapter]

John Thangarajah, James Harland, David Morley, Neil Yorke-Smith
2011 Lecture Notes in Computer Science  
We show how to specify an operational semantics corresponding to this detailed description in an abstract agent language (CAN).  ...  We consider the various types of goals studied in the literature, including performance, achievement, and maintenance goals.  ...  The centrality of reasoning over goals is seen in the techniques investigated in the literature, which include subgoaling and plan selection, detection and resolution of conflicts [20, 17] or opportunities  ... 
doi:10.1007/978-3-642-20715-0_1 fatcat:fzbx3z6tinco3k4zef7dcgvvki

Ontology and Goal Model in Designing BDI Multi-Agent Systems

Patrizia Ribino, Massimo Cossentino, Carmelo Lodato, Salvatore Lopes, Luca Sabatucci, Valeria Seidita
2013 International Conference of the Italian Association for Artificial Intelligence  
In particular, we propose the use of an ontological model and a goal model for representing requirements and the domain formalization respectively.  ...  In the paper we use the well-known case study of the conference management system for illustrating the proposed portion of process.  ...  state of affair (maintain temperature below 100 degrees); • the Name of the resulting goal encapsulating the goal semantics.  ... 
dblp:conf/aiia/RibinoCLLSS13 fatcat:hnw7m6xjabbg7mfmlzvd7hlfje

Simulating and optimising design decisions in quantitative goal models

William Heaven, Emmanuel Letier
2011 2011 IEEE 19th International Requirements Engineering Conference  
specified in terms of measurable objective functions.  ...  It involves evaluating how well each alternative satisfies the stakeholders' goals and selecting one alternative that achieves some optimal tradeoffs between possibly conflicting goals.  ...  Our quantitative goal modelling framework provides formal foundation for reasoning about measurable levels of goal [3] .  ... 
doi:10.1109/re.2011.6051653 dblp:conf/re/HeavenL11 fatcat:hrx7hygxi5cxfa2tolj7smwbj4

GoalSPEC: A Goal Specification Language Supporting Adaptivity and Evolution [chapter]

Luca Sabatucci, Patrizia Ribino, Carmelo Lodato, Salvatore Lopes, Massimo Cossentino
2013 Lecture Notes in Computer Science  
The novelty of our approach consists in decoupling the business goals (what is expected) and their implementation (how to address the desired behavior).  ...  The characteristic of being autonomous and proactive makes the agents able to explore a wide solution space, that dynamically changes or contains uncertainty.  ...  Acknowledgements This work has been partially funded by the Innovative Document Sharing (IDS) Project funded by the Autonomous Region of Sicily (PO FESR Sicilia 2007-2013).  ... 
doi:10.1007/978-3-642-45343-4_13 fatcat:7olwwzbfybc3npkrvjz3di7cjy
« Previous Showing results 1 — 15 out of 23,531 results