Filters








77,292 Hits in 6.8 sec

Quantum logic as a dynamic logic

Alexandru Baltag, Sonja Smets
2010 Synthese  
Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional.  ...  We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic.  ...  The aim of logical dynamics is to capture in one and the same logical system both the results and the triggers for information change.  ... 
doi:10.1007/s11229-010-9783-6 fatcat:iwhwt5k3xjeibobrffjk7b36l4

Logic Column 18: Alternative Logics: A Book Review [article]

Riccardo Pucella
2007 arXiv   pre-print
This article discusses two books on the topic of alternative logics in science: "Deviant Logic", by Susan Haack, and "Alternative Logics: Do Sciences Need Them?", edited by Paul Weingartner.  ...  The resulting logic seems to be a weak form of quantum logic.  ...  intent here is to model various forms of reasoning, and the resulting logics are strongly related to philosophical logics [24] .  ... 
arXiv:0705.1367v1 fatcat:sehpdwjpwvbepakwz65tkzokze

Logic and Learning [chapter]

Nina Gierasimczuk, Vincent F. Hendricks, Dick de Jongh
2014 Outstanding Contributions to Logic  
The first author would also like to thank Douwe Kiela and Thomas Icard for many helpful discussions of this material. The second author was supported by NWO Vici grant 277-80-001.  ...  Acknowledgments We would like to thank Johan van Benthem, Iris van Rooij, and Keith Stenning for many comments and suggestions.  ...  Classical descriptive complexity theory deals with the relationship between logical definability and computational complexity.  ... 
doi:10.1007/978-3-319-06025-5_10 fatcat:m64rmwd22zdajb2bfb2ogsi4wq

Realizing Default Logic over Description Logic Knowledge Bases [chapter]

Minh Dao-Tran, Thomas Eiter, Thomas Krennwallner
2009 Lecture Notes in Computer Science  
We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs).  ...  The transformations, which are implemented in a front-end to a DL-reasoner, exploit additional constraints to prune the search space via relations between default conclusions and justifications.  ...  The former is apparent from the elegant formulation of the new transformations, while the latter is evidenced by experimental results.  ... 
doi:10.1007/978-3-642-02906-6_52 fatcat:pjejlt4htzgnzfwwwojt57p22u

Learning in Clausal Logic: A Perspective on Inductive Logic Programming [chapter]

Peter Flach, Nada Lavrač
2002 Lecture Notes in Computer Science  
Inductive logic programming is a form of machine learning from examples which employs the representation formalism of clausal logic.  ...  Others have gone beyond Prolog by investigating learning tasks in which the hypotheses are not definite clause programs, but for instance sets of indefinite clauses or denials, constraint logic programs  ...  The section on the state-of-the-art ILP techniques reflects some of the research results achieved in the ESPRIT projects no. 6020 ILP  ... 
doi:10.1007/3-540-45628-7_17 fatcat:i24bt6wv65crjjfybhcm7uwda4

Learning with Feature Description Logics [chapter]

Chad M. Cumby, Dan Roth
2003 Lecture Notes in Computer Science  
The paradigm utilizes description logics and concepts graphs in the service of learning relational models using efficient propositional learning algorithms.  ...  The paradigm was designed to support learning in domains that are relational but where the amount of data and size of representation learned are very large; we exemplify it here, for clarity, on the classical  ...  In fact, other CLASSIC-like description logics as well as their probabilistic variations, can be incorporated into the framework with the addition of a Feature Generating Function, and participate as building  ... 
doi:10.1007/3-540-36468-4_3 fatcat:h6frg4h3hrhcnm44tg2i7mmiiy

Formalization as the Immanent Part of Logical Solving

Nikolai N. Nepejvoda
2018 Logical Investigations  
It starts from general characteristic of the applied logic as a tool: 1. to bound logic with its applications in theory and practice; 2. to import methods and methodologies from other domains into logic  ...  The formalizing precedes it and the deformalizing follows it.  ...  For example the classical logic sometimes can give a construction and sometimes is purely descriptive. Constructions and descriptions can take into account resources explicitly or implicitly.  ... 
doi:10.21146/2074-1472-2018-24-1-129-145 fatcat:ifgxfvssgze5zoibim7sruqnxi

Machines, Logic and Quantum Physics [article]

David Deutsch, Artur Ekert, Rossella Lupacchini
1999 arXiv   pre-print
Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, are purely logical  ...  Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics  ...  This knowledge was created as the result of conjectures, experimentation, and refutations.  ... 
arXiv:math/9911150v1 fatcat:nr2hykyppzcodpuloykczvvvei

Abductive Logic Programming

A. C. KAKAS, R. A. KOWALSKI, F. TONI
1992 Journal of Logic and Computation  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational  ...  At the theoretical level of complexity, formal results show that in general the problem of computing abduction is hard [26] .  ... 
doi:10.1093/logcom/2.6.719 fatcat:3voi2rfiujdsrllrrgbhbf2qzq

The new logic

D Gabbay
2001 Logic Journal of the IGPL  
By these lights, logical theory has two principal tasks. The first is an account of what a logical agent is. The second is a description of how this behaviour is to be modelled.  ...  Critics of the logic of discovery, those who think it a misbegotten enterprise as such, are frequently drawn to the idea that accounts of how people entertain and select hypotheses, form and deploy conjectures  ...  Logic is a theoretical description of a logical agent.  ... 
doi:10.1093/jigpal/9.2.141 fatcat:7asmpe7mbbbw3idlpvll6pvoxq

Medicinal chemistry and fuzzy logic

Marco Russo, N.A. Santagati, Edoardo Lo Pinto
1998 Information Sciences  
This paper illustrates a novel technique based on FuTly Logic (FL) that allows both the prediction of pharmacological activity and the development of new compounds, showing a direction that is promising  ...  The examples concern compounds active against the Human lmmunodcficiency Virus (HIV) type-1 by inhibition of the Reverse Transcriptase (RT) and some dcrivates of 9-benzyl purines against Rhinovirus serotype  ...  Of course, SRAH was also chosen taking into account only the learning patterns. The results obtained were 100% recognition of both the learning and testing examples.  ... 
doi:10.1016/s0020-0255(97)10034-2 fatcat:sj27jenafjhuble7odohwajdny

Learnability of Description Logic Programs [chapter]

Kietz Jörg-Uwe
2003 Lecture Notes in Computer Science  
On the theoretical side, this allows us to transfer the learnability results known for ILP to Carin-ALN rules.  ...  By allowing description logic terms as predicates of literals in datalog rules, it extends the normal bias used in ILP as it allows the use of all quantified variables in the body of a clause.  ...  I thank François Goasdoué, Ralf Molitor, Céline Rouveirol and Véronique Ventos for very helpful and interesting discussions about this topic and earlier drafts of this paper.  ... 
doi:10.1007/3-540-36468-4_8 fatcat:v27e4aywhrgqrbyidrgmeeeusu

The Paraconsistent Logic of Quantum Superpositions

N. da Costa, C. de Ronde
2013 Foundations of physics  
Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by 'superposition' in each case is extremely different.  ...  right from the start".  ...  Acknowledgments The authors wish to thank an anonymous referee for his/her careful reading of our manuscript and useful comments.  ... 
doi:10.1007/s10701-013-9721-9 fatcat:mmehvyqcovfivkxwagi3utdpau

Probabilistic Logic Learning [chapter]

2014 Encyclopedia of Social Network Analysis and Mining  
This paper provides an introductory survey and overview of the stateof-the-art in probabilistic logic learning through the identification of a number of important probabilistic, logical and learning concepts  ...  The past few years have witnessed an significant interest in probabilistic logic learning, i.e. in research lying at the intersection of probabilistic reasoning, logical representations, and machine learning  ...  Acknowledgements This work benefited from the European Union IST project IST-2001-33053 (Application of Probabilistic Inductive Logic Programming -APRIL).  ... 
doi:10.1007/978-1-4614-6170-8_100530 fatcat:3wfefnqcavhopd4xewydxsutya

Probabilistic logic learning

Luc De Raedt, Kristian Kersting
2003 SIGKDD Explorations  
This paper provides an introductory survey and overview of the stateof-the-art in probabilistic logic learning through the identification of a number of important probabilistic, logical and learning concepts  ...  The past few years have witnessed an significant interest in probabilistic logic learning, i.e. in research lying at the intersection of probabilistic reasoning, logical representations, and machine learning  ...  Acknowledgements This work benefited from the European Union IST project IST-2001-33053 (Application of Probabilistic Inductive Logic Programming -APRIL).  ... 
doi:10.1145/959242.959247 fatcat:m7xplwu6effohcvrrspqhbqbcq
« Previous Showing results 1 — 15 out of 77,292 results