Heterogeneous temporal probabilistic agents

Jürgen Dix*, Sarit Kraus, V. S. Subrahmanian

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


To date, there has been no work on temporal probabilistic agent reasoning on top of heterogeneous legacy databases and software modules. We will define the concept of a heterogeneous temporal probabilistic (HTP) agent. Such agents can be built on top of existing databases, data structures, and software code bases without explicitly accessing the internal code of those systems and can take actions compatible with a policy or operating principles specified by an agent developer. We will develop a formal semantics for such agents through the notion of a feasible temporal probabilistic status interpretation (FTPSI for short). Intuitively, an FTPSI specifies what all an HTP agent is permitted/forbidden/obliged to do at various times t. As changes occur in the environment, the HTP agent must compute a new FTPSI. HTP agents continuously compute FTPSIs in order to determine what they should do and, hence, the problem of computing FTPSIs is very important. We give a sound and complete algorithm to compute FTPSIs for a very large class of HTP agents called strict HTP agents. In a given state, many FTPSIs may exist. These represent alternative courses of action that the HTP agent can take. We provide a notion of an optimal FTPSI that selects an FTPSI optimizing an objective function and give a sound and complete algorithm to compute an optimal FTPSI.

Original languageEnglish (US)
Pages (from-to)151-198
Number of pages48
JournalACM Transactions on Computational Logic
Issue number1
StatePublished - 2006
Externally publishedYes


  • Logic programming
  • Multiagent reasoning
  • Probabilistic reasoning
  • Temporal reasoning
  • Uncertainty

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science
  • Logic
  • Computational Mathematics


Dive into the research topics of 'Heterogeneous temporal probabilistic agents'. Together they form a unique fingerprint.

Cite this