Premium
COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS
Author(s) -
Fisher Michael,
Bordini Rafael H.,
Hirsch Benjamin,
Torroni Paolo
Publication year - 2007
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.1467-8640.2007.00295.x
Subject(s) - clarity , computer science , dependability , consistency (knowledge bases) , cover (algebra) , field (mathematics) , data science , logical framework , road map , risk analysis (engineering) , software engineering , artificial intelligence , engineering , programming language , mechanical engineering , medicine , biochemistry , chemistry , mathematics , cartography , pure mathematics , geography
The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. However, with dependability and safety in mind, it is vital that the mechanisms for representing and implementing agents are clear and consistent. Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation. Such a logical basis not only presents the clarity and consistency required but also allows for important techniques such as logical verification to be applied. We present a road map of research into the use of computational logic in agent‐based systems and survey much of the recent work in these areas. Even though, with such a rapidly changing field, it is impossible to cover every development, we aim to give the reader sufficient background to understand the current research problems and potential future developments in this maturing area.