Sciweavers

651 search results - page 114 / 131
» Reasoning about agent deliberation
Sort
View
CLIMA
2007
13 years 11 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
WOA
2003
13 years 11 months ago
Towards the Improvement of Monitoring and Control Agencies through Knowledge-Based Approaches
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
Matteo Palmonari, Fabio Sartori
SYNTHESE
2008
114views more  SYNTHESE 2008»
13 years 10 months ago
Quantified coalition logic
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
IFIPTM
2010
117views Management» more  IFIPTM 2010»
13 years 8 months ago
Leveraging a Social Network of Trust for Promoting Honesty in E-Marketplaces
Abstract. In this paper, we examine a trust-based framework for promoting honesty in e-marketplaces that relies on buyers forming social networks to share reputation ratings of sel...
Jie Zhang, Robin Cohen, Kate Larson
JAIR
2011
72views more  JAIR 2011»
13 years 5 months ago
A Logical Study of Partial Entailment
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
Y. Zhou, Y. Zhang