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.
Автор: Zoran Majkic Название: Intensional First-Order Logic: From AI to New SQL Big Data ISBN: 3110994941 ISBN-13(EAN): 9783110994940 Издательство: Walter de Gruyter Рейтинг: Цена: 27884.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’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.
Автор: 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.
Автор: Maarten de Rijke Название: Diamonds and Defaults ISBN: 9048142865 ISBN-13(EAN): 9789048142866 Издательство: Springer Рейтинг: Цена: 28929.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a selection of papers presented at a Seminar on Intensional Logic held at the University of Amsterdam during the period September 1990-May 1991.
Автор: Dunn J. Michael Название: The Algebra of Intensional Logics ISBN: 1848903189 ISBN-13(EAN): 9781848903180 Издательство: Неизвестно Рейтинг: Цена: 3311.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.
Автор: 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).
Автор: Philip Hugly; C. Sayward Название: Intensionality and Truth ISBN: 9401066175 ISBN-13(EAN): 9789401066174 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Prior`s view on intensionality and truth is based on the principle that sentences never name, that what sentences say cannot be otherwise signified, that a sentence says what it says whatever the type of its occurrence, and that sentential quantification is neither eliminable, substitutional, nor referential.
Автор: Parsons Название: Theories of Intensionality ISBN: 9811024820 ISBN-13(EAN): 9789811024825 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with (A) the intersubstitution salva veritate of co-extensional expressions, and (B) existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these problems. The book examines four kinds of intensionalist approaches: the Fregean approach (including Church's formalisation of Frege's theory); the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest. The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items (usually sentences) rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism.
Автор: F. Heny Название: Ambiguities in Intensional Contexts ISBN: 9027711682 ISBN-13(EAN): 9789027711687 Издательство: Springer Рейтинг: Цена: 9357.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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
