Results 11  20
of
33
ConstraintBased Semantics
, 1991
"... Montague's famous characterization of the homomorphic relation between syntax and semantics naturally gives way in computational applications to constraintbased formulations. This was originally motivated by the close harmony it provides with syntax, which is universally processed in a constra ..."
Abstract

Cited by 20 (4 self)
 Add to MetaCart
Montague's famous characterization of the homomorphic relation between syntax and semantics naturally gives way in computational applications to constraintbased formulations. This was originally motivated by the close harmony it provides with syntax, which is universally processed in a constraintbased fashion. Employing the same processing discipline in syntax and semantics allows that their processing (and indeed other processing) can be as tightly coupled as one wishes  indeed, there needn't be any fundamental distinction between them at all. In this paper, we point out several advantages of the constraintbased view of semantics processing over standard views. These include (i) the opportunity to incorporate nonsyntactic constraints on semantics, such as those arising from phonology and context; (ii) the opportunity to formulate principles which generalize over syntax and semantics, such as those found in headdriven phrase structure grammar; (iii) a characterization of semantic ...
Is There a Genuine Modal Perspective on Feature Structures?
, 1996
"... This paper is formal and quite difficult for readers untrained in modal logic; I have no illusions about this and I apologize in advance if I fail to make things as clear and simple as I should. I do believe, however, that much of the complexity in this paper is unavoidable and anything that is simp ..."
Abstract

Cited by 18 (6 self)
 Add to MetaCart
This paper is formal and quite difficult for readers untrained in modal logic; I have no illusions about this and I apologize in advance if I fail to make things as clear and simple as I should. I do believe, however, that much of the complexity in this paper is unavoidable and anything that is simpler will be so at the cost of precision. Almost everything will be defined here, so that the discussion will on the whole be selfcontained. But this is really not to say much when it come to mathematical topics. The reader who is seriously interested should perhaps read an introductory book on modal logic and the lucid survey article [ Bull and Segerberg, 1984 ] to get enough background. I can also recommend [ Blackburn, 1993 ] as an introduction into modal logic in connection with avms. It is impossible to go through all technical proofs in great detail; this would be tantamount to writing a book on this topic. But, I hope, the line of argumentation can be understood even without a proper understanding of the technical points. For the message is of wider importance. If I am right, then modal logic, where it fails, fails necessarily Is there a genuine modal perspective on feature structures? 3  and no other framework I know of will not under these circumstances. Secondly, it provides enough technical apparatus to allow to prove significant results. To those who remain unimpressed I can only appeal to their sense of beauty and naturalness. Among the persons who have quite generally helped to shape my views on syntax and logic I wish to thank explicitly those who have contributed to the present paper. These are Mark Ellison and two anonymous referees, who had the questionable pleasure of reading an earlier version of this paper. Moreover, the results on modal feature logic...
Hybridizing Concept Languages
 Annals of Mathematics and Artificial Intelligence
"... This paper shows how to increase the expressivity of concept languages using a strategy called hybridization. Building on the wellknown correspondences between modal and description logics, two hybrid languages are dened. These languages are called `hybrid' because, as well as the familiar ..."
Abstract

Cited by 17 (8 self)
 Add to MetaCart
This paper shows how to increase the expressivity of concept languages using a strategy called hybridization. Building on the wellknown correspondences between modal and description logics, two hybrid languages are dened. These languages are called `hybrid' because, as well as the familiar propositional variables and modal operators, they also contain variables across individuals and a binder that binds these variables. As is shown, combining aspects of modal and rstorder logic in this manner allows the expressivity of concept languages to be boosted in a natural way, making it possible to dene number restrictions, collections of individuals, irreexivity of roles, and TBox and ABoxstatements. Subsequent addition of the universal modality allows the notion of subsumption to internalized, and enables the representation of queries to arbitrary rstorder knowledge bases. The paper notes themes shared by the hybrid and concept language literatures, and draws attention t...
Structures, Languages and Translations: the Structural Approach to Feature Logic
 Constraints, Language and Computation
, 1994
"... This paper discusses an approach to feature logic called the structural approach. The method consists in first viewing feature structures as models (or relational structures) in the standard model theoretic sense, and then going on to consider various languages that can be interpeted on these struct ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
(Show Context)
This paper discusses an approach to feature logic called the structural approach. The method consists in first viewing feature structures as models (or relational structures) in the standard model theoretic sense, and then going on to consider various languages that can be interpeted on these structures and the way these languages are interrelated. It will be shown that the structural approach offers...
Bringing them all Together
, 2001
"... this paper, Jerry Seligman takes us on an interesting journey. The satisfaction denition of most modal operators is specied in terms of rstorder conditions. Hence we can always obtain a complete calculus for the basic logic characterizing any collection of such operators by appealing to a calculus ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
(Show Context)
this paper, Jerry Seligman takes us on an interesting journey. The satisfaction denition of most modal operators is specied in terms of rstorder conditions. Hence we can always obtain a complete calculus for the basic logic characterizing any collection of such operators by appealing to a calculus which is complete for the full rstorder language. Seligman shows here that by making use of the expressiveness provided by the hybrid apparatus, we can, step by step, transform a rstorder sequent calculus into an internalized sequent calculus specically tailored for a particular hybrid fragment
Fibred Semantics for FeatureBased Grammar Logic
, 1994
"... This paper gives a simple method for providing categorial brands of featurebased unification grammars with a modeltheoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see [15]) in order to combine the two components of a featurebased grammar logic. We ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
This paper gives a simple method for providing categorial brands of featurebased unification grammars with a modeltheoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see [15]) in order to combine the two components of a featurebased grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Roundsstyle feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, i.e. the basic syntactic types, by formulas of the second. Modelling such a combined logic is less trivial than one might expect. The direct application of the fibred semantics method where a combined atomic formula like np(num:sg & pers:3rd) denotes those strings which have the indicated property and the categorial operators denote the usual left and rightresiduals of these string sets, does not match the intuitive, unificationbased proof theory. Unification implements a global bookkeeping w...
Fine Grained Theories of Time
 In Working Papers of the 4 th Intl. Workshop on Semantics of Time, Space, Movement, and SpatioTemporal Reasoning
, 1992
"... this paper tries to takes it seriously. The sorted systems considered here were not developed for use in AI; they are parts of richer languages designed with the needs of natural language semantics in mind (see Blackburn [5, 8]). Only subsequently was it observed that these systems oered an interest ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
(Show Context)
this paper tries to takes it seriously. The sorted systems considered here were not developed for use in AI; they are parts of richer languages designed with the needs of natural language semantics in mind (see Blackburn [5, 8]). Only subsequently was it observed that these systems oered an interesting perspective on temporal knowledge representation.
Order Independent Typed Default Unification
, 1995
"... We describe an order independent typed default unification function, which allows default reentrancies and values on more general types to be overridden by conflicting default information on more specific types. This therefore extends the order independent default unification operations in Young and ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We describe an order independent typed default unification function, which allows default reentrancies and values on more general types to be overridden by conflicting default information on more specific types. This therefore extends the order independent default unification operations in Young and Rounds (1993) and Lascarides et al. (in press), thereby increasing the range of linguistic generalisations that can be expressed.