Situations, Language and Logic

Fenstad, Jens Erik; Halvorsen, Per-Kristian; Langholm, Tore; Benthem, Johan van

doi:10.1007/978-94-009-1335-6

Cited by 94 publications

(46 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This approach was inspired by the theory proposed by Barwise et al [17]. They have tried to give theoretical semantics model of natural language in a formal logic system.…”

Section: C0: Ist ( Context -Of ( Sherlock Holmes Stories) Holmes Is mentioning

confidence: 99%

See 1 more Smart Citation

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

Ameyed¹,

Miraoui²,

Tadj³

2016

ijacsa

View full text Add to dashboard Cite

Abstract-Pervasive context-aware computing, is one of the topics that received particular attention from researchers. The context, itself is an important notion explored in many works discussing its: acquisition, definition, modelling, reasoning and more. Given the permanent evolution of context-aware systems, context modeling is still a complex task, due to the lack of an adequate, dynamic, formal and relevant context representation. This paper discusses various context modeling approaches and previous logic-based works. It also proposes a preliminary formal spatiotemporal context modelling based on first order logic, derived from the structure of natural languages.

show abstract

“…This approach was inspired by the theory proposed by Barwise et al [17]. They have tried to give theoretical semantics model of natural language in a formal logic system.…”

Section: C0: Ist ( Context -Of ( Sherlock Holmes Stories) Holmes Is mentioning

confidence: 99%

“…One of the first approaches: Situation Theory, was proposed by Barwise and Perry [17]. Situation Theory attempts to cover model-theoretic semantics of natural language in a formal logic system [24].…”

Section: Context Process ( Reasoning)mentioning

confidence: 99%

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

Ameyed¹,

Miraoui²,

Tadj³

2016

ijacsa

View full text Add to dashboard Cite

show abstract

“…Although this sort of representation is generally known under the CLE term "quasi-logical form" (hence: QLF), it is for all intents and purposes just Schubert and Pelletier 1982's "ambiguous logical syntax", or Hobbs and Shieber 1987's "wff's with complex terms", or Fenstad et al 1987's "unscoped situation schemata". The idea of deriving (during parsing) unscoped representations from which scoped formulas could be algorithmically derived is standard (and good) practice among theoretically minded computational semanticists.…”

Section: An Employee Represents Each Departmentmentioning

confidence: 99%

“…Syntax/Semantics interfaces using unification-based or feature-based formalisms may be found in Shieber 1986, Pollard and Sag 1987, Fenstad et al 1987, and Moore 1989. The primary reason for specifying a syntax/semantics interface in feature structures is that it harmonizes so well with the way in which syntax is now normally described; this close harmony means that syntactic and semantic processing (and indeed other processing, see below) can be as tightly coupled as one wishes-indeed, there needn't be any fundamental distinction between them at all.…”

Section: Introductionmentioning

confidence: 99%

A feature-based syntax/semantics interface

Nerbonne¹

1993

Ann Math Artif Intell

View full text Add to dashboard Cite

Syntax/Semantics interfaces using unification-based or feature-based formalisms are increasingly common in the existing computational linguistics literature. The primary reason for attempting to specify a syntax/semantics interface in feature structures is that it harmonizes so well with the way in which syntax is now normally described; this close harmony means that syntactic and semantic processing (and indeed other processing, see below) can be as tightly coupled as one wishes-indeed, there need not be any fundamental distinction between them at all. In this paper, we first point out several advantages of the unification-based view of the syntax/semantics interface over standard views. These include (i) a more flexible relation to nonsyntactic constraints on semantics; (ii) a characterization of semantic ambiguity, which in turn provides a framework in which to describe disambiguation, and (iii) the opportunity to underspecify meanings in a way difficult to reconcile with other views. The last point is illustrated with an application to the notorious scope ambiguity problem.

show abstract

“…Various versions of the theory have been applied to a number of linguistic issues, resulting in what is commonly known as situation semantics [7,8,10,24,31,33,35,58]. The latter aims at the construction of a unified and mathematically rigorous theory of meaning, and the application of such a theory to natural languages.Mathematical and logical issues that arise within situation theory and situation semantics have been explored in numerous works [8,10,12,24,25,33]. In the past, the development of a mathematicM situation theory has been held back by a lack of availability of appropriate technical tools.…”

mentioning

confidence: 99%

Computational situation theory

Tin¹,

Akman²

1994

SIGART Bull.

View full text Add to dashboard Cite

Situation theory has been developed over the last decade and various versions of the theory have been applied to a number of linguistic issues. However, not much work has been Clone in regard to its computational aspects. In this paper, we review the existing approaches towards 'computational situation theory' with considerable emphasis on our own research. IntroductionSituation theory is an attempt to develop a mathematical theory of meaning which will clarify and resolve some tough problems in the study of language, information, logic, philosophy, and the mind [11]. It was first formulated in detail by Jon Barwise and John Perry in 1983 [12] and has matured over the last decade [25]. Various versions of the theory have been applied to a number of linguistic issues, resulting in what is commonly known as situation semantics [7,8,10,24,31,33,35,58]. The latter aims at the construction of a unified and mathematically rigorous theory of meaning, and the application of such a theory to natural languages.Mathematical and logical issues that arise within situation theory and situation semantics have been explored in numerous works [8,10,12,24,25,33]. In the past, the development of a mathematicM situation theory has been held back by a lack of availability of appropriate technical tools. But by now, the theory has assembled its mathematical foundations based on intuitions basicaLly coming from set theory and logic [1,8,24,26]. With a remarkably original view of information (which is fully adapted by situation theory) [28,29], a 'logic,' based not on truth but on information, is being developed [25]. This logic 1 will probably be an extension of first-order logic [5] rather than being an alternative to it.Individuals, properties, relations, spatio-temporal locations, and situations are basic constructs of situation theory. The world is viewed as a collection of objects, sets of objects, properties, and relations. Infons ('unit' facts) [26] are discrete items of information and situations are first-class objects which describe parts of the real world. Information flow is made possible by a network of abstract 'links' between high-order uniformities, viz. situation types. One of the distinguishing characteristics of situation theory vis-£-vis another influential semantic and logical tradition [27] is that 1 According to The Advanced Learner's Dictionary of Current English (by A. S. Hornby, E. V. Gatenby, and H. Wakefield, London, U.K.: Oxford University Press, 1958), logic is the science or art of reasoning, proof, and clear thinking. Thus, the commonly accepted equation logic = first-order logic is highly suspect. (Cf. [6] for an extended argument on this.) information content is context-dependent (where a context is a situation).All these features may be cast in a rich formalism for a computational framework based on situation theory. Yet, there have been few attempts to investigate this [17,33,40,46,49,52,59]. Questions of what it means to do computation with situations and what aspects of the theory makes t...

show abstract

Situations, Language and Logic

Cited by 94 publications

References 0 publications

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

Spatiotemporal Context Modelling in Pervasive Context-Aware Computing Environment: A Logic Perspective

A feature-based syntax/semantics interface

Computational situation theory

Contact Info

Product

Resources

About