Crossworld Predication in Natural Language

Некоторые предложения естественного языка, такие как «Джон мог быть выше, чем Мэри, как она есть», не допускают адекватного анализа в терминах стандартной семантики возможных миров, поскольку содержат кросс-мировую предикацию, которая в стандартной семантике не отображается. Для логического анализа такого рода предложений автором была разработана (и представлена в других публикациях) логика для кросс-мировой предикации (СРL). В статье приведен ряд примеров, демонстрирующих широкую распространенность феномена кросс-мировой предикации в естественном языке и описаны главные особенности семантики СРL (кросс-мировая интерпретация предикатов и использование частичных функций от переменных к возможным мирам в истинностной оценке формул), а также охарактеризована специфика синтаксиса СРL и онтологии, лежащей в ее основе. Some sentences of natural language cannot be adequately analyzed in terms of standard possible world semantics because they involve cross-world predication that cannot be reflected by means of standard semantics. An instance is ‘John might be taller than Mary is’. In some other papers the author proposed a logic for cross-word predication (CPL) that can be used to logically analyze sentences of this sort. In this paper, some examples are adduced that show that cross-world predication is highly widespread in natural language. The main features of the semantics of CPL are described, namely cross-world interpretation of predicates, and using partial functions from variables to possible worlds in the evaluation of formulas. Finally, the specificity of the syntax of CPL, and the ontology behind the semantics of CPL is characterized.

ANTICRITERIALISM AND FUZZINESS OF WORLDS. CONCERNING EVGENY BORISOV’S CROSS-WORLD SEMANTICS

Рассматриваются главным образом две проблемы, решение которых может быть особенно важным для кросс-мировой семантики: антикритериализм (представление о том, что идентичность не может до конца определяться какими бы то ни было критериями) и нечёткость миров (возможные миры, границы между которыми нечёткие). Эти проблемы важны, в частности, для таких приложений кросс-мировой семантики, как логика образований непрямых значений в естественном языке и логика нарратива. The study is focused on two problems related to cross-world semantics: anticriterialism (the idea that identity cannot be defined by any criteria whatsoever) and fuzziness of possible worlds (possible world semantics where the worlds are fuzzy). These two problems are important, in particular, for the logic of indirect meanings in natural language and the logic of narrative.

Efficient Mining of Frequent Item Sets on Large Uncertain Databases

In applications like location-based services, sensor monitoring systems and data integration diligence the data manipulated is highly ambiguous. mining manifold itemsets from generous ambiguous database illustrated under possible world semantics is a crucial dispute. Mining manifold Itemsets is technically brave because the ambiguous database can accommodate a fractional number of possible worlds. The mining process can be formed as a Poisson binomial distribution, by noticing that an Approximated algorithm is established to ascertain manifold Itemsets from generous ambiguous database exceedingly. Preserving the mining result of scaling a database is a substantial dispute when a new dataset is inserted in an existing database. In this paper, an incremental mining algorithm is adduced to retain the mining consequence. The cost and time are reduced by renovating the mining result rather than revising the whole algorithm on the new database from the scrap. We criticize the support for incremental mining and ascertainment of manifold Itemsets. Two common ambiguity models in the mining process are Tuple and Attribute ambiguity. Our approach reinforced both the tuple and attribute uncertainty. Our accession is authorized by interpreting both real and synthetic datasets.

Narrative Language and Possible Worlds in Postmodern Fiction. A Borderline Study of Ian McEwan’s The Child in Time

"Narrative Language and Possible Worlds in Postmodern Fiction. A Borderline Study of Ian McEwan’s The Child in Time. The present paper is a study of more traditional hermeneutics combined with a tinge of possible world modality, with the purpose of creating a thorough picture of narrative worlds and balancing it against the possible world system, with practical applications onto postmodern fiction, in Ian McEwan’s novel The Child in Time. The article focuses on exposing narrative language, worlds and characters, viewing them through Seymour Chatman’s perspective and slightly counterbalancing this approach with the possible world semantics system (as envisioned by Kripke, Lewis, Nolan, Putnam) for a diverse understanding of the inner structure and functioning of narrative text and fictional worlds. Keywords: possible worlds, possible-world semantics, narrative worlds, fictional worlds, narrative language, fiction, postmodern fiction, fictional characters "

On the Progression of Belief

Based on weighted possible-world semantics, Belle and Lakemeyer recently proposed the logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of belief. The logic has many desirable properties like full introspection and it is able to precisely capture the beliefs of a probabilistic knowledge base in terms of the notion of only-believing. While the proposal is intuitively appealing, it is unclear how to do planning with such logic. The reason behind this is that the logic lacks projection reasoning mechanisms. Projection reasoning, in general, is to decide what holds after actions. Two main solutions to projection exist: regression and progression. Roughly, regression reduces a query about the future to a query about the initial state while progression, on the other hand, changes the initial state according to the effects of actions and then checks whether the formula holds in the updated state. In this paper, we study projection by progression in the logic DS. It is known that the progression of a categorical knowledge base wrt a noise-free action corresponds to what is only-known after that action. We show how to progress a type of probabilistic knowledge base wrt noisy actions by the notion of only-believing after actions. Our notion of only-believing is closely related to Lin and Reiter's notion of progression.

Intersubjective approach to intentionality and internal objects

Intentionality — the orientation of mental states to objects (things, properties, states of things, events) — has been considered a hallmark of the psyche since Brentano’s time. In this article, we consider the problem of intentionality from the second-person approach, or the standpoint of intersubjectivity. Our analysis shows that intentionality is intrinsically projective. The projective nature of intentionality is related to internal objects that play a crucial role in fixing the person’s subjective experience and serve as a fulcrum in the development of the person. The internal object can be treated as a set of properties and tropes. The logic of intentionality proposed by Graham Priest and the theory of primary (that is, belonging to the Freudian system «unconscious») psychological attitudes developed by Linda Brakel created the preconditions for seman- tical analysis of projective intentionality. In the article, we rely on the logic of projective intentionality that reorients the resources of modal logics and semantics of possible worlds to the investigation and formalization of primary thinking. Considering the problem of mental existence within the framework of the second-person approach, we show that Wittgenstein’s reasoning about the «beetle in a box» does not refute the thesis of the privacy of mental meanings. Finally, involving the possible world semantics, we develop a neo-Aristotelian approach to the ontology of mental objects.

Theories of Meaning for the Internet of Things

In this chapter, we consider the theoretical foundations for representing knowledge in the Internet of Things context. Specifically, we consider (1) the model-theoretic semantics (i.e., extensional semantics), (2) the possible-world semantics (i.e., intensional semantics), (3) the situation semantics, and (4) the cognitive/distributional semantics. Given the peculiarities of the Internet of Things, we pay particular attention to (a) perception (i.e., how to establish a connection to the world), (b) intersubjectivity (i.e., how to align world representations), and (c) the dynamics of world knowledge (i.e., how to model events). We come to the conclusion that each of the semantic theories helps in modeling specific aspects, but does not sufficiently address all three aspects simultaneously.

A First-Order Logic of Limited Belief Based on Possible Worlds

In a recent paper Lakemeyer and Levesque proposed a first-order logic of limited belief to characterize the beliefs of a knowledge base (\KB). Among other things, they show that their model of belief is expressive, eventually complete, and tractable. This means, roughly, that a \KB\ may consist of arbitrary first-order sentences, that any sentence which is logically entailed by the \KB\ is eventually believed, given enough reasoning effort, and that reasoning is tractable under reasonable assumptions. One downside of the proposal is that epistemic states are defined in terms of sets of clauses, possibly containing variables, giving the logic a distinct syntactic flavour compared to the more traditional possible-world semantics found in the literature on epistemic logic. In this paper we show that the same properties as above can be obtained by defining epistemic states as sets of three-valued possible worlds. This way we are able to shed new light on those properties by recasting them using the more familiar notion of truth over possible worlds.