Formal Foundations of an Intensional Propositional Semantic Network*

Abstract

The discussion in this paper will be compatible with that in [21], but will not dwell on the specific representations used to implement SNePS/CASSIE, a particular computational (model of a) 111i11cl. 11.at.lier, this paper will deal with the logical foundations underlying SNePS/CASSIE and any other agent representable in SNePS. The issues to be addressed… (More)

Topics

Cite this paper

@inproceedings{ShapiroFormalFO, title={Formal Foundations of an Intensional Propositional Semantic Network*}, author={Stuart C. Shapiro} }