Logical Objects Research Articles

О феноменологии логических переживаний в «Логических исследованиях» Э. Гуссерля

In this paper, the author endeavors to clarify the relationship between logic and phenomenology in the context of a detailed examination of E. Husserl’s inquiries into the nature of logical knowledge. This endeavor appears justified not only from a historical-philosophical perspective but also from a purely conceptual standpoint: the present study investigates the role that E. Husserl assigns to ideal structures within the experience of consciousness, interpreted by him as logical objects. Through a sequential analysis, the philosophical approach of Husserl is illustrated by elucidating the essence of his anti-psychologist stance regarding logic, explicating the idea of the intentional character of consciousness, and subsequently synthesizing these two perspectives to reveal the reflexive nature of logic, which is necessitated by consciousness for self-discovery and self-clarification. It is emphasized that Husserl’s examination unfolds in a manner that defines the typological proximity of the considered acts of consciousness. By addressing these dimensions, the study aims to contribute to a deeper understanding of how Husserl intertwines phenomenology and logic, and how this interplay informs the dynamics of logical experiences within the framework of conscious acts.

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration

OPERATIONS ON BLOCK PREDICATE MATRICES

This article discusses the possibility of performing basic logical operations on matrices that are divided into rectangular blocks in an arbitrary manner. The results obtained are illustrated using the example of predicate logical matrices defined over a field of finite predicates of arbitrary arity. The possibility of extending the results obtained to Boolean matrices is also justified (they are considered to be defined over a field of finite predicates of zero arity). At the same time, using the apparatus of multivalued logic, starting from Boolean logical matrices, the results obtained can also be extended to the study of logical objects that are not Boolean. Block partitioning of matrices allows you to divide information specified in matrix form into parts, process these parts separately, and then combine them into a single whole, adhering to certain rules and restrictions described in this article. These methods can find their application in graph theory, in the theory of algorithms, programming and in other areas of theoretical and practical activity that are in one way or another related to mathematical logic.

A deepening study of philosophical cognitive logic based on intelligent interaction

Abstract This paper analyzes the research object of cognitive logic in the context of information technology and philosophical reflection and constructs a model of cognitive logic for contextual dynamics. Contextual recognition of philosophical cognitive logic is achieved through contextual sequence feature extraction, and realistic, intelligent interaction is analyzed through probabilistic potential semantic analysis, while philosophical cognitive logic deepening is achieved using PELP grammar. The analysis of the deepening model showed that the interaction degree of the mental dimension increased from 0.79 to 0.91, and the interaction degree of the thinking dimension increased from 0.88 to 0.97. Applying the model to learning, the difference between learning methods without the model was up to 15 points, and the deepening of philosophical cognitive logic based on intelligent interaction could improve thinking ability.

Kantian Motives in Work of Ludwig Wittgenstein

It is proved that the basic framework of the premises and reasoning of Wittgenstein's “Tractatus Logico-philosophicus” corresponds quite well to the transcendental method (as formulated by H. Cohen). Whereas Kant’s philosophy proceeds from the fact of existence of mathematics and mathematised natural science and investigates their conditions of possibility, Wittgenstein proceeds from the fact that propositions of language describe reality and reveals the conditions of possibility of such descriptions. Kant, answering the question about the conditions of possibility of the named sciences, comes to the idea of the transcendental subject and the distinction between the world of phenomena and the thing in itself. Wittgenstein's investigation of the conditions of possibility that the world is described by propositions leads to the assertion that both the world and language are together in logical space. The latter constitutes the a priori and transcendental condition of the possibility that language “reaches out” to reality. For both the theories - in the “Critique of Pure Reason” and in the “Tractatus Logico-Philosophicus” - the idea of the boundary is important. In the “Critique of Pure Reason” it is the boundary of possible experience and cognition, while in the “Tractatus Logico-Philosophicus” it is the boundary of what can be thought and expressed by meaningful propositions. Related to the different definitions of the boundary is the difference in the treatment of mathematised natural science. For “The Critique of Pure Reason” was created in the era of unconditional acceptance of Newtonian mechanics. And the “Tractatus Logico-Philosophicus” was created at the time of the crisis of the Newtonian paradigm and its replacement by other notions of time and space. However, the idea of boundary, which is present in both doctrines, determines closeness in the attitude towards metaphysics between the author of “The Critique of Pure Reason” and the author of “The Tractatus Logico-Philosophicus”. The study also shows that Wittgenstein did not follow logicism in his philosophy of mathematics. For him, both mathematical objects and propositions of logic are constructions. The conviction about the constructive character of mathematical and logical objects shows an affinity with the Kantian tradition in the philosophy of mathematics.

FlashAlloc: Dedicating Flash Blocks by Objects

For a write request, today's flash storage cannot distinguish the logical object it comes from ( e.g. , SSTables in RocksDB). In such object-oblivious flash devices, concurrent writes from different objects are simply packed in their arrival order to flash memory blocks; hence data pages from multiple objects with different lifetimes are multiplexed onto the same flash blocks. This multiplexing incurs write amplification, worsening the performance. Tackling the multiplexing problem, we propose a novel interface for flash storage, FlashAlloc. It is used to pass the logical address ranges of objects to the underlying flash device and thus to enlighten the device to stream writes by objects. The object-aware flash storage can now de-multiplex concurrent writes from multiple objects with distinct deathtimes into per-object dedicated flash blocks. In essence, the interface enables the per-object fine-grained write streaming. Given that popular data stores tend to separate writes by logical objects, we can achieve, compared to the existing solutions, transparent streaming just by calling FlashAlloc upon object creation. Also, FlashAlloc is adaptive to workload changes, and liberates the stream conflicts in the multi-tenant environment. Our experimental results using an open-source SSD prototype demonstrate that FlashAlloc can reduce the device-level write amplification factor (WAF) under RocksDB, F2FS, and MySQL by 1.5, 2.5, and 0.3, respectively and improve their throughput by 2.7x, 1.8x, and 1.2x, respectively. Also, FlashAlloc can mitigate the WAF interference among tenants: when running RocksDB and MySQL together on the same SSD, FlashAlloc reduced WAF from 2.5 to 1.6 and doubled their throughputs.

INVESTIGATION AND DEVELOPMENT OF METHODS AND ALGORITHMS FOR ANALYZING VIDEO-EEG MONITORING OF DELAYED CEREBRAL ISCHEMIA AFTER SUBARACHNOID HAEMORRHAGE

Abstract. This work aims to study and develop methods and tools for analyzing video-EEG monitoring of delayed cerebral ischemia after subarachnoid haemorrhage. A study was made of methods and algorithms for processing video images, which are supposed to be used to recognize life events and medical care for a patient, which can lead to artefacts in the patient’s EEG records. An approach to video monitoring of the patient was proposed and tested on real video monitoring data using object-oriented logic programming methods in combination with neural network methods for image analysis.

Logical object structure and system implementation for BIM database in civil infrastructures

ABSTRACT Building Information Modeling (BIM) has attracted much attention as a vital information method in civil engineering. BIM data research has become increasingly important with the continuous understanding of BIM. The database designed especially for storing BIM data (IFC data) is called a BIM database. To realize centralized storage and sharing of complex building information, how to design and develop a BIM database will be a hot topic. However, the BIM database designed using an existing logical model (such as a relational model) is unsuitable for storing and managing a large amount of BIM data. To this end, we propose a database logical model for BIM database development called ‘logical object structure’. Based on the database design methodology, the logical schema of the BIM database is discussed, and five relation forms are established to describe the feature of engineering information. According to the relation forms, the logical object structure is presented, and the corresponding system implementation process is discussed. Finally, four workloads are set to test the logical object structure. The results show that the logical object structure can well support interactive behaviors of BIM data and provide good performance for the BIM database.

Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments

This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex time-sensitive tasks in the presence of an adversary. The time-sensitive task is specified as a formula in the metric interval temporal logic (MITL). CPSs that operate in adversarial environments have typically been abstracted as stochastic games (SGs); however, because traditional SG models do not incorporate a notion of time, they cannot be used in a setting where the objective is time-sensitive. To address this, we introduce durational stochastic games (DSGs). DSGs generalize SGs to incorporate a notion of time and model the adversary’s abilities to tamper with the control input (actuator attack) and manipulate the timing information that is perceived by the CPS (timing attack). We define notions of spatial, temporal, and spatio-temporal robustness to quantify the amounts by which system trajectories under the synthesized policy can be perturbed in space and time without affecting satisfaction of the MITL objective. In the case of an actuator attack, we design computational procedures to synthesize controllers that will satisfy the MITL task along with a guarantee of its robustness. In the presence of a timing attack, we relax the robustness constraint to develop a value iteration-based procedure to compute the CPS policy as a finite-state controller to maximize the probability of satisfying the MITL task. A numerical evaluation of our approach is presented on a signalized traffic network to illustrate our results.

Dynamic Hypergames for Synthesis of Deceptive Strategies With Temporal Logic Objectives

In this paper, we study the use of deception for strategic planning in adversarial environments. We model the interaction between the agent (player 1) and the adversary (player 2) as a two-player concurrent stochastic game in which the adversary has incomplete information about the agent’s task specification given as a temporal logic formula. During the interaction, the adversary can infer the agent’s intention from observations and adapt its strategy so as to prevent the agent from satisfying the objective. To plan against such an adaptive opponent, the agent must leverage its knowledge about the adversary’s incomplete information to influence the behavior of the opponent, and thereby be deceptive. To synthesize a deceptive strategy, we introduce a class of hypergame models that capture the interaction between the agent and its adversary given asymmetric, incomplete information. We develop a solution concept for this class of hypergames and show that the subjectively rationalizable strategy for the agent is deceptive and maximizes the probability of satisfying the task in temporal logic. Such a deceptive strategy is obtained by modeling the opponent’s evolving perception of the agent’s objective and integrating it into planning. This allows the agent to manipulate the opponent’s perception so as to induce the opponent into taking actions that benefit the agent. We demonstrate the effectiveness of our deceptive planning algorithm using robot motion planning examples with temporal logic objectives and design a detection mechanism to notify the agent of potential errors in modeling the adversary’s behavior. Note to Practitioners—Many security and defense applications employ deception mechanisms for strategic advantages. This work presents a game-theoretic framework for planning deceptive strategies in stochastic environments and shows that the opponent modeling plays a key role in the design of effective deception mechanisms. For applications to cyber-physical security, the practitioners can employ temporal logic for specifying security properties in the system and analyze defense with deception using the proposed methods.

“MASKING OF TASTE OF PHARMACEUTICALS - A CURRENT REVIEW ON USEFUL TECHNOLOGIES”

The problem of bitter and obnoxious taste of drug in pediatric and geriatric formulations is a challenge to the pharmaceutical industry in the present scenario. Taste is an important factor in the development of dosage form and it is that parameter of product development which has been curiously studied and developed by the researcher for its importance. Taste masking technologies offer a great scope for invention and patents. Taste masking ensure better patient compliance for bitter or objectionable taste of drugs formulations as this desirable aspect will provides commercial gains to pharmaceutical industries due to higher market demand of products, patent protection to novel taste masked formulations and also for exclusive marketing rights. The logical objective of present review is to explore and compile different method, technologies for specic dosage forms and evaluations techniques of taste masking the obnoxious taste of drugs for better patient suitabilit

Conceptual Structuralism

This paper defends a conceptualistic version of structuralism as the most convincing way of elaborating a philosophical understanding of structuralism in line with the classical tradition. The argument begins with a revision of the tradition of “conceptual mathematics”, incarnated in key figures of the period 1850 to 1940 like Riemann, Dedekind, Hilbert or Noether, showing how it led to a structuralist methodology. Then the tension between the ‘presuppositionless’ approach of those authors, and the platonism of some recent versions of philosophical structuralism, is presented. In order to resolve this tension, we argue for the idea of ‘logical objects’ as a form of minimalist realism, again in the tradition of classical authors including Peirce and Cassirer, and we introduce the basic tenets of conceptual structuralism. The remainder of the paper is devoted to an open discussion of the assumptions behind conceptual structuralism, and—most importantly—an argument to show how the objectivity of mathematics can be explained from the adopted standpoint. This includes the idea that advanced mathematics builds on hypothetical assumptions (Riemann, Peirce, and others), which is presented and discussed in some detail. Finally, the ensuing notion of objectivity is interpreted as a form of particularly robust intersubjectivity, and it is distinguished from fictional or social ontology.

Monograph on Components, Design, and Applications of Digital Twin

Digital Twin technology is an emerging concept that has quickly gained traction in both industry and academia. A digital twin is a virtual representation of a real-world object or system. It is used to evaluate performance, and inefficiencies and design solutions to improve the efficiency of its physical counterpart. The Digital Twin is described as the integration of data between a physical and virtual asset. It is nothing but a replica of the physical object, known as a logical object, which reflects all the major characteristics and properties of the original product. To model a digital twin for a physical object or process, it uses artificial intelligence, the Internet of Things, and other supporting technologies like cloud and analytics. The review of digital twins in the manufacturing, health, and industrial sectors is mainly represented in this paper. It also discusses the significance, characteristics, and fundamentals of creating a digital twin for any physical asset or process.

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper, we describe a single exponential translation from limit-deterministic Büchi automata (LDBA) to DPA and show that it can be concatenated with a recent efficient translations from LTL to LDBA to yield a double exponential, ‘Safraless’ LTL-to-DPA construction. We also report on an implementation and a comparison with other LTL-to-DPA translations on several sets of formulas from the literature.

Careful Autonomous Agents in Environments With Multiple Common Resources

Careful rational synthesis was defined in (Condurache et al. 2021) as a quantitative extension of Fisman et al.'s rational synthesis (Fisman et al. 2010), as a model of multi-agent systems in which agents are interacting in a graph arena in a turn-based fashion. There is one common resource, and each action may decrease or increase the resource. Each agent has a temporal qualitative objective and wants to maintain the value of the resource positive. One must find a Nash equilibrium. This problem is decidable. In more practical settings, the verification of the critical properties of multi-agent systems calls for models with many resources. Indeed, agents and robots consume and produce more than one type of resource: electric energy, fuel, raw material, manufactured goods, etc. We thus explore the problem of careful rational synthesis with several resources. We show that the problem is undecidable. We then propose a variant with bounded resources, motivated by the observation that in practical settings, the storage of resources is limited. We show that the problem becomes decidable, and is no harder than controller synthesis with Linear-time Temporal Logic objectives.

Beyond Tracking: The Relationship of Opportunity to Learn and Diminished Math Outcomes for U.S. High School Students

Background/Context: In this study, we draw on evolving definitions of opportunity to learn (OTL) to conceptualize mathematics OTL has having two main components: structural OTL, defined by gatekeeping access to specific mathematics courses through the process of tracking, and instructional OTL, defined by the learning experiences of students in their mathematics courses. We also conceptualize both of these aspects of OTL as occurring in the current educational milieu, where sociopolitical factors reward or punish specific school strategies. Purpose/Objective/Research Question/Focus of Study: This study seeks to examine, using an OTL framework, the relationship between high school math teachers’ instructional practices, students’ course tracks in mathematics, students’ perceptions of mathematics, and students’ distal measures of academic attainment, including completion of advanced math coursework and completion of a high school diploma. Research Design: Using latent class analysis, this secondary data analysis analyzed the 2009 High School Longitudinal Study data from the National Center for Educational Statistics to examine mathematics instructional OTL based on math teachers’ objectives of emphasis and its relationship to structural OTL in the form of course tracking. Findings/Results: We identified “Enriched” and “Rote Knowledge and Skills” latent classes of math OTL. Teachers providing Enriched OTL emphasize the widest variety of objectives, including cognitively demanding problem-solving and logic objectives and practical applications of mathematics, while teachers providing Rote Knowledge OTL emphasize basic computation, algorithms, and computation skills. Black students, Hispanic students, and students living in poverty were more likely to be in math OTL classes focused primarily on basic concepts, algorithms, and computation, with little to no emphasis in more applied and cognitively demanding math course objectives, and they were less likely to be enrolled in advanced ninth-grade math courses. Students in Rote Knowledge OTL courses with little to no emphasis in applied and cognitively demanding math course objectives had lower mathematics identity and self-efficacy, and math achievement. Conclusions/Recommendations: This study adds to the literature suggesting that students in the United States experience an opportunity gap rather than an achievement gap, and that opportunity gaps are both structural and instructional. This study also adds to the literature suggesting student sorting systems are inherently unequal and must be addressed through policy, leadership, and cultural shifts in both schools and districts.

Object-oriented logic configuration platform design for large power grid security and stability simulation

In response to the multi-state simulation business process requirements of large power grids in actual engineering, a logic configuration platform of large power grid security and stability simulation is designed in this paper. In order to improve the application adaptability of the existing configuration software, firstly, the overall architecture and visual operation interface design of the logic configuration platform of large power grid security and stability simulation are proposed. Secondly, the key technologies to realize the generalized logic configuration platform of large power grid simulation are deeply discussed from the aspects of logic compilation and engine implementation. Thirdly, based on the configuration platform, the innovative application of intelligent large power grid operation mode arrangement system is realized. Practice shows that after the introduction of logic configuration, the time consumption is reduced by more than 85% compared with the traditional manual flow coding method and by more than 90% compared with the traditional manual batch power flow calculation and modulation process, which effectively improves the work efficiency and greatly saves the working time. In the system development, the visual logic configuration mode replaces the engineering customization mode of conventional manual software coding, which greatly improves the engineering adaptability of multi-state large power grid simulation business requirements.

Stipulations Missing Axioms in Frege's Grundgesetze der Arithmetik

Frege's Grundgesetze der Arithmetik offers a conception of cpLogic as the study of functions. Among functions are included those that are concepts, i.e. characteristic functions whose values are the logical objects that are the True/the False. What, in Frege's view, are the objects the True/the False? Frege's stroke functions are themselves concepts. His stipulation introducing his negation stroke mentions that it yields But curiously no accommodating axiom is given, and there is no such theorem. Why is it that some of Frege's informal stipulations never made appearances as axioms? I offer an explanation that sheds new light on the Grundgesetze. No axioms should over-determination the True as a logical object. Perhaps the True = 0, as would be common in the mathematics of characteristic functions. But the logical objects that are cardinal numbers are value ranges correlated with second-level numerical concepts by a non-homogeneous second-level value-range function . The existence of concepts would be ontologically circular if the True is itself a number. We find this circularity perfectly agreeable to Frege, and suggest that he had accepted that the existence of functions that are concepts in his cpLogic may well be ontologically inseparable from the existence of his value-range function. His cpLogic itself stands or falls with the viability of some value-range function.

CURSO DE ENGENHARIA DE SOFTWARE NAS ESCOLAS DO BRASIL

This is to show the importance of our state and the basic education of our country's public network, as well as providing children and adolescents with more opportunities and increasing the capacity for objective work as a logical objective, which will allow you to help them in various aspects. And sectors of their lives, professionals, the migration of teachers with teaching future personnel, presented as current, being a basic form of information technology and with a deficit of schools of concepts and engineering method. This material is organized in a clear and objective way that allows a general reading.

A corpus analysis of two by-passives in Japanese from the viewpoint of information structure

There are two types of by-passives in Japanese: ni-passive and niyotte-passive. In order to investigate the functional similarities and dissimilarities between them, a corpus analysis was performed in terms of anaphoric and cataphoric co-referencing under the framework of Givón. In consequence, it has been revealed that both the ni-passive and the niyotte-passive are selected in order to maintain topic continuity by promoting the topical logical object to the grammatical subject. Yet, it is also demonstrated that the ni-passive correlates with global topic while the niyotte-passive is pertinent to local topic.