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.
CITATION STYLE
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
Mendeley helps you to discover research relevant for your work.