## Notes Information

Login / Sign Up to View Document

## Sample Document Text

. The appeal of logic as knowledge
representation
. Logic as "applied AI"
. Styles of working with logic
Automated theorem proving
Automated proof checking
Logic programming
Propositional Logic
. Only "atomic" propositions (P, Q, etc.) with
binary truth values
. Connectives AND, OR, NOT, IMPLIES
. Values of sentences are determined as
functions of the truth values of individual
propositions.
. Rules of inference: modus ponens,
commutativity, etc.
. Standard issues in propositional logic:
satisfiability, contradiction, tautology,
implication, equivalence.
Solving Problems in Propositional Logic
. Satisfiability is a search problem (and is
NP-complete)
. Brute force: truth table method
. Strategies: most constraining variable,
heuristic repair
First-Order Predicate Calculus
. We introduce objects and properties:
Beau [object]
Furry [property]
. Predicates (or relations) are true/false
statements about objects:
Furry(Beau)
Four-footed(Beau)
. Functions are applied to objects to ...

## Related Documents

Propositional Logic Notes

Definite Truth Values Notes

Propositional Notes

Either...or Notes

Either...or Notes

Propositional Exam

Function Symbols Notes

Complete Formulas Notes

Computer Representation Exam

Either...or Exam

Locutionary Notes

Either...or Exam

Propositional Exam

Assumptions Notes

Inference Rules Notes

Alcoholic Beverage Notes

© Copyright 2020 , Koofers, Inc. All rights reserved.

The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.