Promises kept, promises broken: An axiomatic and quantitative treatment of fulfillment

G. I. Simari*, M. Broecheler, V. S. Subrahmanian, Sarit Kraus

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

In this paper, we propose a theoretical framework within which to evaluate the reliability of promises that an agent makes, based on past performance of the agent. Our framework does not just propose one such measure, but defines axioms that govern the choice of measure. The framework is able to account for partial fulfillment of promises, late fulfillment of promises, fulfillment of variants of promises, and the like. Within this framework, we propose some specific measures to evaluate promises made by agents and develop algorithms to compute these efficiently. We tested our methods on a real world data set of airline flight information and show that our methods are both accurate and quickly computable, even on large data sets.

Original languageEnglish (US)
Title of host publicationPrinciples of Knowledge Representation and Reasoning
Subtitle of host publicationProceedings of the 11th International Conference, KR 2008
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages59-68
Number of pages10
ISBN (Print)9781577353843
StatePublished - 2008
Externally publishedYes
Event11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 - Sydney, NSW, Australia
Duration: Sep 16 2008Sep 19 2008

Publication series

NameProceedings of the International Conference on Knowledge Representation and Reasoning
ISSN (Print)2334-1025
ISSN (Electronic)2334-1033

Conference

Conference11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008
Country/TerritoryAustralia
CitySydney, NSW
Period9/16/089/19/08

ASJC Scopus subject areas

  • Logic

Fingerprint

Dive into the research topics of 'Promises kept, promises broken: An axiomatic and quantitative treatment of fulfillment'. Together they form a unique fingerprint.

Cite this