Where can I find the formal semantics of CycL defined? I've looked over the documentation at www.opencyc.org, and it describes the semantics only rather vaguely and informally. The OE manual pays a lot of attention to syntax, but says very little about semantics. Nor have I had any luck searching on Google for any paper giving CycL's formal semantics.
The reason I ask is because CycL isn't *quite* first-order predicate logic... and I want to understand exactly how it differs. For example, what semantic significance (affecting the meanings of sentences) do argument-type assertions have? What is the real difference between a collection and a set? (The tutorial mentions that sets are defined by extension, whereas collections are defined by extension... but doesn't explain this with any precision.)
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Where can I find the formal semantics of CycL defined? I've looked over the documentation at www.opencyc.org, and it describes the semantics only rather vaguely and informally. The OE manual pays a lot of attention to syntax, but says very little about semantics. Nor have I had any luck searching on Google for any paper giving CycL's formal semantics.
The reason I ask is because CycL isn't *quite* first-order predicate logic... and I want to understand exactly how it differs. For example, what semantic significance (affecting the meanings of sentences) do argument-type assertions have? What is the real difference between a collection and a set? (The tutorial mentions that sets are defined by extension, whereas collections are defined by extension... but doesn't explain this with any precision.)