Logical languages were developed for humans, with the main objective of stating what is a correct argument. Artificial Intelligence (AI) provided a new motivation and application domain for logicians. The main demand of AI to logics is to provide a formal language, a semantics, and a set of proof procedures that allow us to represent the various aspects of knowledge, and to reason about it. AI artifacts, such as robots, agents, “intelligent” programs, etc. act in a (sometimes virtual) world, and take decisions on the basis of what they “know” about this world. Here the need arises to be able to represent and use knowledge. Hence, speaking of Logics for AI largely means speaking of “Knowledge Representation and Reasoning.”
Logics for artificial intelligence / Carlucci, Luigia; Enrico, Giunchiglia; Luciano, Serafini. - In: INTELLIGENZA ARTIFICIALE. - ISSN 1724-8035. - STAMPA. - III 1/2:(2006), pp. 7-13.
Logics for artificial intelligence
CARLUCCI, Luigia;
2006
Abstract
Logical languages were developed for humans, with the main objective of stating what is a correct argument. Artificial Intelligence (AI) provided a new motivation and application domain for logicians. The main demand of AI to logics is to provide a formal language, a semantics, and a set of proof procedures that allow us to represent the various aspects of knowledge, and to reason about it. AI artifacts, such as robots, agents, “intelligent” programs, etc. act in a (sometimes virtual) world, and take decisions on the basis of what they “know” about this world. Here the need arises to be able to represent and use knowledge. Hence, speaking of Logics for AI largely means speaking of “Knowledge Representation and Reasoning.”I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
