Class notes
Knowledge Representation - Logic ( Artificial Intelligence ) : COMPUTER SCIENCE
- Institution
- Massachusetts Institute Of Technology
The syntax: Vocabulary: A set of propositional symbols - e.g., P, Q, … A set of logical connectives or operators usually (OR), (AND), ¬ (NOT), (implication), maybe (equivalence), Parenthesis (for grouping) The special symbols True, False (logical c...
[Show more]