A multi-agent system is a computerized system composed of multiple interacting intelligent agents. Multi-agent systems can solve problems that are difficult or impossible for an individual agent or a monolithic system to solve. Intelligence may include methodic, functional, procedural approaches, algorithmic search or reinforcement learning.
Deontic logic is the field of philosophical logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. It can be used to formalize imperative logic, or directive modality in natural languages. Typically, a deontic logic uses OA to mean it is obligatory that A, and PA to mean it is permitted that A, which is defined as .
Legal informatics is an area within information science.
The belief–desire–intention software model (BDI) is a software model developed for programming intelligent agents. Superficially characterized by the implementation of an agent's beliefs, desires and intentions, it actually uses these concepts to solve a particular problem in agent programming. In essence, it provides a mechanism for separating the activity of selecting a plan from the execution of currently active plans. Consequently, BDI agents are able to balance the time spent on deliberating about plans and executing those plans. A third activity, creating the plans in the first place (planning), is not within the scope of the model, and is left to the system designer and programmer.
Kazem Sadegh-Zadeh was a German analytic philosopher of medicine of Iranian descent. He was the first ever professor of philosophy of medicine at a German university and has made significant contributions to the philosophy, methodology, and logic of medicine since 1970.
In computer science multi-agent planning involves coordinating the resources and activities of multiple agents.
David Clement Makinson, is an Australian mathematical logician living in London, England.
The University of Luxembourg is a public research university in Luxembourg.
Norms can be considered from different perspectives in artificial intelligence to create computers and computer software that are capable of intelligent behaviour.
Walter Alexandre Carnielli is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the State University of Campinas (UNICAMP). With Bachelor and M.Sc. degrees in mathematics at the State University of Campinas in Campinas he obtained his Ph.D. in 1984 from the same university under the supervision of Newton da Costa and subsequently worked as a postdoc at the University of California at Berkeley as a Research Fellow, following an invitation by Leon Henkin.
In computer science, alternating-time temporal logic, or ATL, is a branching-time temporal logic that extends computation tree logic (CTL) to multiple players. ATL naturally describes computations of multi-agent systems and concurrent games. Quantification in ATL is over program-paths that are possible outcomes of games. ATL uses alternating-time formulas to construct model-checkers in order to address problems such as receptiveness, realizability, and controllability.
Sarit Kraus is a professor of computer science at the Bar-Ilan University in Israel. She was named the 2020-2021 ACM Athena Lecturer recognising her contributions to artificial intelligence, notably to multiagent systems, human-agent interaction, autonomous agents and nonmonotonic reasoning, in addition to exemplary service and leadership in these fields.
The International Conference on Autonomous Agents and Multiagent Systems or AAMAS is the leading scientific conference for research in the areas of artificial intelligence, autonomous agents, and multiagent systems. It is annually organized by a non-profit organization called the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
Rosaria Conte was an Italian social scientist. She was the head of the Laboratory of Agent Based Social Simulation at the ISTC-CNR in Rome, which hosts an interdisciplinary research group working at the intersection among cognitive, social and computational sciences. She was President of European Social Simulation Association and AISC. Rosaria Conte published more than 130 works among volumes, papers in scientific journals, conference proceedings and book chapters. Her scientific activity aims at explaining social behaviour among intelligent autonomous systems, and modeling the dynamics of norms and norm-enforcement mechanisms. Her research was characterized by a highly interdisciplinary approach, at the intersection among cognitive, social and computational sciences. In her name, the European Social Simulation Association assigns every other year the Outstanding Contribution Award for Social Simulation, whose first recipients are Nigel Gilbert and Uri Wilensky.
Jeroen van den Hoven is a Dutch ethicist and a philosophy professor at Delft University of Technology. He specializes in ethics of information technology.
Cristiano Castelfranchi is an Associate Researcher at the Institute of Psychology of the Italian National Research Council. He teaches Cognitive Psychology and Artificial Intelligence at the University of Siena. In 2003, he was made a fellow at the European Coordinating Committee for Artificial Intelligence for pioneering work in Artificial Intelligence.
Barbara J. Grosz CorrFRSE is an American computer scientist and Higgins Professor of Natural Sciences at Harvard University. She has made seminal contributions to the fields of natural language processing and multi-agent systems. With Alison Simmons, she is co-founder of the Embedded EthiCS programme at Harvard, which embeds ethics lessons into computer science courses.
Franciscus Petrus Maria (Frank) Dignum is a Dutch computer scientist. He is currently a Professor of Socially-Aware AI at Umeå University and an associate professor at the Department of Information and Computing Sciences of the Utrecht University. Dignum is best known from his work on software agents, multi-agent systems and fundamental aspects of social agents.
Michael John Wooldridge is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in systems composed of multiple self-interested agents. His work is characterised by the use of techniques from computational logic, game theory, and social choice theory.
Takayuki Ito is a Japanese computer scientist who specialized in the fields of artificial intelligence and multi-agent systems. He worked as assistant professor in the computer science department of Japan Advanced Institute of Science and Technology from 2001 until 2003, served as associate professor in the computer science department of Nagoya Institute of Technology (2006–2014), worked as full professor in the computer science department of Nagoya Institute of Technology (2014–2020). He also served as chair of the department (2016–2018)and also director the NITech Artificial Intelligence Research Center at Nagoya Institute of Technology.
