scholarly journals On Mathematical Proving

2015 ◽  
Vol 6 (1) ◽  
pp. 130-149 ◽  
Author(s):  
Petros Stefaneas ◽  
Ioannis M. Vandoulakis

Abstract This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting-point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence in such contexts, in which problem-solving procedures and strategies are studied. We represent proof-events as problem-centered spatio-temporal processes by means of the language of the calculus of events, which captures adequately certain temporal aspects of proof-events (i.e. that they have history and form sequences of proof-events evolving in time). Further, we suggest a “loose” semantics for the proof-events, by means of Kolmogorov’s calculus of problems. Finally, we expose the intented interpretations for our logical model from the fields of automated theorem-proving and Web-based collective proving.

Author(s):  
Vala Ali Rohani ◽  
Sedigheh Moghavvemi ◽  
Tiago Pinho ◽  
Paulo Caldas

Due to the COVID‐19 pandemic, most countries are exposed to unprecedented social problems in the current global situation. According to the official reports, it caused a dramatic increase of 44% in graduates' unemployment rate in Portugal. Moreover, from the human resource point of view, the whole of Europe is expected to face a shortage of 925,000 data professionals by 2025. Given the existing situations, the DataPro aims to propose a national-level reskilling solution in big data to mitigate both social problems of unemployability and the shortage of data professionals in Portugal. DataPro project consists of four dimensions, including an online portal for the hiring companies and unemployed graduates, along with a web-based analytics talent upskilling (ATU) platform empowered by an artificial intelligence recommender system to match the reskilled data professionals and the hiring companies.


Author(s):  
Cecilia Magnusson Sjöberg

A major starting point is that transparency is a condition for privacy in the context of personal data processing, especially when based on artificial intelligence (AI) methods. A major keyword here is openness, which however is not equivalent to transparency. This is explained by the fact that an organization may very well be governed by principles of openness but still not provide transparency due to insufficient access rights and lacking implementation of those rights. Given these hypotheses, the chapter investigates and illuminates ways forward in recognition of algorithms, machine learning, and big data as critical success factors of personal data processing based on AI—that is, if privacy is to be preserved. In these circumstances, autonomy of technology calls for attention and needs to be challenged from a variety of perspectives. Not least, a legal approach to digital human sciences appears to be a resource to examine further. This applies, for instance, when data subjects in the public as well as in the private sphere are exposed to AI for better or for worse. Providing what may be referred to as a legal shield between user and application might be one remedy to shortcomings in this context.


CCIT Journal ◽  
2019 ◽  
Vol 12 (2) ◽  
pp. 170-176
Author(s):  
Anggit Dwi Hartanto ◽  
Aji Surya Mandala ◽  
Dimas Rio P.L. ◽  
Sidiq Aminudin ◽  
Andika Yudirianto

Pacman is one of the labyrinth-shaped games where this game has used artificial intelligence, artificial intelligence is composed of several algorithms that are inserted in the program and Implementation of the dijkstra algorithm as a method of solving problems that is a minimum route problem on ghost pacman, where ghost plays a role chase player. The dijkstra algorithm uses a principle similar to the greedy algorithm where it starts from the first point and the next point is connected to get to the destination, how to compare numbers starting from the starting point and then see the next node if connected then matches one path with the path). From the results of the testing phase, it was found that the dijkstra algorithm is quite good at solving the minimum route solution to pursue the player, namely by getting a value of 13 according to manual calculations


Trictrac ◽  
2016 ◽  
Vol 9 ◽  
Author(s):  
Liliana Danciu ◽  
Petru Adrian Danciu

The axes of the creation and birth of the imaginary as a mythical language. Our research follows the relationships of the concepts that are taking into account creation on the double axis of verticality and horizontality. We highlight those symbolic elements which would later constitute the mythical language about the sacred space-temporality. Inside this space-temporality a rich spectrum of mythical images develops; images capable of explaining the relationships of the creation plans. Without a religious perception of the temporality, the conceptualization of the axis would remain a philosophical approach. Through our point of view, the two are born simultaneously. Thanks to them, creation can be imagined. The first “frozen” formula of the mystical human spirit can be thought, brought to a palpable reality, expressed in an oral and then a written form. Studied together, temporality (sacred or not) and space are permanently imagined together. For example, a loss of mundane temporality in the secret ecstasy that offers to the soul an ascending direction does not mean getting out of universal temporality, but of its mundane section. In the sacred space the soul relates to time. Even the gods are submitted by the sacred, Aeon sometimes being synonymous to destiny. The universal creator seems to evade every touch, but not consistently, only when he avoids the descent into its created worlds. In sacredness, time and space seem or become confused, both expressing the same reality, by the immediate swing from thinking to deed. The mythical imagery conceives the displacement in the primary space-temporality by the spoken word. So, for something to appear and live, the spoken word is required. Even the divine dream appears as a pre-word of a creator’s thought. The thought follows the spoken word, the spoken word follows the gestures which finally indicate the meanings of the creative act, controlling the rhythm of the creation days. These three will later be adapted through imitation in rite. We are now situated at the limit of the physical world, a real challenge for the mythical imagery. The general feature of the mythical expression on the creation of the material world is the state of the divinity’s exhaustion, most often conceptualized by sacrifice or divine fatigue. The world geography identifies with the anatomy of a self-gutted god. Practically, material creation is most likely the complete revelation of God’s body autopsy. As each body decomposes, everything in it is an illusion. An axial approach of the phenomenon exists in all religious systems. The created element’s origin is exterior, with or without a pre-existing matter, by a god’s sacrifice or only because it has to be that way. This is the starting point of the discussion on the symbolism of axiality as a reason for the constitution of the language of creation, capable of retelling the imaginary construction of myth in an oral and then written form.


2012 ◽  
pp. 66-80
Author(s):  
Michał Mrozowicki

Michel Butor, born in 1926, one of the leaders of the French New Novel movement, has written only four novels between 1954 and 1960. The most famous of them is La Modification (Second thoughts), published in 1957. The author of the paper analyzes two other Butor’s novels: L’Emploi du temps (Passing time) – 1956, and Degrés (Degrees) – 1960. The theme of absence is crucial in both of them. In the former, the novel, presented as the diary of Jacques Revel, a young Frenchman spending a year in Bleston (a fictitious English city vaguely similar to Manchester), describes the narrator’s struggle to survive in a double – spatial and temporal – labyrinth. The first of them, formed by Bleston’s streets, squares and parks, is symbolized by the City plan. During his one year sojourn in the city, using its plan, Revel learns patiently how to move in its different districts, and in its strange labyrinth – strange because devoid any centre – that at the end stops annoying him. The other, the temporal one, symbolized by the diary itself, the labyrinth of the human memory, discovered by the narrator rather lately, somewhere in the middle of the year passed in Bleston, becomes, by contrast, more and more dense and complex, which is reflected by an increasinly complex narration used to describe the past. However, at the moment Revel is leaving the city, he is still unable to recall and to describe the events of the 29th of February 1952. This gap, this absence, symbolizes his defeat as the narrator, and, in the same time, the human memory’s limits. In Degrees temporal and spatial structures are also very important. This time round, however, the problems of the narration itself, become predominant. Considered from this point of view, the novel announces Gerard Genette’s work Narrative Discourse and his theoretical discussion of two narratological categories: narrative voice and narrative mode. Having transgressed his narrative competences, Pierre Vernier, the narrator of the first and the second parts of the novel, who, taking as a starting point, a complete account of one hour at school, tries to describe the whole world and various aspects of the human civilization for the benefit of his nephew, Pierre Eller, must fail and disappear, as the narrator, from the third part, which is narrated by another narrator, less audacious and more credible.


2018 ◽  
Vol 28 (6) ◽  
pp. 1993-2005
Author(s):  
Shemsije Demiri ◽  
Rudina Kaja

This paper deals with the right to property in general terms from its source in Roman law, which is the starting point for all subsequent legal systems. As a result of this, the acquisition of property rights is handled from the historical point of view, with the inclusion of various local and international literature and studies, as well as the legal aspect devoted to the respective civil codes of the states cited in the paper.Due to such socio-economic developments, state ownership and its ownership function have changed. The state function as owner of property also changed in Macedonia's property law.The new constitutional sequence of the Republic of Macedonia since 1991 became privately owned as a dominant form of ownership, however, state ownership also exists.This process of transforming social property into state or private (dissolves), in Macedonia starts from Yugoslavia through privatization, return and denationalization measures, on which basis laws on privatization have been adopted. Because of this, there will be particularly intensive negotiations regaring the remaining state assets.


2020 ◽  
Vol 27 (5) ◽  
pp. 400-410
Author(s):  
Valentina De Luca ◽  
Luigi Mandrich

: Enzymes are among the most studied biological molecules because better understanding enzymes structure and activity will shed more light on their biological processes and regulation; from a biotechnological point of view there are many examples of enzymes used with the aim to obtain new products and/or to make industrial processes less invasive towards the environment. Enzymes are known for their high specificity in the recognition of a substrate but considering the particular features of an increasing number of enzymes this is not completely true, in fact, many enzymes are active on different substrates: this ability is called enzyme promiscuity. Usually, promiscuous activities have significantly lower kinetic parameters than to that of primary activity, but they have a crucial role in gene evolution. It is accepted that gene duplication followed by sequence divergence is considered a key evolutionary mechanism to generate new enzyme functions. In this way, promiscuous activities are the starting point to increase a secondary activity in the main activity and then get a new enzyme. The primary activity can be lost or reduced to a promiscuous activity. In this review we describe the differences between substrate and enzyme promiscuity, and its rule in gene evolution. From a practical point of view the knowledge of promiscuity can facilitate the in vitro progress of proteins engineering, both for biomedical and industrial applications. In particular, we report cases regarding esterases, phosphotriesterases and cytochrome P450.


2020 ◽  
Vol 16 (6) ◽  
pp. 784-795
Author(s):  
Krisnna M.A. Alves ◽  
Fábio José Bonfim Cardoso ◽  
Kathia M. Honorio ◽  
Fábio A. de Molfetta

Background:: Leishmaniosis is a neglected tropical disease and glyceraldehyde 3- phosphate dehydrogenase (GAPDH) is a key enzyme in the design of new drugs to fight this disease. Objective:: The present study aimed to evaluate potential inhibitors of GAPDH enzyme found in Leishmania mexicana (L. mexicana). Methods: A search for novel antileishmanial molecules was carried out based on similarities from the pharmacophoric point of view related to the binding site of the crystallographic enzyme using the ZINCPharmer server. The molecules selected in this screening were subjected to molecular docking and molecular dynamics simulations. Results:: Consensual analysis of the docking energy values was performed, resulting in the selection of ten compounds. These ligand-receptor complexes were visually inspected in order to analyze the main interactions and subjected to toxicophoric evaluation, culminating in the selection of three compounds, which were subsequently submitted to molecular dynamics simulations. The docking results showed that the selected compounds interacted with GAPDH from L. mexicana, especially by hydrogen bonds with Cys166, Arg249, His194, Thr167, and Thr226. From the results obtained from molecular dynamics, it was observed that one of the loop regions, corresponding to the residues 195-222, can be related to the fitting of the substrate at the binding site, assisting in the positioning and the molecular recognition via residues responsible for the catalytic activity. Conclusion:: he use of molecular modeling techniques enabled the identification of promising compounds as inhibitors of the GAPDH enzyme from L. mexicana, and the results obtained here can serve as a starting point to design new and more effective compounds than those currently available.


Author(s):  
Amit Kumar Bhanja ◽  
P.C Tripathy

Innovation is the key to opportunities and growth in today’s competitive and dynamic business environment. It not only nurtures but also provides companies with unique dimensions for constant reinvention of the existing way of performance which enables and facilitates them to reach out to their prospective customers more effectively. It has been estimated by Morgan Stanley that India would have 480 million shoppers buying products online by the year 2026, a drastic increase from 60 million online shoppers in the year 2016. E-commerce companies are aggressively implementing innovative methods of marketing their product offerings using tools like digital marketing, internet of things (IoT)and artificial intelligence to name a few. This paper focuses on outlining the innovative ways of marketing that the E-Commerce sector implements in orders to increase their customer base and aims at determining the future scope of this area. A conceptual comparative study of Amazon and Flipkart helps to determine which marketing strategies are more appealing and beneficial for both the customers and companies point of view.


Sign in / Sign up

Export Citation Format

Share Document