An Attributive Logic of Set Descriptions and Set Operations

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.

[1]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[2]  S. K. Manandhar.  Relational extensions to feature logic : applications to constraint based grammars , 1994 .

[3]  Harry R. Lewis,et al.  Complexity Results for Classes of Quantificational Formulas , 1980, J. Comput. Syst. Sci..

[4]  Carl Pollard,et al.  Unifying partial descriptions of sets , 1990 .

[5]  Ivan A. Sag,et al.  Book Reviews: Head-driven Phrase Structure Grammar and German in Head-driven Phrase-structure Grammar , 1996, CL.

[6]  Ivan A. Sag,et al.  Information-based syntax and semantics , 1987 .

[7]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[8]  Gert Smolkaz,et al.  Deenite Relations over Constraint Languages , 1988 .

[9]  Gert Smolka,et al.  Attributive Concept Descriptions with Unions and Complements , 1989, IWBS Report.

[10]  Mark Johnson,et al.  Features and Formulae , 1991, CL.

[11]  Rémi Zajac,et al.  Inheritance and Constraint-Based Grammar Formalisms , 1992, Comput. Linguistics.

[12]  Robert T. Kasper,et al.  A Logical Semantics for Feature Structures , 1986, ACL.

[13]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[14]  William C. Rounds.  Set values for unification-based grammar formalisms and logic programming , 1988 .

[15]  Bernhard Nebel,et al.  Attribute Description Formalisms ... and the Rest of the World , 1991, Text Understanding in LILOG.

[16]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[17]  Manfred Schmidt-Schauß,et al.  Subsumption in KL-ONE is Undecidable , 1989, KR.

[18]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[19]  Ivan A. Sag,et al.  Information-Based Syntax and Semantics: Volume 1, Fundamentals , 1987 .

[20]  Michael Dorna,et al.  CUF - A Formalism for Linguistic Knowledge Representation , 1993 .

[21]  Gert Smolka,et al.  Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..

[22]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.

[23]  W. Nutt,et al.  Subsumption algorithms for concept languages , 1990 .

[24]  Josef van Genabith,et al.  Experiments in Reusability of Grammatical Resources , 1993, EACL.

[25]  Gert Smolka,et al.  A Feature Logic with Subsorts , 1988, LILOG-Report.

[26]  Bob Carpenter,et al.  The logic of typed feature structures , 1992 .