Abstract
We have already mentioned Nilsson’s example [66, p. 162] of the intelligent dolphins in this book in sect. 1.1, example 1.1.5, and in sect. 17.3.2. The complete treatment of the dolphin example in the chain set logic is given in sect. 17.3.2 here. It illustrates a typical conditional EXIST problem. Furthermore it illustrates an EXIST inference in the chain set logic which differs somewhat from the inference of predicate calculus. The difference is due to a symmetry of representation in predicate calculus between ‘dolphins’ and ‘intelligent object’ for the sentence ‘There exist some intelligent dolphins’. In contrast, in the chain set logic the representation is asymmetric.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hisdal née Gruenwald, E. (1998). Conditional and Joint Existence Information and Inferences. In: Logical Structures for Representation of Knowledge and Uncertainty. Studies in Fuzziness and Soft Computing, vol 14. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1887-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-7908-1887-1_17
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-2458-2
Online ISBN: 978-3-7908-1887-1
eBook Packages: Springer Book Archive