Sarit Kraus

from Wikipedia, the free encyclopedia
Sarit Kraus

Sarit Kraus (* 1960 in Jerusalem ) is an Israeli computer scientist who deals with artificial intelligence .

Kraus studied mathematics and computer science at the Hebrew University in Jerusalem with a bachelor's degree in 1982, a master's degree in 1983 and a doctorate with Daniel Lehmann in 1989 (Planning and Communication in a Multi Agent Environment). Part of the dissertation was a program that played the game Diplomacy , which led her to investigations into the application of game theory and non-classical (non-monotonous) logic to automated negotiation. From 1984 to 1988 she was also an instructor there. As a post-doctoral student , she was at the University of Maryland (where she was visiting professor in 1989/90 and 1997/98) and Stanford University (1989). She became Senior Lecturer in 1991, Associate Professor in 1995 and Professor at Bar Ilan University in 2001 . There she headed the Computer Science Faculty from 2016. She is also an adjunct professor at the University of Maryland.

It deals with multi- agent systems and specifically the question of how best to create intelligent agents that work well with people (cooperative and in conflict). To do this, she also models human behavior in order to predict the behavior of people in interaction and formal models for decision-making processes of agents. It takes an interdisciplinary approach (machine learning, decision theory, game theory, non-classical logic, optimization under uncertainty, psychology).

In 1995 she received the IJCAI Computers and Thought Award . She is a Fellow of the AAAI and the Association for Computing Machinery for contributions to Artificial Intelligence, including multi-agent systems, human-agent interaction, and non-monotonous inference . In 2012 she became a member of the Academia Europaea . In 2011 she received an Advanced Grant from the ERC (for the project: Computers argue with people). In 2010 she received the EMET Prize .

She is married to Yitzchak Kraus (Professor of Midrasha at Bar Ilan University) and has five children.

Fonts

  • with Barbara Grosz : Collaborative Plans for Complex Group Action, Artificial Intelligence, Volume 86, 1996, pp. 269-357
  • with Onn Shehory: Methods for task allocation via agent coalition formation, Artificial Intelligence, Volume 101, 1998, pp. 165-200
  • with D. Lehmann, Menachem Magidor : Nonmonotonic reasoning, preferential models and cumulative logics, Artificial intelligence, Volume 44, 1990, pp. 167-207
  • with K. Sycara, A. Evenchik: Reaching agreements through argumentation: a logical model and implementation, Artificial Intelligence, Volume 104, 1998, pp. 1-69
  • Strategic negotiation in multiagent environments, MIT Press 2001
  • Negotiation and cooperation in multi-agent environments, Artificial intelligence, Volume 94, 1997, pp. 79-97
  • with J. Wilkenfeld, G. Zlotkin: Multiagent negotiation under time constraints, Artificial intelligence, Volume 75, 1995, pp. 297-345

Web links