Sciweavers

2638 search results - page 83 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
DALT
2008
Springer
15 years 5 months ago
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
Jan Broersen
JOLLI
2010
171views more  JOLLI 2010»
14 years 11 months ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
Andreas Herzig, Emiliano Lorini
CCIA
2009
Springer
15 years 5 months ago
Anytime Reasoning Mechanism for Conversational Agents
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of t...
M. Mariela Morveli-Espinoza, Josep Puyol-Gruart
SCAI
2008
15 years 5 months ago
Explanatory Capabilities in the CREEK Knowledge-Intensive Case-Based Reasoner
The ability to give explanations for its reasoning and behaviour is a core capability of an intelligent system. There are a number of different goals a user can have towards such e...
Anders Kofod-Petersen, Jörg Cassens, Agnar Aa...
ICCBR
2003
Springer
15 years 9 months ago
Using Case-Based Reasoning to Overcome High Computing Cost Interactive Simulations
Abstract. This paper describes an innovative usage of Case-Based Reasoning to reduce the high computing cost derived from running large interactive simulation scenarios within the ...
Javier Vázquez-Salceda, Miquel Sànch...