This work is about the progress of previous related work based on an experiment to improve the intelligence of robotic systems,with the aim of achieving more linguistic communication capabilities between humans and ro...This work is about the progress of previous related work based on an experiment to improve the intelligence of robotic systems,with the aim of achieving more linguistic communication capabilities between humans and robots.In this paper,the authors attempt an algorithmic approach to natural language generation through hole semantics and by applying the OMAS-III computational model as a grammatical formalism.In the original work,a technical language is used,while in the later works,this has been replaced by a limited Greek natural language dictionary.This particular effort was made to give the evolving system the ability to ask questions,as well as the authors developed an initial dialogue system using these techniques.The results show that the use of these techniques the authors apply can give us a more sophisticated dialogue system in the future.展开更多
What and how we translate are questions often argued about. No matter what kind of answers one may give, priority in translation should be granted to meaning, especially those meanings that exist in all concerned lang...What and how we translate are questions often argued about. No matter what kind of answers one may give, priority in translation should be granted to meaning, especially those meanings that exist in all concerned languages. This research defines them as universal sememes, and the study of them as universal semantics, of which applications are also briefly looked into.展开更多
The meaning of a word includes a conceptual meaning and a distributive meaning.Word embedding based on distribution suffers from insufficient conceptual semantic representation caused by data sparsity,especially for l...The meaning of a word includes a conceptual meaning and a distributive meaning.Word embedding based on distribution suffers from insufficient conceptual semantic representation caused by data sparsity,especially for low-frequency words.In knowledge bases,manually annotated semantic knowledge is stable and the essential attributes of words are accurately denoted.In this paper,we propose a Conceptual Semantics Enhanced Word Representation(CEWR)model,computing the synset embedding and hypernym embedding of Chinese words based on the Tongyici Cilin thesaurus,and aggregating it with distributed word representation to have both distributed information and the conceptual meaning encoded in the representation of words.We evaluate the CEWR model on two tasks:word similarity computation and short text classification.The Spearman correlation between model results and human judgement are improved to 64.71%,81.84%,and 85.16%on Wordsim297,MC30,and RG65,respectively.Moreover,CEWR improves the F1 score by 3%in the short text classification task.The experimental results show that CEWR can represent words in a more informative approach than distributed word embedding.This proves that conceptual semantics,especially hypernymous information,is a good complement to distributed word representation.展开更多
SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Althoug...SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.展开更多
Cognitive linguistics studies the relationship between language and cognition,which claims that semantics structures reflect the mental categories which people have formed their experiences of growing up and acting in...Cognitive linguistics studies the relationship between language and cognition,which claims that semantics structures reflect the mental categories which people have formed their experiences of growing up and acting in the world.The lexical and semantics combined together to be the foundations of language which makes into people' s communication.As the main branch of cognition,the prototype and stereotype theory have a close relationship to the lexical semantics.Thus,it is essential and useful to make a research on the lexical semantics under the influence of the "prototype and stereotype theory" and it will help a lot in teaching methodology.展开更多
The close relationship between semantics and pragmatics has made it difficult to set a clear boundary between them.Dicussion of the relationship can date back to Morris, whose semiotic trichotomy was taken up by Carna...The close relationship between semantics and pragmatics has made it difficult to set a clear boundary between them.Dicussion of the relationship can date back to Morris, whose semiotic trichotomy was taken up by Carnap. Leech, Levinson, Bach and Huang also tried to make a distinction between the two, but no consensus has been reached.展开更多
Vocabulary teaching is important but difficult in language acquisition and teaching.Language teachers aims at finding a way to help learners acquire the meaning of words without so much difficulties.With the appearanc...Vocabulary teaching is important but difficult in language acquisition and teaching.Language teachers aims at finding a way to help learners acquire the meaning of words without so much difficulties.With the appearance of semantic theories,it is easy for us to reveal the veil of vocabulary learning.This paper introduces some theories of semantics and their application in vocabulary acquisition and teaching put forward some suggestions for vocabulary pedagogy and teaching strategies.展开更多
1. IntroductionHumans have the ability (or competence) to think logically, and this is an undeniable fact. However,what this ability consists in is a difficult question. It might be said that logical ability consists ...1. IntroductionHumans have the ability (or competence) to think logically, and this is an undeniable fact. However,what this ability consists in is a difficult question. It might be said that logical ability consists in theknowledge of a set of logic rules. But what are those logic rules? For centuries logicians have devel-展开更多
Inductive logic programming adopts the standard horn lope program as its logic framework for inductivelearning. Due to the fact, however, that the expressive power of horn logic is relatively limited and the mechansm ...Inductive logic programming adopts the standard horn lope program as its logic framework for inductivelearning. Due to the fact, however, that the expressive power of horn logic is relatively limited and the mechansm ofnegation is mostly that of negation as failure, it is difficult to make full use of negative information and consequentlynot suitable for inductive learning. This Paper adopts nounal lope program as me language of inductive logic programsand presents accordingly a kind of semantics called Limited Negation semantics. The issues of direct denotation andinference of negation in concept induction are solved. The paper shows that LN is directly generalized for the semantics of Well-Founded in die significance Of optional negation and has superior theoretical features, especially the capability Of expressing and processing negation by introducing the constant ’false’. ExperimentS also show that the inductive concepts in learning are accurately interpreted with LN.展开更多
Scene perception and trajectory forecasting are two fundamental challenges that are crucial to a safe and reliable autonomous driving(AD)system.However,most proposed methods aim at addressing one of the two challenges...Scene perception and trajectory forecasting are two fundamental challenges that are crucial to a safe and reliable autonomous driving(AD)system.However,most proposed methods aim at addressing one of the two challenges mentioned above with a single model.To tackle this dilemma,this paper proposes spatio-temporal semantics and interaction graph aggregation for multi-agent perception and trajectory forecasting(STSIGMA),an efficient end-to-end method to jointly and accurately perceive the AD environment and forecast the trajectories of the surrounding traffic agents within a unified framework.ST-SIGMA adopts a trident encoder-decoder architecture to learn scene semantics and agent interaction information on bird’s-eye view(BEV)maps simultaneously.Specifically,an iterative aggregation network is first employed as the scene semantic encoder(SSE)to learn diverse scene information.To preserve dynamic interactions of traffic agents,ST-SIGMA further exploits a spatio-temporal graph network as the graph interaction encoder.Meanwhile,a simple yet efficient feature fusion method to fuse semantic and interaction features into a unified feature space as the input to a novel hierarchical aggregation decoder for downstream prediction tasks is designed.Extensive experiments on the nuScenes data set have demonstrated that the proposed ST-SIGMA achieves significant improvements compared to the state-of-theart(SOTA)methods in terms of scene perception and trajectory forecasting,respectively.Therefore,the proposed approach outperforms SOTA in terms of model generalisation and robustness and is therefore more feasible for deployment in realworld AD scenarios.展开更多
Monitoring,understanding and predicting Origin-destination(OD)flows in a city is an important problem for city planning and human activity.Taxi-GPS traces,acted as one kind of typical crowd sensed data,it can be used ...Monitoring,understanding and predicting Origin-destination(OD)flows in a city is an important problem for city planning and human activity.Taxi-GPS traces,acted as one kind of typical crowd sensed data,it can be used to mine the semantics of OD flows.In this paper,we firstly construct and analyze a complex network of OD flows based on large-scale GPS taxi traces of a city in China.The spatiotemporal analysis for the OD flows complex network showed that there were distinctive patterns in OD flows.Then based on a novel complex network model,a semantics mining method of OD flows is proposed through compounding Points of Interests(POI)network and public transport network to the OD flows network.The propose method would offer a novel way to predict the location characteristic and future traffic conditions accurately.展开更多
RSS feeds provide a fast and effective way to publish up-to-date information or renew outdated contents for information subscribers. So far RSS information is mostly managed by content publishers but Internet users ha...RSS feeds provide a fast and effective way to publish up-to-date information or renew outdated contents for information subscribers. So far RSS information is mostly managed by content publishers but Internet users have less initiative to choose what they really need. More attention needs to be paid on techniques for user-initiative information discovery from RSS feeds. In this paper, a quantitative semantic matchmaking method for the RSS based applications is proposed. Semantic information is extracted from an RSS feed as numerical vectors and semantic matching can then be conducted quantitatively. Ontology is applied to provide a common-agreed matching basis for the quantitative matchmaking. In order to avoid semantic ambiguity of literal statements from distributed and heterogeneous RSS publishers, fuzzy inference is used to transform an individual-dependent vector into an individual-independent vector. Semantic similarities can be revealed as the result.展开更多
This article is a tentative study of the relationship between semantics and pagmatics through a detailed analysis of Leech’s classical questions about the meaning of X. It makes a discrimination of the different aspe...This article is a tentative study of the relationship between semantics and pagmatics through a detailed analysis of Leech’s classical questions about the meaning of X. It makes a discrimination of the different aspects of meaning that the two branches of linguistics focus upon respectively. Both semantics and pragmatics are studies of the meanings of language. Semantics studies the meaning within the system of language while pragmatics studies the meaning with the speaker involved, that is to say from the social angle. Pragmatics is based on the knowledge of semantics. Given the fact that neither semantics nor pragmatics alone can solve the myth of the meaning of language, it may not be wise to make a clear cut between semantics and pragmatics.\;展开更多
In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Sp...In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.展开更多
Naturally, like the web, integrated software systems in Internet will have to be distributed and heterogeneous. To im-prove the interoperability of services for SAAS, it is crucial to build requirements semantics that...Naturally, like the web, integrated software systems in Internet will have to be distributed and heterogeneous. To im-prove the interoperability of services for SAAS, it is crucial to build requirements semantics that will cross the entire lifecycle of services especially on requirements stage. In this paper, a requirements semantics interoperability extend-ing approach called Connecting Ontologies (CO) that will act as semantics information carrier designing to facilitate the requirements identification and services composition is proposed. Semantic measurement of Chinese scenario is explored. By adopting the approach, a series of tools support for transport domain are developed and applied based on CO and DPO (Domain Problem Ontology) to enforce requirements engineering of networked software efficiently.展开更多
The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention,in relation to its efficacy in a semantic valuation of the EkeGu...The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention,in relation to its efficacy in a semantic valuation of the EkeGusii proverb:Nda’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for.The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects.The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics.展开更多
Phonetics is a fundamental branch of linguistics and itself has three different aspects.Articulatory Phonetics—describes how vowels and consonants are produced or'articulated'in various parts of the mouth and...Phonetics is a fundamental branch of linguistics and itself has three different aspects.Articulatory Phonetics—describes how vowels and consonants are produced or'articulated'in various parts of the mouth and throat.Acoustic Phonetics—a study of how speech sounds are transmitted:when sound travels through the air from the speaker’s mouth to the hearer’s ear.展开更多
文摘This work is about the progress of previous related work based on an experiment to improve the intelligence of robotic systems,with the aim of achieving more linguistic communication capabilities between humans and robots.In this paper,the authors attempt an algorithmic approach to natural language generation through hole semantics and by applying the OMAS-III computational model as a grammatical formalism.In the original work,a technical language is used,while in the later works,this has been replaced by a limited Greek natural language dictionary.This particular effort was made to give the evolving system the ability to ask questions,as well as the authors developed an initial dialogue system using these techniques.The results show that the use of these techniques the authors apply can give us a more sophisticated dialogue system in the future.
文摘What and how we translate are questions often argued about. No matter what kind of answers one may give, priority in translation should be granted to meaning, especially those meanings that exist in all concerned languages. This research defines them as universal sememes, and the study of them as universal semantics, of which applications are also briefly looked into.
基金This research is supported by the National Science Foundation of China(grant 61772278,author:Qu,W.grant number:61472191,author:Zhou,J.http://www.nsfc.gov.cn/)+2 种基金the National Social Science Foundation of China(grant number:18BYY127,author:Li B.http://www.cssn.cn)the Philosophy and Social Science Foundation of Jiangsu Higher Institution(grant number:2019SJA0220,author:Wei,T.https://jyt.jiangsu.gov.cn)Jiangsu Higher Institutions’Excellent Innovative Team for Philosophy and Social Science(grant number:2017STD006,author:Gu,W.https://jyt.jiangsu.gov.cn)。
文摘The meaning of a word includes a conceptual meaning and a distributive meaning.Word embedding based on distribution suffers from insufficient conceptual semantic representation caused by data sparsity,especially for low-frequency words.In knowledge bases,manually annotated semantic knowledge is stable and the essential attributes of words are accurately denoted.In this paper,we propose a Conceptual Semantics Enhanced Word Representation(CEWR)model,computing the synset embedding and hypernym embedding of Chinese words based on the Tongyici Cilin thesaurus,and aggregating it with distributed word representation to have both distributed information and the conceptual meaning encoded in the representation of words.We evaluate the CEWR model on two tasks:word similarity computation and short text classification.The Spearman correlation between model results and human judgement are improved to 64.71%,81.84%,and 85.16%on Wordsim297,MC30,and RG65,respectively.Moreover,CEWR improves the F1 score by 3%in the short text classification task.The experimental results show that CEWR can represent words in a more informative approach than distributed word embedding.This proves that conceptual semantics,especially hypernymous information,is a good complement to distributed word representation.
文摘SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.
文摘Cognitive linguistics studies the relationship between language and cognition,which claims that semantics structures reflect the mental categories which people have formed their experiences of growing up and acting in the world.The lexical and semantics combined together to be the foundations of language which makes into people' s communication.As the main branch of cognition,the prototype and stereotype theory have a close relationship to the lexical semantics.Thus,it is essential and useful to make a research on the lexical semantics under the influence of the "prototype and stereotype theory" and it will help a lot in teaching methodology.
文摘The close relationship between semantics and pragmatics has made it difficult to set a clear boundary between them.Dicussion of the relationship can date back to Morris, whose semiotic trichotomy was taken up by Carnap. Leech, Levinson, Bach and Huang also tried to make a distinction between the two, but no consensus has been reached.
文摘Vocabulary teaching is important but difficult in language acquisition and teaching.Language teachers aims at finding a way to help learners acquire the meaning of words without so much difficulties.With the appearance of semantic theories,it is easy for us to reveal the veil of vocabulary learning.This paper introduces some theories of semantics and their application in vocabulary acquisition and teaching put forward some suggestions for vocabulary pedagogy and teaching strategies.
文摘1. IntroductionHumans have the ability (or competence) to think logically, and this is an undeniable fact. However,what this ability consists in is a difficult question. It might be said that logical ability consists in theknowledge of a set of logic rules. But what are those logic rules? For centuries logicians have devel-
文摘Inductive logic programming adopts the standard horn lope program as its logic framework for inductivelearning. Due to the fact, however, that the expressive power of horn logic is relatively limited and the mechansm ofnegation is mostly that of negation as failure, it is difficult to make full use of negative information and consequentlynot suitable for inductive learning. This Paper adopts nounal lope program as me language of inductive logic programsand presents accordingly a kind of semantics called Limited Negation semantics. The issues of direct denotation andinference of negation in concept induction are solved. The paper shows that LN is directly generalized for the semantics of Well-Founded in die significance Of optional negation and has superior theoretical features, especially the capability Of expressing and processing negation by introducing the constant ’false’. ExperimentS also show that the inductive concepts in learning are accurately interpreted with LN.
基金Basic and Advanced Research Projects of CSTC,Grant/Award Number:cstc2019jcyj-zdxmX0008Science and Technology Research Program of Chongqing Municipal Education Commission,Grant/Award Numbers:KJQN202100634,KJZDK201900605National Natural Science Foundation of China,Grant/Award Number:62006065。
文摘Scene perception and trajectory forecasting are two fundamental challenges that are crucial to a safe and reliable autonomous driving(AD)system.However,most proposed methods aim at addressing one of the two challenges mentioned above with a single model.To tackle this dilemma,this paper proposes spatio-temporal semantics and interaction graph aggregation for multi-agent perception and trajectory forecasting(STSIGMA),an efficient end-to-end method to jointly and accurately perceive the AD environment and forecast the trajectories of the surrounding traffic agents within a unified framework.ST-SIGMA adopts a trident encoder-decoder architecture to learn scene semantics and agent interaction information on bird’s-eye view(BEV)maps simultaneously.Specifically,an iterative aggregation network is first employed as the scene semantic encoder(SSE)to learn diverse scene information.To preserve dynamic interactions of traffic agents,ST-SIGMA further exploits a spatio-temporal graph network as the graph interaction encoder.Meanwhile,a simple yet efficient feature fusion method to fuse semantic and interaction features into a unified feature space as the input to a novel hierarchical aggregation decoder for downstream prediction tasks is designed.Extensive experiments on the nuScenes data set have demonstrated that the proposed ST-SIGMA achieves significant improvements compared to the state-of-theart(SOTA)methods in terms of scene perception and trajectory forecasting,respectively.Therefore,the proposed approach outperforms SOTA in terms of model generalisation and robustness and is therefore more feasible for deployment in realworld AD scenarios.
基金This work is supported by Shandong Provincial Natural Science Foundation,China under Grant No.ZR2017MG011This work is also supported by Key Research and Development Program in Shandong Provincial(2017GGX90103).
文摘Monitoring,understanding and predicting Origin-destination(OD)flows in a city is an important problem for city planning and human activity.Taxi-GPS traces,acted as one kind of typical crowd sensed data,it can be used to mine the semantics of OD flows.In this paper,we firstly construct and analyze a complex network of OD flows based on large-scale GPS taxi traces of a city in China.The spatiotemporal analysis for the OD flows complex network showed that there were distinctive patterns in OD flows.Then based on a novel complex network model,a semantics mining method of OD flows is proposed through compounding Points of Interests(POI)network and public transport network to the OD flows network.The propose method would offer a novel way to predict the location characteristic and future traffic conditions accurately.
文摘RSS feeds provide a fast and effective way to publish up-to-date information or renew outdated contents for information subscribers. So far RSS information is mostly managed by content publishers but Internet users have less initiative to choose what they really need. More attention needs to be paid on techniques for user-initiative information discovery from RSS feeds. In this paper, a quantitative semantic matchmaking method for the RSS based applications is proposed. Semantic information is extracted from an RSS feed as numerical vectors and semantic matching can then be conducted quantitatively. Ontology is applied to provide a common-agreed matching basis for the quantitative matchmaking. In order to avoid semantic ambiguity of literal statements from distributed and heterogeneous RSS publishers, fuzzy inference is used to transform an individual-dependent vector into an individual-independent vector. Semantic similarities can be revealed as the result.
文摘This article is a tentative study of the relationship between semantics and pagmatics through a detailed analysis of Leech’s classical questions about the meaning of X. It makes a discrimination of the different aspects of meaning that the two branches of linguistics focus upon respectively. Both semantics and pragmatics are studies of the meanings of language. Semantics studies the meaning within the system of language while pragmatics studies the meaning with the speaker involved, that is to say from the social angle. Pragmatics is based on the knowledge of semantics. Given the fact that neither semantics nor pragmatics alone can solve the myth of the meaning of language, it may not be wise to make a clear cut between semantics and pragmatics.\;
文摘In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.
文摘Naturally, like the web, integrated software systems in Internet will have to be distributed and heterogeneous. To im-prove the interoperability of services for SAAS, it is crucial to build requirements semantics that will cross the entire lifecycle of services especially on requirements stage. In this paper, a requirements semantics interoperability extend-ing approach called Connecting Ontologies (CO) that will act as semantics information carrier designing to facilitate the requirements identification and services composition is proposed. Semantic measurement of Chinese scenario is explored. By adopting the approach, a series of tools support for transport domain are developed and applied based on CO and DPO (Domain Problem Ontology) to enforce requirements engineering of networked software efficiently.
文摘The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention,in relation to its efficacy in a semantic valuation of the EkeGusii proverb:Nda’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for.The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects.The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics.
文摘Phonetics is a fundamental branch of linguistics and itself has three different aspects.Articulatory Phonetics—describes how vowels and consonants are produced or'articulated'in various parts of the mouth and throat.Acoustic Phonetics—a study of how speech sounds are transmitted:when sound travels through the air from the speaker’s mouth to the hearer’s ear.