Table of Contents
SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning
Abstract
Presentation Approach
Outline
Twenty Questions
Twenty Questions in FOPL?
andor
Twenty Questions in SNePSLOG
Twenty Questions in SNePSLOG II
Equivalent Statements
Equivalent Statements in FOPL?
thresh
thresh Abbreviation
Equivalent Statementsin SNePSLOG 1
Equivalent Statementsin SNePSLOG 2
Putative Inclusive or
orentailment
Hilda and Kathy in SNePSLOG
Outline
Disappointed Voter Problem
Hillary and Elizabeth Vote
FOPL Disappointment
Unique Variable Binding Rule (UVBR)
Outline
Sisters
Sisters in FOPL
Reduction Inference
Sisters in SNePSLOG
Outline
Inadequacy of FOPL 1
Term Logic
SNePSLOG Transitivity Rule
Inadequacy of FOPL 2
Quantifying Over Propositions
Outline
Opaque Contexts
Intensional Representation
Uniqueness Principle
McCarthy’s Telephone Number Problem
Correct Answer to Telephone Number Problem
Outline
Reasoning by Elimination
Numerical Quantifiers
Numerical QuantifierRule of Inference 1
Numerical QuantifierRule of Inference 2
Numerical Quantifier Forms
Reasoning by Eliminationin SNePSLOG 1
Reasoning by Eliminationin SNePSLOG 2
Committee Problem Answer
Outline
Contexts
Pegasus in the Real and Mythological Worlds
Bellerophon in the Real and Mythological Worlds
Initialize Mythology
Riding in the Real World
Riding in Mythology
Outline
Relevance Logic:A Paraconsistent Logic
Opus Flies and Doesn’t
Opus is Feathered and Swims, but the Earth isn’t Flat
The Inconsistent Belief Space
Outline
Information Provided by Real People
Circular Definitions
Using a Circular Definition
Recursive Rules
Using a Recursive Rule
In the Other Direction
Summary
Basic SNePS Principles
Specialized Syntax
Specialized Inference Rules
Specialized Semantics
Specialized Inference Mechanism
For More Information
