Sarit Kraus ( en hebreo : שרית קראוס ; nacida en 1960) es profesora de informática en la Universidad Bar-Ilan de Israel . Fue nombrada profesora ACM Athena 2020-2021 en reconocimiento a sus contribuciones a la inteligencia artificial , en particular a los sistemas multiagente , la interacción humano-agente, los agentes autónomos y el razonamiento no monótono , así como a su liderazgo en estos campos.
Sarit Kraus nació en Jerusalén , Israel. Obtuvo su doctorado en Ciencias de la Computación en la Universidad Hebrea en 1989 bajo la supervisión del profesor Daniel Lehmann. Está casada con el profesor Yitzchak Kraus y tiene cinco hijos. [ cita requerida ]
Kraus ha hecho contribuciones muy influyentes en numerosos subcampos, más notablemente en sistemas multiagente (incluyendo personas y robots) y razonamiento no monótono . Una de sus contribuciones importantes es la negociación estratégica. Su trabajo en esta área es uno de los primeros en integrar la teoría de juegos con la inteligencia artificial . [1] Además, inició una nueva investigación sobre agentes automatizados que negocian con personas, y estableció que estos agentes deben evaluarse mediante experimentos con humanos. En particular, desarrolló Diplomat , el primer agente automatizado que negoció de manera competente con personas. [2] A esto le siguieron otros agentes que interactúan bien con personas mediante la integración de un enfoque de toma de decisiones cualitativo con herramientas de aprendizaje automático , para enfrentar el desafío de que las personas sean racionales limitadas. [3] Basándose en el trabajo de Kraus, otros han comenzado a desarrollar agentes automatizados que negocian e interactúan con personas. En consecuencia, el trabajo de Kraus se ha convertido en el estándar de oro para la investigación en negociación, tanto entre agentes automatizados como entre agentes y humanos. Este trabajo ha provocado la curiosidad de otras comunidades y se publicó en revistas de ciencias políticas, psicología y economía. [4] [5]
Otra contribución influyente de Kraus es la introducción de una dimensión de individualismo en el campo de los agentes múltiples mediante el desarrollo de protocolos y estrategias para la cooperación entre agentes interesados, incluida la formación de coaliciones. Esta visión difería radicalmente del enfoque de agentes totalmente cooperativos, comúnmente adoptado por la comunidad de agentes múltiples (en aquel entonces llamada Inteligencia Artificial Distribuida ). El individualismo es necesario para limitar de manera confiable el comportamiento en entornos abiertos, como los mercados electrónicos. [ cita requerida ]
Junto con Barbara J. Grosz de Harvard, Kraus desarrolló una teoría de referencia para la planificación colaborativa (un modelo TeamWork) llamada SharedPlans , que proporciona especificaciones para el diseño de agentes capaces de colaborar y un marco para identificar e investigar cuestiones fundamentales sobre la colaboración. Especifica las condiciones mínimas para que un grupo de agentes tenga un objetivo conjunto, los procedimientos de toma de decisiones grupales e individuales que se requieren, la forma en que los estados mentales y los planes de los agentes pueden evolucionar con el tiempo y otras diversas relaciones importantes entre los agentes, por ejemplo, compañeros de equipo, subcontratistas, etc. [ cita requerida ] Dada la amplitud de SharedPlans y sus rigurosas especificaciones, ha sido la base de muchos otros trabajos y fue ampliamente adoptado en otros campos (por ejemplo, robótica o interacción hombre-máquina). [ cita requerida ]
Kraus también es muy reconocida por su contribución al área del razonamiento no monótono. Es la primera autora de uno de los artículos más influyentes en el área (KLM). Dentro de la comunidad lógica dominante, la semántica “KLM” ha tenido probablemente el mayor impacto. Según su entrada en DBLP [6], Kraus tiene 131 colaboradores de todo el mundo y de diferentes disciplinas. Es autora de una monografía sobre negociaciones [7] y coautora de otros dos libros. [ cita requerida ]
Las soluciones de Kraus han enriquecido a la comunidad de investigación, pero también han dado frutos prácticos. Su investigación ha inducido al diseño y la construcción de sistemas del mundo real, que han transformado conceptos académicos en realidad. Kraus, junto con Tambe y Ordonez de la USC, desarrolló un enfoque innovador de políticas aleatorias para aplicaciones de seguridad. El algoritmo innovador, que combina la teoría de juegos y los métodos de optimización, mejora el estado del arte en seguridad de la robótica y los sistemas multiagente, y se utiliza en la práctica en el Aeropuerto Internacional de Los Ángeles desde 2007. Su investigación seminal en el área de modelos formales de colaboración se utiliza en tecnología de simulación industrial de vanguardia y herramientas de apoyo en equipo. Su trabajo en el desarrollo del logopeda virtual de Sheba se está utilizando actualmente para el tratamiento de varias HMO israelíes. El entorno de juego Colored Trails que desarrolló junto con Grosz de Harvard proporciona una plataforma para que los investigadores realicen estudios de toma de decisiones y ahora lo utilizan ampliamente investigadores de docenas de universidades, así como para entrenar a astronautas. Entre sus recientes y apasionantes proyectos se encuentran la construcción de sistemas que negocian y argumentan con habilidad con las personas: su investigación sobre agentes sensibles a la cultura ha dado como resultado el desarrollo de numerosos agentes para la colaboración intercultural, con un éxito comprobado en la interacción con cientos de personas en Estados Unidos, el Lejano Oriente y Oriente Medio, todas ellas creyendo que interactuaban con una persona, sin reconocer que en realidad era un agente. Su trabajo sobre humanos virtuales ha llevado al desarrollo de un sistema para la policía israelí que capacita a los agentes de la ley para entrevistar a testigos y sospechosos. En este caso, se desarrollaron modelos psicológicos virtuales del sospechoso, lo que dio lugar a respuestas diversificadas por parte del sospechoso virtual. Recientemente, ha desarrollado un agente inteligente que apoya a un operador que trabaja con un equipo de robots autónomos de bajo coste. Por último, junto con el centro GM israelí, se ha desarrollado un sistema de persuasión que genera asesoramiento para los conductores sobre diversas decisiones diferentes que implican objetivos conflictivos.
Por sus importantes contribuciones al modelado de la negociación, la colaboración y el razonamiento no monótono, incluidos los avances teóricos y las aplicaciones en varios dominios computacionales.