Results 221 to 230 of about 33,700 (262)

Fuzzy Logic in Artificial Intelligence

Lecture Notes in Computer Science, 1993
exaly   +2 more sources

Editorial – Artificial Intelligence in Logic Design

Artificial Intelligence Review, 2003
This issue represents a collection of selected “pieces” created by “masters” in the area of logic design. Although relatively few people in the world participate in the research on artificial intelligence aspects of digital design, this is no impairment to the truly original research.
openaire   +1 more source

Logics For Artificial Intelligence.

Intelligenza Artificiale, 2006
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 ...
L. C. Aiello, E. Giunchiglia, Serafini, Luciano   +2 more
openaire   +1 more source

Artificial Intelligence Logic and Applications

Communications in Computer and Information Science
exaly   +3 more sources

Temporal Logic in Artificial Intelligence

1985
The real world problems which are raised by the formalization of time within the context of artificial intelligence systems are extremely difficult and have been swept under the carpet by many AI researchers for many years. Only over the last few years has there been an increasing interest for time related problems and really hard problems have been ...
openaire   +1 more source

Distributed Logic Programming for Artificial Intelligence

AI Communications, 1991
A major problem in implementing distributed intelligent systems is to achieve a proper distribution of data and control. As a vehicle for the implementation of distributed knowledge based systems, the distributed logic programming language DLP is introduced. DLP combines logic programming with object oriented features including inheritance.
openaire   +1 more source

Artificial Intelligence through Logic?

AI Communications, 1994
The arguments for and against the use of logic in artificial intelligence are discussed, including the argument on the declarative versus procedural view of knowledge. The author sees that both arguments regarding the suitability or unsuitability of logic for AI have their merits.
openaire   +1 more source

Logic and artificial intelligence: A new synthesis?

Fundam. Informaticae, 1993
The history of ideal reasoning, and that of pseudo-ideal reasoning is reviewed. Objections to ideal and pseudo-ideal reasoning are considered and then, the author turns to what may be a third synthesis: situated reasoning.
openaire   +1 more source

Logics for Artificial Intelligence

IEEE Expert, 1986
Raymond Turner, Will Norman
openaire   +1 more source

Artificial Intelligence and Fuzzy Logic

2020
This chapter is a short introduction to artificial intelligence and a synthesis of the theoretical and mathematical foundations of fuzzy logic and fuzzy sets.
openaire   +1 more source