Computational complexity of some intelligent computing systems

Emmanuel M. Tadjouddine*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Abstract

Purpose – As agent-based systems are increasingly used to model real-life applications such as the internet, electronic markets or disaster management scenarios, it is important to study the computational complexity of such usually combinatorial systems with respect to some desirable properties. The purpose of this paper is to consider two computational models: graphical games encoding the interactions between rational and selfish agents; and weighted directed acyclic graphs (DAG) for evaluating derivatives of numerical functions. The author studies the complexity of a certain number of search problems in both models. Design/methodology/approach – The author's approach is essentially theoretical, studying the problem of verifying game-theoretic properties for graphical games representing interactions between self-motivated and rational agents, as well as the problem of searching for an optimal elimination ordering in a weighted DAG for evaluating derivatives of functions represented by computer programs. Findings – A certain class of games has been identified for which Nash or Bayesian Nash equilibria can be verified in polynomial time; then, it has been shown that verifying a dominant strategy equilibrium is non-deterministic polynomial (NP)-complete even for normal form games. Finally, it has been shown that the optimal vertex elimination ordering for weighted DAGs is NP-complete. Originality/value – This paper presents a general framework for graphical games. The presented results are novel and illustrate how modeling real-life scenarios involving intelligent agents can lead to computationally hard problems while showing interesting cases that are tractable.

Original languageEnglish
Pages (from-to)144-159
Number of pages16
JournalInternational Journal of Intelligent Computing and Cybernetics
Volume4
Issue number2
DOIs
Publication statusPublished - 7 Jun 2011

Keywords

  • Artificial intelligence
  • Game theory
  • Intelligent agents
  • Knowledge engineering
  • Systems and control theory

Fingerprint

Dive into the research topics of 'Computational complexity of some intelligent computing systems'. Together they form a unique fingerprint.

Cite this