Skip to main content Accessibility help
×
Hostname: page-component-586b7cd67f-2plfb Total loading time: 0 Render date: 2024-12-07T11:43:53.576Z Has data issue: false hasContentIssue false

10 - Deduction as Search

Published online by Cambridge University Press:  30 April 2024

Deepak Khemani
Affiliation:
IIT Madras, Chennai
Get access

Summary

An intelligent agent must be aware of the world it is operating in. This awareness comes mainly via perception. Human beings use the senses of sight, sound, and touch to update themselves. However, the entire world is not perceptible to any of us. Our senses have limitations. We cannot hear the dog whistle, or see the bacteria living on our skin or the mountain on the other side of the world. But through science and communication we know about the worlds beyond our sensory reach. Telescopes from Galileo to James Webb have delivered spectacular images of the universe, some taken in the infrared band in the spectrum. We augment whatever we know by making inferences. The conclusions we draw may be sound or they may be speculative yet useful. Evolution has preserved in us both kinds of inference making capability.

The world is dynamic and has other agencies making changes in the world too. If we observe something we may guess the cause or intention behind it. This kind of speculation is called abduction. The conclusion is possibly true, maybe even likely. If we see the local bully striding towards us, we may suspect ill intent on his part, and take evasive action. Better safe than sorry. If we develop a cough and fever, we may fear Covid and isolate ourselves from others. When we observe a few white swans, we may conclude that all swans are white. This is called induction. Neither abduction nor induction is always sound. Conclusions we draw may not always hold. But they are eminently useful.

In this chapter we study deduction, a form of inference that is sound. The conclusions that we draw using deduction are necessarily true. The machinery we use is the language of logic and the ability to derive proofs. We highlight the fact that behind deduction the fundamental activity is searching for a proof.

Logic and mathematics are often considered to be synonymous. Both are concerned with truth of statements. In this chapter we confine ourselves to the family of classical logics, also known as mathematical logics, in which every sentence has exactly two possible truth values – true and false. Nothing in between. No fuzzy concepts like tall and dark. Is a person whose height is 176 centimetres tall? What about 175 then? And 174? When does she become not tall? Or modalities like maybe.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2024

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Deduction as Search
  • Deepak Khemani, IIT Madras, Chennai
  • Book: Search Methods in Artificial Intelligence
  • Online publication: 30 April 2024
  • Chapter DOI: https://doi.org/10.1017/9781009284325.011
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • Deduction as Search
  • Deepak Khemani, IIT Madras, Chennai
  • Book: Search Methods in Artificial Intelligence
  • Online publication: 30 April 2024
  • Chapter DOI: https://doi.org/10.1017/9781009284325.011
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • Deduction as Search
  • Deepak Khemani, IIT Madras, Chennai
  • Book: Search Methods in Artificial Intelligence
  • Online publication: 30 April 2024
  • Chapter DOI: https://doi.org/10.1017/9781009284325.011
Available formats
×