Philosophy theory artificial intelligence (113 résultats)

Etat : New.

Softcover. Etat : Very Good. Very Good paperback with some cover rubbing and creasing to the first page. Pages 135-229, unmarked. Lichty: On Knowing the Unknowable How Far Can Artificial Intelligence Go? ; Ecr R7r; 8vo 8" - 9" tall.

Hardcover. Etat : Fine.

hardcover. Etat : New. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).

Etat : New.

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

Etat : As New. Unread book in perfect condition.

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Hardback. Etat : New. Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science.The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy.…

hardcover. Etat : Very Good.

Hardcover. Etat : Good condition. good condition,fast ship.

Hardcover. Etat : Brand New. 220 pages. 9.00x6.00x0.56 inches. In Stock.

hardcover. Etat : Fine.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI safety; and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing. …

Etat : New.

Etat : New. pp. 328.

Taschenbuch. Etat : Neu. Philosophy and Theory of Artificial Intelligence 2017 | Vincent C. Müller | Taschenbuch | Studies in Applied Philosophy, Epistemology and Rational Ethics | ix | Englisch | 2019 | Springer | EAN 9783030071943 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Etat : New.

Etat : New.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New.

Etat : New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Etat : As New. Unread book in perfect condition.

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI safety; and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing.…

Etat : As New. Unread book in perfect condition.

Etat : New.