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 Statements in SNePSLOG 1
Equivalent Statements in SNePSLOG 2
Putative Inclusive or
or-entailment
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 Quantifier Rule of Inference 1
Numerical Quantifier Rule of Inference 2
Numerical Quantifier Forms
Reasoning by Elimination in SNePSLOG 1
Reasoning by Elimination in 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
|