Resultado da Busca
Há 4 dias · The theory of mental models and its computer implementations have led to crucial experiments showing that no standard logic—the sentential calculus and all logics that include it—can underlie human reasoning. The theory replaces the logical concept of validity (the conclusion is true in all cases in which the premises are true) with necessity (conclusions describe no more than ...
Há 3 dias · We address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic. The combined language includes the shared constructors of both logics namely conjunction, disjunction and falsum as well as the intuitionistic implication, the classical implication and the necessity modality.
Há 1 dia · I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state ...
Há 1 dia · The Natural Semantic Metalanguage approach, originated by Anna Wierzbicka, is based on evidence that there is a small core of basic, universal meanings, known as semantic primes, that are lexicalized (either as words or as other linguistic expressions) in most (possibly all) languages of the world.
Há 1 dia · Kripke provided a semantics for modal logic. In Saul Kripke 's publication Naming and Necessity , Kripke challenges the descriptivist theory with a causal theory of reference . In it he introduced the term rigid designator .
Há 2 dias · The Language and Music Cognition unit uses computational models and artificial intelligence to study questions of semantics and meaning, both linguistic and musical, and tests the behavioural implications of these models for speakers, signers, musicians, readers, and listeners.
Há 3 dias · Computational semantics is not a single monolithic task but consists of many subtasks, including word sense disambiguation, multi-word expression analysis, semantic role labeling, the construction of sentence semantic structure, coreference resolution, and the automatic induction of semantic information from data.The development of manually constructed resources has been vastly important in ...
