Search results for " Logic"

Bertrand Russell e la filosofia dell'atomismo logico

2019

1903 was a particularly significant year for the history of European culture, both in term of the history of scientific thought and the history of philosophical thought. At Trinity College in Cambridge, George Edward Moore published the article The Refutation of Idealism in «Mind» magazine, while Bertrand Russell published The Principles of Mathematics. With these two works, besides discarding the mainstream neo-idealism in Great Britain during the second half of the nineteenth century, Moore and Russell promoted the new current of neo-positivism, from which logical empiricism and the socalled “scientific philosophy” was to be derived and cultivated within the Vienna Circle and the Berlin C…

Database Versioning 2.0, a Transparent SQL Approach Used in Quantitative Management and Decision Making

2015

Abstract Managerial decisions are based on accurate information and in today's time raw data is produced even with a stroke of a key. Regardless of the data creating process one needs to know how the information was extracted and which pool of data was used. One important factor is time therefore we need to structure it in layers of data history in such a way that it can be analyzed, (post)process, in order to be able to retrieve valuable information. The simplest way is to use a Database Management System (DBMS), but even with such a management system we face the issue of making it a self-contained database on each version of data added. Our proposed system, a continuation of previous work…

Neutrality and Multi-Valued Logics

2007

In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. Recall that hypersequents are a natural generalization of Gentzen's style sequents that was introduced independently by Avron and Pottinger. In particular, we consider Hilbert's style, sequent, and hypersequent calculi for infinite-valued logics based on the three fundamental continuous t-norms: Lukasiewicz's, Gödel’s, and Product logics. We presen…

Нейтрософские методы в Общей Теории Относительности; Рабунский Д., Смарандаке Ф., Борисова Л.[Russian]

2006

В этой книге авторы применяют концепции нейтрософской логи ки к Общей Теории Относительности с целью получить обобщение использованного Эйнштейном четыр¨ехмерного псев дориманова дифференциального многообразия в терминах Смарандаке-геометрии (Смарандаке-многообразия). В результа- те такого исследования они получают новые классы релятивист ских частиц и разрабатывют теорию неквантовой телепортации. Наиболее перспективным в нейтрософской логике являет ся отмена закона исключенного среднего, что открывает новые уровни истинности, ложности и неопредел¨енности. Как нейтрософская логика, так и Смарандаке-геометрия, бы ли введены несколько лет назад одним из авторов (Ф. Смаран даке). Ныне использо…

A Summary of the Central Metaphysic of Superultramodern Science and Philosophy: From Modern Science to God–The Ultimate Questioner

This is a summary of the core/central metaphysic of my ‘Superultramodern Science and Philosophy’, which comprises the NSTP (Non-Spatial Thinking Process) theory and, chiefly, the UQV (Ultimate Questioner’s Vanity) theory.

RDF2NμSMV: Mapping Semantic Graphs to NμSMV Model Checker

2011

International audience; The most frequently used language to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border between two areas: the Semantic Web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. To illustrate our pro…

Probabilities of conditionals and previsions of iterated conditionals

2019

Abstract We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability to be the conditional probability. In our approach, however, we avoid triviality because the import-export principle is invalid. We then analyze an example of reasoning under partial knowledge where, given a conditional if A then C as information, the probability of A should intuitively increase. We explain this intuition by making some implicit background information explicit. We consider several (generalized) iterated conditionals, which allow…

Automated agent-based system for weather information

2009

Road accidents are well correlated with bad weather conditions. In traffic management, several strategies have been considered in order to reduce this kind of accidents. Weather problems can cause difficult situations for the traffic management decision-makers. They need to analyze and absorb a large quantity of information in order to solve some problems due to bad weather. An automated agent-based system is a good solution to help decision-makers in the management of weather information to road users in relation to traffic conditions.In this paper, a distributed system based in autonomous agents and rules for road weather information has been proposed. Also the detection procedure is expl…

User-cell association in heterogenous small cell networks: A context-aware approach

2015

Deploying small cells to complement the traditional cellular networks is foreseen as a major feature of the next generation of wireless networks. In this paper, a novel approach for addressing the cell association problem in heterogenous small cell networks is proposed. The presented approach exploits different types of information extracted from the user devices and environment to improve the way in which users are assigned to their serving small cell base stations (SBSs). We formulate the problem within the framework of matching theory, where the players, namely the users and SBSs, have interdependent preferences over the members of the opposite set. We also utilize the fuzzy synthetic ev…

Robust Transmit Beamforming for Underlay D2D Communications on Multiple Channels

2020

Underlay device-to-device (D2D) communications lead to improvement in spectral efficiency by simultaneously allowing direct communication between the users and the existing cellular transmission. However, most works in resource allocation for D2D communication have considered single antenna transmission and with a focus on perfect channel state information (CSI). This work formulates a robust transmit beamforming design problem for maximizing the aggregate rate of all D2D pairs and cellular users (CUs). Assuming complex Gaussian distributed CSI error, our formulation guarantees probabilistically a signal to interference plus noise ratio (SINR) above a specified threshold. In addition, we al…