Sarit Kraus facts for kids
Quick facts for kids
Sarit Kraus
|
|
|---|---|
| שרית קראוס | |
 |
|
| Born | 1960 |
| Alma mater | Hebrew University of Jerusalem |
| Known for | multiagent systems, non-monotonic reasoning |
| Spouse(s) | Yitzchak Kraus |
| Awards | IJCAI Computers and Thought Award (1995) ACM Fellow (2014) |
| Scientific career | |
| Institutions | Bar-Ilan University |
| Doctoral advisor | Daniel Lehmann |
Sarit Kraus (born in 1960) is a brilliant professor of computer science at Bar-Ilan University in Israel. She is famous for her amazing work in artificial intelligence (AI). Professor Kraus has made big contributions to how multiagent systems work. These are groups of smart computer programs or robots that work together. She also studies how humans and computers interact. Her work includes autonomous agents (smart computer programs that can act on their own) and non-monotonic reasoning (a way for AI to think and learn). She is a respected leader in these exciting areas.
Contents
About Sarit Kraus
Sarit Kraus was born in Jerusalem, Israel. She earned her Ph.D. in Computer Science in 1989. This was from Hebrew University. Her supervisor was Professor Daniel Lehmann. Sarit Kraus is married to Professor Yitzchak Kraus. They have five children.
Her Work in Computer Science
Professor Kraus has made many important discoveries. Her work has greatly influenced several areas of computer science. She is especially known for her contributions to multiagent systems. These systems involve many agents, like computer programs or robots, working together. She also made breakthroughs in non-monotonic reasoning.
How Agents Negotiate and Interact
One of her key contributions is in strategic negotiation. This is about how agents can make deals. Her research was among the first to combine game theory (which studies how people make decisions in competitive situations) with artificial intelligence.
She also started new research on automated agents that negotiate with people. She showed that these agents must be tested with real humans. She created Diplomat, the first automated agent that could negotiate well with people. After Diplomat, she developed other agents. These agents interact well with people. They use smart decision-making and machine learning (where computers learn from data). This helps them deal with people who don't always act perfectly logically.
Because of Professor Kraus's work, others have started to create automated agents. These agents can negotiate and interact with humans. Her research has become the top standard for studying negotiation. This includes negotiation between agents and between agents and humans. Her work has even interested people in political science, psychology, and economics.
Agents Working Together
Professor Kraus also brought a new idea to the multi-agent field. She showed how individual, self-interested agents can cooperate. She developed ways for them to form teams or "coalitions." This was a very different idea from what most people thought then. At the time, many believed that all agents in a system should always cooperate fully.
Her idea of individualism is important. It helps control how agents behave in open environments. An example is online marketplaces.
Working with Barbara J. Grosz from Harvard, Professor Kraus created a theory for collaborative planning. It's called SharedPlans. This theory helps design agents that can work together. It also helps answer basic questions about teamwork.
SharedPlans explains what a group of agents needs to have a shared goal. It describes how groups and individuals make decisions. It also shows how agents' thoughts and plans can change over time. It covers important relationships between agents, like teammates or helpers. Because SharedPlans is so detailed and well-defined, it has been used as a base for many other projects. It is now widely used in fields like robotics and human-machine interaction.
Non-Monotonic Reasoning
Professor Kraus is also highly recognized for her work in Non-Monotonic Reasoning. She is the main author of a very important paper in this area, known as "KLM." This paper has had a huge impact on how logic is understood in computer science.
Professor Kraus has worked with 131 different researchers. They come from all over the world and from many different subjects. She has written a book about negotiations. She has also co-authored two other books.
Real-World Impact
Professor Kraus's research has not only helped other scientists. It has also led to real-world solutions. Her work has helped create actual systems that use ideas from academia.
For example, she helped develop a new way to use randomized policies for security. This was with researchers from USC. This smart method combines game theory and optimization. It makes security better for robots and multi-agent systems. It has been used at the Los Angeles International Airport since 2007.
Her research on formal models of collaboration is used in advanced simulation technology. It also helps create tools that support teams. She also helped develop a virtual speech therapist for a hospital in Israel. This system is now used for treatment by several Israeli health organizations.
She also created the Colored Trails game environment with Barbara Grosz. This game helps researchers study how people make decisions. It is used by many universities. It is even used to train astronauts.
More recently, she has worked on systems that can negotiate and argue with people. Her research on culture-sensitive agents has led to many agents for cross-culture teamwork. These agents have successfully interacted with hundreds of people. These people were in America, the Far East, and the Middle East. They all thought they were talking to a person, not a computer agent.
Her work on virtual humans has led to a system for the Israeli police. This system trains police officers to interview witnesses and suspects. It uses virtual psychological models of suspects. This makes the virtual suspect give different answers.
Recently, she developed a smart agent that helps a person work with a team of low-cost robots. Finally, she worked with the Israeli GM center. They developed a system that gives drivers advice. This advice helps with decisions that have different, sometimes conflicting, goals.
Awards and Recognition
Professor Sarit Kraus has received many important awards for her work:
- 1995: IJCAI-95 Computers and Thought Award. This award is given every two years to an "outstanding young scientist."
- 2002: AAAI Fellow.
- 2007: ACM/SIGART Autonomous Agents Research Award. This award recognizes excellent research in autonomous agents.
- 2007: IFAAMAS Influential Paper Award with Barbara Grosz.
- 2008: ECCAI Fellow.
- 2009: Special commendations from the city of Los Angeles. This was for creating the ARMOR security scheduling system.
- 2010: "Women of the year" of Emuna.
- 2010: EMET prize.
- 2012: Elected to Academia Europaea.
- 2014: IFAAMAS Influential Paper Award with Onn Shehory.
- 2014: ACM Fellow. This was for her contributions to artificial intelligence. It included multi-agent systems, human-agent interaction, and non-monotonic reasoning.
- 2020: ACM 2020-2021 ACM Athena Lecturer. This was for her foundational contributions to artificial intelligence. It also recognized her excellent service and leadership in these fields.
- 2023: IJCAI Award for Research Excellence.
See also
In Spanish: Sarit Kraus para niños
