Arrow Research search

Author name cluster

Amit Chopra

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

6 papers
1 author row

Possible papers

6

AAAI Conference 2020 Conference Paper

Clouseau: Generating Communication Protocols from Commitments

  • Munindar Singh
  • Amit Chopra

Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents’ local views remain consistent; and (3) live—ensures the agents can proceed to completion.

PDF Details

AAAI Conference 2015 Conference Paper

Cupid: Commitments in Relational Algebra

  • Amit Chopra
  • Munindar Singh

We propose Cupid, a language for specifying commitments that supports their information-centric aspects, and offers crucial benefits. One, Cupid is first-order, enabling a systematic treatment of commitment instances. Two, Cupid supports features needed for real-world scenarios such as deadlines, nested commitments, and complex event expressions for capturing the lifecycle of commitment instances. Three, Cupid maps to relational database queries and thus provides a setbased semantics for retrieving commitment instances in states such as being violated, discharged, and so on. We prove that Cupid queries are safe. Four, to aid commitment modelers, we propose the notion of well-identified commitments, and finitely violable and finitely expirable commitments. We give syntactic restrictions for obtaining such commitments.

PDF Details

AAMAS Conference 2010 Conference Paper

Reasoning about Agents and Protocols via Goals and Commitments

  • Amit Chopra
  • Fabiano Dalpiaz
  • Paolo Giorgini
  • John Mylopoulos

This paper seeks to combine two largely independent threadsof multiagent systems research—agent specification and protocols. We specify agents in terms of goal models (as used inTropos). We specify protocols in terms of the commitmentsamong agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agentspecification and a protocol, the semantics helps us performtwo kinds of verification: (1) whether the protocol supportsachieving particular agent goals, and (2) whether the agent'sspecification supports the satisfaction of particular commitments.

PDF

AAMAS Conference 2008 Conference Paper

Constitutive Interoperability

  • Amit Chopra
  • Munindar Singh

Commitments have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interoperation is approached from the standpoint of data exchange or of messaging. We use commitments to characterize interoperability in high-level terms: at the level of the communications among agents. Specifically, two agents are interoperable if their commitments align. Drawing upon Kant’s famous distinction, we distinguish between two kinds of interoperability, constitutive and regulative. Constitutive interoperability takes into account solely the meaning of messages whereas regulative interoperability also takes into consideration message order, occurrence, and data flow. We present a language for specifying agents constitutively and a decision procedure for determining their interoperability.

PDF
v2026.09.13