scholarly journals Adapting Logic to Physics: The Quantum-Like Eigenlogic Program

Entropy ◽  
2020 ◽  
Vol 22 (2) ◽  
pp. 139 ◽  
Author(s):  
Zeno Toffano ◽  
François Dubois
Keyword(s):  
Information Technologies ◽  
Logical Truth ◽  
Quantum Probability ◽  
Combinatory Logic ◽  
Fuzzy Membership Function ◽  
Projection Operators ◽  
Logical Operators ◽  
Binary Alphabet ◽  
Fast Development ◽  
Logical Semantics

Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlogic. It expresses logical propositions using linear algebra. Logical functions are represented by operators and logical truth tables correspond to the eigenvalue structure. It extends the possibilities of classical logic by changing the semantics from the Boolean binary alphabet { 0 , 1 } using projection operators to the binary alphabet { + 1 , − 1 } employing reversible involution operators. Also, many-valued logical operators are synthesized, for whatever alphabet, using operator methods based on Lagrange interpolation and on the Cayley–Hamilton theorem. Considering a superposition of logical input states one gets a fuzzy logic representation where the fuzzy membership function is the quantum probability given by the Born rule. Historical parallels from Boole, Post, Poincaré and Combinatory Logic are presented in relation to probability theory, non-commutative quaternion algebra and Turing machines. An extension to first order logic is proposed inspired by Grover’s algorithm. Eigenlogic is essentially a logic of operators and its truth-table logical semantics is provided by the eigenvalue structure which is shown to be related to the universality of logical quantum gates, a fundamental role being played by non-commutativity and entanglement.

scholarly journals Quantum eigenlogic observables applied to the study of fuzzy behaviour of Braitenberg vehicle quantum robots

Kybernetes ◽  
2019 ◽  
Vol 48 (10) ◽  
pp. 2307-2324 ◽  
Author(s):  
Zeno Toffano ◽  
François Dubois
Keyword(s):  
Fuzzy Logic ◽  
Quantum Control ◽  
Measurement Theory ◽  
Mathematical Formulation ◽  
Quantum Probability ◽  
Fuzzy Membership Function ◽  
Projection Operators ◽  
Logical Connective ◽  
Content Type ◽  
Braitenberg Vehicle

Purpose The purpose of this paper is to apply the quantum “eigenlogic” formulation to behavioural analysis. Agents, represented by Braitenberg vehicles, are investigated in the context of the quantum robot paradigm. The agents are processed through quantum logical gates with fuzzy and multivalued inputs; this permits to enlarge the behavioural possibilities and the associated decisions for these simple vehicles. Design/methodology/approach In eigenlogic, the eigenvalues of the observables are the truth values and the associated eigenvectors are the logical interpretations of the propositional system. Logical observables belong to families of commuting observables for binary logic and many-valued logic. By extension, a fuzzy logic interpretation is proposed by using vectors outside the eigensystem of the logical connective observables. The fuzzy membership function is calculated by the quantum mean value (Born rule) of the logical projection operators and is associated to a quantum probability. The methodology of this paper is based on quantum measurement theory. Findings Fuzziness arises naturally when considering systems described by state vectors not in the considered logical eigensystem. These states correspond to incompatible and complementary systems outside the realm of classical logic. Considering these states allows the detection of new Braitenberg vehicle behaviours related to identified emotions; these are linked to quantum-like effects. Research limitations/implications The method does not deal at this stage with first-order logic and is limited to different families of commuting logical observables. An extension to families of logical non-commuting operators associated to predicate quantifiers could profit of the “quantum advantage” due to effects such as superposition, parallelism, non-commutativity and entanglement. This direction of research has a variety of applications, including robotics. Practical implications The goal of this research is to show the multiplicity of behaviours obtained by using fuzzy logic along with quantum logical gates in the control of simple Braitenberg vehicle agents. By changing and combining different quantum control gates, one can tune small changes in the vehicle’s behaviour and hence get specific features around the main basic robot’s emotions. Originality/value New mathematical formulation for propositional logic based on linear algebra. This methodology demonstrates the potentiality of this formalism for behavioural agent models (quantum robots).

scholarly journals ROLE OF PERSONAL CENTRATION OF HIGHER SCHOOL TEACHER IN MODERN CONDITIONS

2018 ◽  
pp. 145-150
Author(s):  
M. Labach
Keyword(s):  
Information Technologies ◽  
School Teacher ◽  
Educational Environment ◽  
Soviet Society ◽  
The World ◽  
Fast Development ◽  
Pedagogical Science

The problem of the teacher’s personal centration is extremely relevant nowadays due to the challenges that arise in the society and the educational environment under the influence of civilizational changes in the world. The negative contradictions of the post-Soviet society (the society was marked by strongly developed collectivist consciousness), the powerful ultra-fast development of information technologies, and other factors in the educational environment require adequate responses from participants of the pedagogical interaction. New conditions encourage the intensification of facilitation teaching, which is currently developing in the world and in Ukraine as the most appropriate to the humanistic ideas of pedagogical science, directing all the attention to the personality of a learner. Therefore, formation of a person, ready to express his or her opinion freely, to be individual, to take responsibility for himself/herself and to declare himself - that is the task of a personally centered teacher in the modern conditions.

scholarly journals Geoinformatics Study at the Czech Technical University in Prague

10.14311/790 ◽  
2005 ◽  
Vol 45 (6) ◽  
Author(s):  
L. Mervart ◽  
A. Čepek
Keyword(s):  
Information Technologies ◽  
Astronomical Institute ◽  
Software Projects ◽  
Study Program ◽  
Know How ◽  
Fast Development ◽  
Education Needs ◽  
Basic Ideas ◽  
Geodetic Surveying

At the CTU in Prague, there is a long tradition of master degree courses in geodesy, geodetic surveying and cartography. Taking into account the fast development of information technologies in recent decades, we decided to prepare a new study program that would combine computer science with a background of geodetic and cartographic know-how.  Apart from other sources, our plans were inspired and influenced by the Review of Education Needs, a report prepared by Stig Enemark (Prague 1998), and by our experience from several Virtual Academy workshops.We have decided to call this program „Geoinformatics“ to emphasize the role of computer technologies in collecting, analyzing and exploiting information about our planet.  Within this presentation we will explain the basic ideas behind our new study program and emphasize the features that distinguish it from classical geodetic or cartographic programs. We will mention the connection between our new study program and several geodetic and software projects running at our institute - software development for real-time GPS applications, cooperation with the Astronomical Institute, University of Berne, on the development of so-called Bernese GPS Software, the GNU project Gama for adjustment of geodetic networks, etc. 

scholarly journals VIRTUAL LABORATORY FOR COMPUTER-AIDED DESIGN OF BIOSENSORS

2014 ◽  
pp. 68-76
Author(s):  
O. Palagin ◽  
V. Romanov ◽  
I. Galelyuka ◽  
M. Kachanovska
Keyword(s):  
Computer Aided Design ◽  
Information Technologies ◽  
Virtual Laboratory ◽  
Virtual Laboratories ◽  
Computer Aided ◽  
Fast Development ◽  
Aided Design

Fast development of information technologies puts strict requirements to terms and costs of designing of computer devices and systems. These requirements may be fulfilled with help of virtual methods of designing, which are realized by means of virtual laboratories of computer-aided design.

scholarly journals Components and Analysis Method of Enterprise Resource Planning (ERP) Requirements in Small and Medium Enterprises (SMEs)

2016 ◽  
Vol 6 (2) ◽  
pp. 682
Author(s):  
Yousef Khaleel ◽  
Anmar Abuhamdah ◽  
Mutaz Abu Sara ◽  
Bassam Al-Tamimi
Keyword(s):  
Enterprise Resource Planning ◽  
Information Technologies ◽  
Small And Medium Enterprises ◽  
Process Analysis ◽  
Resource Planning ◽  
Analysis Method ◽  
Erp Systems ◽  
Erp System ◽  
Fast Development ◽  
Medium Enterprises

With the fast development of information technologies and enterprise software, Enterprise Resource Planning (ERP) systems are increasingly adopted by more small and medium enterprises (SMEs). Based on this trend, it is necessary to develop ERP systems in a manner that meets and fits the SMEs requirements and needs. This paper proposes conceptual components of ERP requirements that are required for generating ERP system functions. In addition, it proposes an ERP requirements analysis method for ERP system developments in order to produce the proper ERP system functions for SMEs. The advantage of this analysis method is that it is easy to analyze and integrate the special requirements of the ERP development for distinguishing a sub-sector of SMEs. In this paper, by analyzing the components of requirements and the relationship of the business process modelling, several basic concepts are given and the method of the process analysis and modelling is also expressed.

scholarly journals Wykorzystanie nowych technologii w orientacji przestrzennej osób z niepełnosprawnością wzroku

2018 ◽  
pp. 53-66
Author(s):  
Kamila Miler-Zdanowska
Keyword(s):  
Visually Impaired ◽  
Information Technologies ◽  
New Technologies ◽  
Blind People ◽  
Research Projects ◽  
Blind And Visually Impaired ◽  
Visually Impaired People ◽  
Impaired People ◽  
Fast Development ◽  
Technical Solutions

The fast development of electronic and information technologies makes them becoming ever more present in the lives of the blind and visually impaired people. The aim of this article is to present modes of mobility of people with visual impairment, with particular focus on new technologies. The article contains the classification and characteristics of electronic aids used in spatial orientation and mobility for blind people. It also presents the benefits and difficulties of using these types of new technologies. The article presents research projects related to the construction and testing of new technical solutions in Poland.

Components and Analysis Method of Enterprise Resource Planning (ERP) Requirements in Small and Medium Enterprises (SMEs)

2016 ◽  
Vol 6 (2) ◽  
pp. 682
Author(s):  
Yousef Khaleel ◽  
Anmar Abuhamdah ◽  
Mutaz Abu Sara ◽  
Bassam Al-Tamimi
Keyword(s):  
Enterprise Resource Planning ◽  
Information Technologies ◽  
Small And Medium Enterprises ◽  
Process Analysis ◽  
Resource Planning ◽  
Analysis Method ◽  
Erp Systems ◽  
Erp System ◽  
Fast Development ◽  
Medium Enterprises

With the fast development of information technologies and enterprise software, Enterprise Resource Planning (ERP) systems are increasingly adopted by more small and medium enterprises (SMEs). Based on this trend, it is necessary to develop ERP systems in a manner that meets and fits the SMEs requirements and needs. This paper proposes conceptual components of ERP requirements that are required for generating ERP system functions. In addition, it proposes an ERP requirements analysis method for ERP system developments in order to produce the proper ERP system functions for SMEs. The advantage of this analysis method is that it is easy to analyze and integrate the special requirements of the ERP development for distinguishing a sub-sector of SMEs. In this paper, by analyzing the components of requirements and the relationship of the business process modelling, several basic concepts are given and the method of the process analysis and modelling is also expressed.

scholarly journals Geoinformatics Study at the CTU in Prague

2006 ◽  
Vol 1 ◽  
pp. 4-11 ◽  
Author(s):  
Leoš Mervart ◽  
Aleš Čepek
Keyword(s):  
Information Technologies ◽  
Astronomical Institute ◽  
Software Projects ◽  
Study Program ◽  
Know How ◽  
Fast Development ◽  
Education Needs ◽  
Basic Ideas ◽  
Geodetic Surveying

<p>At the CTU in Prague, there is a long tradition of master degree courses in geodesy, geodetic surveying and cartography. Taking into account the fast development of information technologies in recent decades, we decided to prepare a new study program that would combine computer science with a background of geodetic and cartographic know-how. Apart from other sources, our plans were inspired and influenced by the Review of Education Needs, a report prepared by Stig Enemark (Prague 1998), and by our experience from several Virtual Academy workshops.</p><p><br />We have decided to call this program “Geoinformatics” to emphasize the role of computer technologies in collecting, analyzing and exploiting information about our planet. Within this presentation we will explain the basic ideas behind our new study program and emphasize the features that distinguish it from classical geodetic or cartographic programs. We will mention the connection between our new study program and several geodetic and software projects running at our institute – software development for real-time GPS applications, cooperation with the Astronomical Institute, University of Berne, on the development of so-called Bernese GPS Software, the GNU project Gama for adjustment of geodetic networks, etc.</p>

Computations of Protein Hydrophobicity Profile as Virtual Experiment in Gridspace Virtual Laboratory

2012 ◽  
Vol 8 (4) ◽  
pp. 361-372
Author(s):  
Eryk Ciepiela ◽  
Tomasz Jadczyk ◽  
Daniel Harężlak ◽  
Marek Kasztelnik ◽  
Piotr Nowakowski ◽  
...  
Keyword(s):  
High Performance ◽  
Information Technologies ◽  
Water Environment ◽  
Protein Body ◽  
Software Tool ◽  
Computing Platform ◽  
Fast Development ◽  
Distributed Computing Platform ◽  
Hydrophilic Residues ◽  
And Function

ABSTRACT The terms like e-science, e-poster or e-health are nowadays commonly used. Special disciplines allowing fast development in these fields of science are commonly available. This paper presents e-paper [1] powered by the Collage Authoring Environment [2] e-publication system which is backed by the GridSpace2 [3] distributed computing platform. This e-publication in a form of WWW page, apart from the traditional textual and graphical content, embeds an on-line software tool for the analysis of the 3-D structure of protein based on the hydrophobicity distribution in protein body. The tool uses GridSpace2 platform in order to carry out computations on the PL-Grid [4] high-performance computing infrastructure. This work shows how this specific epublication was accomplished utilizing above mentioned already existing information technologies and e-infrastructure The tool employs the model called “fuzzy oil drop” that assumes the hydrophobicity distribution in proteins being in form of 3-D Gauss function. The protein of the hydrophobicity core structure accordant with the model with all hydrophobic residues buried in the central part of the protein body and hydrophilic residues exposed toward the water environment could be the protein very well soluble although representing no any form of activity. This is why the observed discrepancies between idealized and observed hydrophobicity distribution is presented in form of ΔH̃<sub>i</sub> profile revealing the localization of residues representing local hydrophobicity excess as well as local hydrophobicity deficiency. The distribution of these discrepancies appeared to be specific and function related. The e-publication makes available the tool to calculate the ΔH̃<sub>i</sub> profile of any protein under consideration. The interpretation of the final results is specific for particular protein.

Sign in / Sign up

Export Citation Format

Share Document