نتایج جستجو برای: natural semantic metalanguage approach
تعداد نتایج: 1782435 فیلتر نتایج به سال:
Verification of functional correctness of control programs is an essential task for the development of space electronics; it is difficult and time-consuming and typically outweighs design and programming tasks in terms of development hours. We present a verification approach designed to help spacecraft engineers reduce the effort required for formal verification of low-level control programs ex...
abstract the aim of this study was threefold: (1) to investigate the relationship between knowledge of semantic prosody and efl learners general language proficiency; (2) to examine the relationship between qualitative as well as quantitative knowledge of words, and (3) to compare the performance of efl learner on receptive and productive measures of semantic prosody. the study is based on a...
Description Logics (DLs) provide a clear and broadly accepted paradigm for modeling and reasoning about terminological knowledge. However, it has been often noted, that although DLs are well-suited for representing a single, global viewpoint on an application domain, they offer no formal grounding for dealing with knowledge pertaining to multiple heterogeneous viewpoints — a scenario ever more ...
Automatic identification of words with semantic roles (such as Agent, Patient, Source, etc.) in sentences and attaching correct semantic roles to them, may lead to improvement in many natural language processing tasks including information extraction, question answering, text summarization and machine translation. Semantic role labeling systems usually take advantage of syntactic parsing and th...
Illustrating the theoretical background of this chapter, I will rst make some preliminary remarks, covering referential and structural semantic theory in linguistics, before second I will sketch the course of my approach in analyzing and describing natural language meaning within the frame of a pragmatically based generative model of structural semantics. Finally and third I will give some exam...
This book must be the most thorough and comprehensive up-to-date account of restricted vocabularies English language. In Introduction, author formulates six research questions, which partly aim at design different vocabularies, and, focus on effectiveness definitions based vocabularies. Chapter 1 traces development back to 17th century outlines important stages such as Isaac Pitman's Kaeding's ...
Abstract We may suppose that the truth predicate we utilize in our semantic metalanguage is a two-place relating sentences to contexts, truth-in-context-X predicate. Seeming paradoxes pertaining can be blocked by placing restrictions on structure of contexts. While contexts must specify domain and what context constant denotes relative context, no belong its own domain. A generalization restric...
The Information Flow Framework (IFF) is a descriptive category metatheory currently under development that provides an important practical application of category theory. It is an experiment in foundations, which follows a bottom-up approach to logical description. The IFF forms the structural aspect of the IEEE P1600.1 Standard Upper Ontology (SUO) project. The categorical approach of the IFF ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید