An Attributive Logic of Set Descriptions and Set Operations

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership constraints, restricted universal role quantifications, set union, intersection, subset and disjointness. A sound, complete and terminating consistency checking procedure is provided to determine the consistency of any given term in the logic. It is shown that determining consistency of terms is a NP-complete problem.
8 pages, epsf.sty, leqno.sty, LaTeX, ACL'94

Keywords

Computation and Language

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/150982

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cmp-lg/9405031
 http://arxiv.org/abs/cmp-lg/9405031

Collections

arXiv