logical structures » logical structure (توسيع البحث), lexical structures (توسيع البحث), local structures (توسيع البحث)
structures new » structures de (توسيع البحث), structures et (توسيع البحث), structures anne (توسيع البحث)
new case » new base (توسيع البحث), new class (توسيع البحث), new lease (توسيع البحث)
Transparent Logics. Small Differences with Huge Consequences /
:
The book presents Transparent Intensional Logic in several of its latest realisations in such a way that it makes a case for the system and demonstrates how the theory can be applied to a wide range of cases. The work strikes a good balance betw
:
1 online resource (266 pages) : illustrations. :
Includes bibliographical references and index. :
9789004703346
The search for a theory of cognition : early mechanisms and new ideas /
:
The book brings into relief the variety of approaches and disciplines that have informed the quest for a theory of cognition. The center of interest are the historical, geographical, and theoretical peripheries of classic AI's mainstream research program. The twelve chapters bring back into focus the variety of strategies and theoretical questions that researchers explored while working toward a scientific theory of cognition and pre-cognition. The volume is organized in four parts, each one including three essays. The first one deals with cybernetics, the approach that may be considered as the most important periphery of classic AI research. The second part focuses on the geographical periphery of AI research. It examines how the theories and techniques developed on AI's home ground were translated into countries with different cultures and traditions: Italy, France, and the Soviet Union. The third part focuses on AI's periphery understood in the cultural and historical meaning of the term. It contains essays that locate some of the central concepts of AI, like representation and computability, within a broader philosophical (Descartes, Aristotle, Leibniz) and technical background (programming theory and practice). The fourth and final part of the volume is focused directly on the limitation of Turing's classic computability theory and its possible alternatives, some of which were studied in the early years of AI's research (e.g. Ashby's re-entrant information model), while others have been intensely studied in recent times (quantum automata).
:
1 online resource (xxvii, 375 pages) : illustrations. :
Includes bibliographical references (p. 313-351) and index. :
9789401207157 :
Available to subscribing member institutions only.
Calculating Ethics in the Fourteenth Century /
:
Calculating Ethics in the Fourteenth Century addresses a moment in the history of ethics, when discoveries in natural philosophy blurred the boundary between the possible and the impossible, and made the impossible a preferred territory in discussions on practical reason. The volume studies the onset and expansion of a new movement in constructing ethics, as the methods, arguments, and cases adopted from logic and natural philosophy came to be extensively applied at Oxford and swiftly disseminated among other Oxonians eventually making their way outside Oxford. It shows how the Oxford Calculators triggered a unique and durable transformation in ethics. Contributors are Pascale Bermon, Valeria Buffon, Michael W. Dunne, Marek Gensler, Simon Kemp, Edit A. Lukács, Monika MichaÅ,owska, and Andrea Nannini.
:
1 online resource (368 pages) : illustrations. :
Includes bibliographical references and index. :
9789004696495