Sciweavers

1316 search results - page 171 / 264
» Intelligent Agents: Issues and Logics
Sort
View
KR
2004
Springer
15 years 3 months ago
A First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
Ernest Davis
DEON
2006
Springer
15 years 1 months ago
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
Jan Broersen
PRIMA
2007
Springer
15 years 4 months ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida
PROMAS
2004
Springer
15 years 3 months ago
OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
Virginia Dignum, Javier Vázquez-Salceda, Fr...
AOSE
2001
Springer
15 years 2 months ago
A Lifecycle for Models of Large Multi-agent Systems
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
Wamberto Weber Vasconcelos, David Stuart Robertson...