Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > projects > gtap >

Tools: Drucken


Project: Game-Theoretic Agent Programming

supported by the Austrian Science Fund (FWF) under project number P18146 (see also TUWIS++)


Contents


Project Team

Goal of the Project

The main goal of the project is to develop high-level formalisms and techniques for programming systems of multiple agents in uncertain and partially observable environments. We want to develop such agent programming languages by combining formalisms from reasoning about actions (which have nice software engineering features), planning under uncertainty (for modeling uncertainty and partial observability), and game theory (for modeling cooperation and competition in multi-agent systems). More precisely, we aim at an approach where the logic-oriented languages for reasoning about actions around Golog and around the action language C+ are combined with multi-agent variants of POMDPs and with partially observable Markov games, for cooperation and competition, respectively (in which planning under uncertainty and partial observability is combined with game theory). We plan to design algorithms that are based on reductions to answer set programming, and to develop implementations on top of existing answer set programming technology, such as DLV and SMODELS.

Results of the Project

The most important results of the project concentrate around the agent programming languages POGTGolog and TeamGolog, which are the first approaches in the literature to combine agent programming in Golog (on top of the situation calculus) with planning under uncertainty and game theory (in partially observable stochastic games). Another important result is the adaptive agent programming language AGTGolog, which is the first approach in the literature to combine agent programming in Golog with planning under uncertainty, game theory, and reinforcement learning. More specifically, our results on POGTGolog, TeamGolog, and AGTGolog are briefly summarized as follows:

Other innovative results of the project are (1) the combination of the language for reasoning about actions C+ with partially observable stochastic games, and (2) an exploration of applications of game-theoretic agent programming in e-commerce and in the Semantic Web, which are briefly summarized as follows:

Refereed Conference Papers

[1]
Alberto Finzi and Thomas Lukasiewicz
Structure-Based Causes and Explanations in the Independent Choice Logic
In C. Meek and U. Kjaerulff, editors, Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI 2003), pp. 225-232, Acapulco, Mexico, August 2003. Morgan Kaufmann, 2003.
[2]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog
In R. López de Mántaras and L. Saitta, editors, Proceedings of the 16th biennial European Conference on Artificial Intelligence (ECAI 2004), pp. 23-27, Valencia, Spain, August 2004. IOS Press, 2004.
[3]
Alberto Finzi and Thomas Lukasiewicz
Relational Markov Games
In J. Alferes and J. Leite, editors, Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), pp. 320-333, Lisbon, Portugal, September 2004. Volume 3229 of Lecture Notes in Computer Science, Springer, 2004.
[4]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog under Partial Observability
In P. Gmytrasiewicz and S. Parsons, editors, Proceedings of the IJCAI-2005 Workshop on Game-Theoretic and Decision-Theoretic Agents (GTDT 2005), July 2005.
[5]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Golog under Partial Observability
In F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. Pechoucek, M. Singh, D. Steiner, S. Thompson, and M. Wooldridge, editors, Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 1301-1302, Utrecht, The Netherlands, July 2005. ACM Press, 2005.
[6]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories
In C. Baral, G. Greco, N. Leone, and G. Terracina, editors, Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005), pp. 185-197, Diamante, Cosenza, Italy, September 2005. Volume 3662 of Lecture Notes in Computer Science, Springer, 2005.
[7]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog under Partial Observability
In C. Freksa, M. Kohlhase, and K. Schill, editors, Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), pp. 113-127, Bremen, Germany, June 2006. Volume 4314 of Lecture Notes in Computer Science, Springer, 2007.
[8]
Alberto Finzi and Thomas Lukasiewicz
Adaptive Multi-Agent Programming in GTGolog
In C. Freksa, M. Kohlhase, and K. Schill, editors, Proceedings of the 29th Annual German Conference on Artificial Intelligence (KI 2006), pp. 389-403, Bremen, Germany, June 2006. Volume 4314 of Lecture Notes in Computer Science, Springer, 2007.
[9]
Alberto Finzi and Thomas Lukasiewicz
Adaptive Multi-Agent Programming in GTGolog
In G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, editors, Proceedings of the 17th biennial European Conference on Artificial Intelligence (ECAI 2006), pp. 753-754, Riva del Garda, Italy, August/September 2006. IOS Press, 2006.
[10]
Alessandro Farinelli, Alberto Finzi, and Thomas Lukasiewicz
Team Programming in Golog under Partial Observability
In M. M. Veloso, editor, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2097-2102, Hyderabad, India, January 2007. AAAI Press / IJCAI, 2007.
[11]
Andrea Calì and Thomas Lukasiewicz
Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
In V. Dahl and I. Niemelä, editors, Proceedings of the 23rd International Conference on Logic Programming (ICLP 2007), pp. 428-429, Porto, Portugal, September 2007. Volume 4670 of Lecture Notes in Computer Science, Springer, 2007.
[12]
Thomas Lukasiewicz
Tractable Probabilistic Description Logic Programs
In H. Prade and V.S. Subrahmanian, editors, Proceedings of the 1st International Conference on Scalable Uncertainty Management (SUM 2007), pp. 143-156, Washington DC, USA, October 2007. Volume 4772 of Lecture Notes in Computer Science, Springer, 2007.
[13]
Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
A Framework for Representing Ontology Mappings under Probabilities and Inconsistency
In F. Bobillo, P. Costa, C. d'Amato, N. Fanizzi, F. Fung, T. Lukasiewicz, T. Martin, M. Nickles, Y. Peng, M. Pool, P. Smrž, and P. Vojtáš, editors, Proceedings of the ISWC-2007 Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007), Busan, Korea, November 2007. Volume 327 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.
[14]
Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, and Heiner Stuckenschmidt
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
In S. Hartmann and G. Kern-Isberner, editors, Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2008), pp. 178-198, Pisa, Italy, February 2008. Volume 4932 of Lecture Notes in Computer Science, Springer, 2008.
[15]
Thomas Lukasiewicz and Azzurra Ragone
Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web
Accepted for publication in Proceedings of the 2nd International Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (SMRR 2008), Karlsruhe, Germany, October 2008.

Technical Reports

[16]
Alberto Finzi and Thomas Lukasiewicz
Structure-Based Causes and Explanations in the Independent Choice Logic
Technical Report Nr. 1843-03-06, Institut für Informationssysteme, Technische Universität Wien, April 2003.
[17]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Agent Programming in Golog
Technical Report Nr. 1843-04-02, Institut für Informationssysteme, Technische Universität Wien, April 2007.
[18]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Golog under Partial Observability
Technical Report Nr. 1843-05-02, Institut für Informationssysteme, Technische Universität Wien, December 2006.
[19]
Alberto Finzi and Thomas Lukasiewicz
Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories
Technical Report Nr. 1843-05-04, Institut für Informationssysteme, Technische Universität Wien, June 2005.
[20]
Andrea Calì and Thomas Lukasiewicz
Tightly Integrated Probabilistic Description Logic Programs
Technical Report Nr. 1843-07-05, Institut für Informationssysteme, Technische Universität Wien, March 2007.
[21]
Alessandro Farinelli, Alberto Finzi, and Thomas Lukasiewicz
Team Programming in Golog under Partial Observability
Technical Report Nr. 1843-08-04, Institut für Informationssysteme, Technische Universität Wien, May 2008.
[22]
Alberto Finzi and Thomas Lukasiewicz
Adaptive Game-Theoretic Agent Programming in Golog
Technical Report Nr. 1843-08-07, Institut für Informationssysteme, Technische Universität Wien, August 2008.
[23]
Thomas Lukasiewicz and Azzurra Ragone
Combining Boolean Games with the Power of Ontologies for Automated Multi-Attribute Negotiation in the Semantic Web
Technical Report Nr. 1843-08-08, Institut für Informationssysteme, Technische Universität Wien, August 2008.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.