- Заглавие:
Logics for artificial intelligence
- Автор:
Turner R.
- Место издания:
Chichester
- Издатель:
E. Horwood
- Дата издания:
1984
- Объём:
121 p. : ill.
- Серия:
Ellis Horwood series in artificial intelligence
- Сведения о содержании:
Contents: Modality and dynamic logic -- 3-values logics and their computational interpretations -- Intuitionistic logic: Martin-Lofs theory of types -- Towards a semantic theory of non-monotonic inference -- Temporal logic in artificial intelligence -- Fuzzy logic and expert systems -- Other logics and future prospects.
- Аннотация:
In Logics for Artificial Intelligence, Raymond Turner leads us on a whirl-wind tour of nonstandard logics and their general applications to Al and computer science.
- Язык текста:
Английский
Библиографический источник
Logics for artificial intelligence
Raymond Turner