A newcomer to the SNePS family . Once a premise is no longer asserted, the conclusions that depended on it are no longer asserted in that context. The current version of SNePS allows ordinary deductive reasoning. Default rules allow the system to infer probable conclusions in the absence of specific information to the contrary. We propose to explore techniques for fully automating it.
Cassie uses SNeBR to revise beliefs about the meanings of words.
We are exploring techniques for full automation. Psychological Evidence Psychological research on how humans store and access word meanings and expand their vocabularies once the basics of language have been acquired informs and supports our theory. The inference rules allow the deduction of side effects of change but we cannot write a formula representing that some proposition is a side effect of a mutation. A newcomer to the SNePS family .