Preventing existence

4Citations
Citations of this article
9Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We discuss the treatment of prevention statements in both natural language semantics and knowledge representation, with particular regard to existence entailments. First order representations with an explicit existence predicate are shown to not adequately capture the en tailments of prevention statements. A linguistic analysis is framed in a higher order in tensional logic, employing a Fregean notion of existence as instantiation of a concept. We discuss how this can be mapped to a Cyc style knowledge representation.

Cite

CITATION STYLE

APA

Condoravdi, C., Everett, J., Stolle, R., Crouch, D., Paiva, V., Bobrow, D., & Van den Berg, M. (2001). Preventing existence. In Formal Ontology in Information Systems: Collected Papers from the Second International Conference (pp. 162–173). Association for Computing Machinery (ACM). https://doi.org/10.1145/505168.505184

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free