Computational semantics

Computational semantics refers to the process of using computational methods to analyze and compute the meaning of natural language input. It involves the application of algorithms and techniques to understand the meaning of words, phrases, and sentences in a given context. The goal of computational semantics is to enable machines to understand and interpret human language, which can be used in various applications such as natural language processing, machine translation, and information retrieval.From: Cognitive Computing Systems [2021]

Natural Language Processing

View Chapter

Purchase Book

Published in Vishal Jain, Akash Tayal, Jaspreet Singh, Arun Solanki, Cognitive Computing Systems, 2021

V. Vishnuprabha, Lino Murali, Daleesha M. Viswanathan

Computational semantics performs the computation and analysis of linguistic meaning for the natural language input. It automatically assigns meanings to the intermediate representation with common-sense reasoning.

Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

View Article

Journal Information

Published in Mathematical and Computer Modelling of Dynamical Systems, 2018

E.M. Navarro-López, M.D. O’Toole

The automatic generation of MRB hybrid automata is a necessary step in the formal analysis of a complex mechanical system. Moreover, we highlight its useful application in the simulation of MRB systems, in particular with respect to event-driven schemes. For this purpose, we have produced a tool called Dyverse Rigid Body Toolbox (DyverseRBT). The acronym Dyverse corresponds to DYnamically driven VERification of Systems with Energy considerations, and RBT corresponds to Rigid Body Toolbox. DYVERSE is a novel computational–dynamical framework for the modelling, analysis and control of complex systems [28]. DyverseRBT automatically generates the MRB hybrid automaton and its simulation from a mechanical specification given by the user. In other words, DyverseRBT produces a dynamical transition system that defines the computational semantics of the MRB system.

Computational semantics

Explore chapters and articles related to this topic

Natural Language Processing

Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties