Inicio > > Ciencias de la computación > Inteligencia artificial > Mechanizing Hypothesis Formation
Mechanizing Hypothesis Formation

Mechanizing Hypothesis Formation

P. Hajek / T. Havranek

65,70 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1978
Materia
Inteligencia artificial
ISBN:
9783540087380
65,70 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE’ ,'Can computers think?' is specified to the question ,'Can computers formulate and justify hypotheses?' Various attempts have been made to answer the latter question positively. The present book is one such attempt. Our aim is not to formalize and mechanize the whole domain of inductive reasoning. Our ultimate question is: Can computers formulate and justify scientific hypotheses? Can they comprehend empirical data and process them rationally, using the apparatus of modern mathematical logic and statistics to try to produce a rational image of the observed empirical world? Theories of hypothesis formation are sometimes called logics of discovery. Plotkin divides a logic of discovery into a logic of induction: studying the notion of justification of a hypothesis, and a logic of suggestion: studying methods of suggesting reasonable hypotheses. We use this division for the organization of the present book: Chapter I is introductory and explains the subject of our logic of discovery. The rest falls into two parts: Part A - a logic of induction, and Part B - a logic of suggestion.

Artículos relacionados

  • Artificial Cognition Systems
    ...
  • Cross-Disciplinary Applications of Artificial Intelligence and Pattern Recognition
    Vijay Kumar Mago
    The need for intelligent machines in areas such as medical diagnostics, biometric security systems, and image processing motivates researchers to develop and explore new techniques, algorithms, and applications in this evolving field. Cross-Disciplinary Applications of Artificial Intelligence and Pattern Recognition: Advancing Technologies provides a common platform for researc...
  • Emerging Applications of Natural Language Processing
    Over the last few years, the area of Natural Language Processing has drastically grown in recognition, not only within the research and development community, but also with industry professionals. As NLP continues to be discussed and researched, certain areas continue to grow and mature. As a result, the need for advanced research and information is in high demand. Emerging App...
  • Androids, Cyborgs, and Robots in Contemporary Culture and Society
    Steven John Thompson
    Mankind’s dependence on artificial intelligence and robotics is increasing rapidly as technology becomes more advanced. Finding a way to seamlessly intertwine these two worlds will help boost productivity in society and aid in a variety of ways in modern civilization. Androids, Cyborgs, and Robots in Contemporary Culture and Society is an essential scholarly resource that delve...
  • Deep Learning Innovations and Their Convergence With Big Data
    The expansion of digital data has transformed various sectors of business such as healthcare, industrial manufacturing, and transportation. A new way of solving business problems has emerged through the use of machine learning techniques in conjunction with big data analytics. Deep Learning Innovations and Their Convergence With Big Data is a pivotal reference for the latest sc...
  • Computational Psychoanalysis and Formal Bi-Logic Frameworks
    Giuseppe Iurato
    Computational psychoanalysis is a new field stemming from Freudian psychoanalysis. The new area aims to understand the primary formal structures and running mechanisms of the unconscious while implementing them into computer sciences. Computational Psychoanalysis and Formal Bi-Logic Frameworks provides emerging information on this new field which uses psychoanalysis and the unc...