Advertisement
Published in:
2021 | OriginalPaper | Chapter
9. More Patterns of Reasoning
Authors : Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
Published in: Introduction to Computation
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
So far you’ve seen how to use rules to combine valid sequents into simple deductive arguments about statements of the form “every a is b”. Sometimes the antecedents and/or consequent of a sequent involved negation, to allow statements like “every a is not b”. You’re now going to learn how to build arguments that also take account of invalid sequents, which relies on a different kind of negation. This provides new ways of reasoning, as well as allowing arguments about existence of things that satisfy predicates (“some a is b”). Let’s start by looking at a simple example of commonsense reasoning. We’ll start by making an underlying assumption that Fiona is old enough to buy alcohol.