Intensional First-Order Logic: From AI to New SQL Big Data, Zoran Majkic

Автор: Zoran Majkic
Название: Intensional First-Order Logic: From AI to New SQL Big Data
ISBN: 3110981467 ISBN-13(EAN): 9783110981469
Издательство: Walter de Gruyter
Рейтинг:
Цена: 25848.00 р.
Наличие на складе: Нет в наличии.

Описание:

This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order Logic (IFOL). This extension allows for intensional semantics to be used for concepts, thus affording new and more intelligent IT systems. Insofar as it is conservative, it preserves software applications and constitutes a fundamental advance relative to the current RDB databases, Big Data with NewSQL, Constraint databases, P2P systems, and Semantic Web applications. Moreover, the many-valued version of IFOL can support the AI applications based on many-valued logics.

Автор: Paul Thom
Название: Robert Kilwardby`s Science of Logic: A Thirteenth-Century Intensional Logic
ISBN: 9004408460 ISBN-13(EAN): 9789004408463
Издательство: Brill
Цена: 24108.00 р.
Наличие на складе: Поставка под заказ.

Описание: Paul Thom’s book presents Kilwardby’s science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on that in virtue of which the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion of essence. Thom interprets this science as a formal logic of intensions with its own proof theory and semantics. This comprehensive reconstruction of Kilwardby’s logic shows the medieval master to be one of the most interesting logicians of the thirteenth century.

Автор: Zalta, Edward
Название: Intensional Logic And Me
ISBN: 0262519526 ISBN-13(EAN): 9780262519526
Издательство: MIT Press
Рейтинг:
Цена: 5079.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Maarten de Rijke
Название: Diamonds and Defaults
ISBN: 0792323424 ISBN-13(EAN): 9780792323426
Издательство: Springer
Рейтинг:
Цена: 28929.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Features papers which are derived from presentations at the Amsterdam Seminar on Intensional Logic, written by researchers from philosophical and mathematical logic, artificial intelligence and computational linguistics. This volume is aimed at researchers and students in logic, both pure and applied, and artificial intelligence.

Автор: Maarten de Rijke
Название: Advances in Intensional Logic
ISBN: 0792347110 ISBN-13(EAN): 9780792347118
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Identifies important developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy, and computer science. The main themes of this book are proof theory, descriptive uses, applications, and foundations of intensional logic.

Автор: Domenico Ursino
Название: Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
ISBN: 3540433473 ISBN-13(EAN): 9783540433477
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text is a comprehensive approach to the construction and the management of co-operative information systems. From input database schemes describing the information content of multiple sources, the techniques presented yield a structured and integrated description of the information content.

Автор: Dunn J. Michael
Название: The Algebra of Intensional Logics
ISBN: 1848903189 ISBN-13(EAN): 9781848903180
Издательство: Неизвестно
Рейтинг:
Цена: 3311.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Olga Kagan
Название: Semantics of Genitive Objects in Russian
ISBN: 9401781958 ISBN-13(EAN): 9789401781954
Издательство: Springer
Рейтинг:
Цена: 18866.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Shedding new light on this perplexing object-case alternation in Russian, this book analyzes two variants of genitive objects that alternate with accusative complements: the genitive of negation and the intensional genitive.

Автор: Kahle, Reinhard
Название: Intensionality
ISBN: 156881268X ISBN-13(EAN): 9781568812687
Издательство: Taylor&Francis
Рейтинг:
Цена: 7348.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Maarten de Rijke
Название: Advances in Intensional Logic
ISBN: 9048148979 ISBN-13(EAN): 9789048148974
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Martin Hofmann
Название: Extensional Constructs in Intensional Type Theory
ISBN: 1447112431 ISBN-13(EAN): 9781447112433
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

Автор: F. Heny
Название: Ambiguities in Intensional Contexts
ISBN: 9027711674 ISBN-13(EAN): 9789027711670
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The essays in this book deal with a number of problems in the analysis of intensional language - more especially with the analysis of the personal modalities in natural language.