Filters








74 Hits in 9.5 sec

Splitting an operator

Joost Vennekens, David Gilis, Marc Denecker
2006 ACM Transactions on Computational Logic  
Similar results exist for other non-monotonic formalisms, such as auto-epistemic logic and default logic.  ...  We demonstrate the usefulness of these results, by generalizing existing results for logic programming, auto-epistemic logic and default logic.  ...  These algebraic results will then be used to derive concrete splitting results for logic programming, auto-epistemic logic and default logic.  ... 
doi:10.1145/1166109.1166115 fatcat:tbaliy5co5acnnrzprpm2m4y7m

Splitting an operator

Joost Vennekens, David Gilis, Marc Denecker
2006 ACM Transactions on Computational Logic  
Similar results exist for other non-monotonic formalisms, such as auto-epistemic logic and default logic.  ...  We demonstrate the usefulness of these results, by generalizing existing results for logic programming, auto-epistemic logic and default logic.  ...  These algebraic results will then be used to derive concrete splitting results for logic programming, auto-epistemic logic and default logic.  ... 
doi:10.1145/1183278.1183284 fatcat:sf2tgq3pj5frhd7ibvj7xcfah4

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics [article]

Joost Vennekens, David Gilis, Marc Denecker
2006 arXiv   pre-print
Similar results exist for other non-monotonic formalisms, such as auto-epistemic logic and default logic.  ...  We demonstrate the usefulness of these results, by generalizing existing results for logic programming, auto-epistemic logic and default logic.  ...  These algebraic results will then be used to derive concrete splitting results for logic programming, auto-epistemic logic and default logic.  ... 
arXiv:cs/0405002v2 fatcat:xseovbeil5hjlluh5qk3ifcszi

Abandoning art in the name of art [chapter]

Esa Kirkkopelto
2018 Transpositions: Aesthetico-Epistemic Operators in Artistic Research  
Rather than repeating basic definitions of the concept as it is used, for instance, in music, where it refers to a change of the key of a composition, or in linear algebra, where the term denotes the switching  ...  Hence, a number of the book's authors suggest that transpositional operations may even be fundamental to the formation of meaning despite the difficulty of assessing their epistemic importance.  ...  Hence, it is important not to confuse the result of a transpositional operation with its beginning and to highlight also its generative dimension.  ... 
doi:10.11116/9789461662538.ch02 fatcat:c5furffzvrcufgmpznfmjd4hpy

Logic programming revisited: logic programs as inductive definitions

Marc Denecker, Maurice Bruynooghe, Victor Marek
2001 ACM Transactions on Computational Logic  
Another line of research developed the view of logic programming as a non-monotonic reasoning formalism strongly related to Default Logic and Auto-epistemic Logic.  ...  It is argued that this thesis results in an alternative justification of the well-founded model as the unique intended model of the logic program.  ...  The first author also wants to thank Danny De Schreye and Eugenia Ternovska for support and comments on earlier versions of the paper.  ... 
doi:10.1145/383779.383789 fatcat:ndazuobvzvfzjf53wm5fnswj2y

Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints

Bart Bogaerts, Luís Cruz-Filipe
2021 ACM Transactions on Computational Logic  
Approximation fixpoint theory (AFT) is an algebraic study of fixpoints of lattice operators that unifies various knowledge representation formalisms.  ...  We apply our extended stratification theory to AICs and find that existing notions of stratification in AICs are covered by this general algebraic definition of stratification.  ...  These algebraic results are directly applicable to all application domains of AFT.  ... 
doi:10.1145/3430750 fatcat:ayq77dljzrao3elkidbn24fpbm

Cognitive Constructivism and the Epistemic Significance of Sharp Statistical Hypotheses in Natural Sciences [article]

J.M. Stern
2020 arXiv   pre-print
The basic metaphor presented in this text, as a foundation for cognitive constructivism, is that of an eigen-solution, and the verification of its objective epistemic status.  ...  This metaphor has proven to be very useful, leading the development of Bayesian statistics since its XX-th century revival, rooted on the work of de Finetti, Savage and others.  ...  It also summarizes the logical (algebraic) properties of the e-value, and its relations to other classical support calculi, including possibilistic calculus and logic, paraconsistent and classical.  ... 
arXiv:1006.5471v8 fatcat:v375ybolz5bkbe6ordmjnnulhi

Speculative Physics: the Ontology of Theory and Experiment in High Energy Particle Physics and Science Fiction [article]

Clarissa Ai Ling Lee
2014 arXiv   pre-print
in relation to its position at the intersection of old (current) and the potential for new possibilities in quantum physics; I then position my findings on the Higgs boson in connection to the double-slit  ...  experiment that represents foundational inquiries into quantum physics, to demonstrate the bridge between fundamental physics and high energy particle physics.  ...  Language becomes the epistemic translator between an actual being (scientific subject) and its representation (mathematics and symbolic logic).  ... 
arXiv:1406.5636v1 fatcat:xdy4cigbizcrna3hpkk2r2r6xq

Controlling Recurrent Neural Networks by Conceptors [article]

Herbert Jaeger
2017 arXiv   pre-print
It becomes possible to learn, store, abstract, focus, morph, generalize, de-noise and recognize a large number of dynamical patterns within a single neural system; novel patterns can be added without interfering  ...  The human brain is a dynamical system whose extremely complex sensor-driven neural processes give rise to conceptual, logical cognition.  ...  In traditional logics and their applications, an important role is played by cal- culi.  ... 
arXiv:1403.3369v3 fatcat:4gaiy3cikvervdjvsmp47b2byy

Proceedings of the Third Workshop on Formal Integrated Development Environment

Kim G. Larsen
2017 Electronic Proceedings in Theoretical Computer Science  
We would like to put our preliminary results of our proposed approach together and evaluate (1) whether DSE is applicable to SPLs in order to e ciently derive the behavioural changes among di↵erent products  ...  Unfortunately, Zoltán did not live to see it completed. Future Work We are currently working on connecting the calculated summaries to a parameterised unit testing framework.  ...  The knowledge based logic, KBL, also needs to be extended. KBL is a first order logic which includes the knowledge modality K from epistemic logic.  ... 
doi:10.4204/eptcs.240.0.1 fatcat:imfjolcxmrfm7kqiz523rbyj5i

Control Strategies for Self-Adaptive Software Systems

Antonio Filieri, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro V. Papadopoulos, Suprio Ray, Amir M. Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel, Martina Maggio, Konstantinos Angelopoulos (+6 others)
2017 ACM Transactions on Autonomous and Adaptive Systems  
However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes.  ...  A taxonomy of the main control strategies is introduced, analyzing their applicability to software adaptation for both functional and non-functional goals.  ...  Additionally, many nonlinear systems only operate under certain conditions, often allowing to linearize the nonlinear dynamics around such an operating point and working with the resulting linear model  ... 
doi:10.1145/3024188 fatcat:zt3ublqyfvbl3ibpwlqvwdhcby

Individual differences in reasoning: Implications for the rationality debate?

Keith E. Stanovich, Richard F. West
2000 Behavioral and Brain Sciences  
Unexpected patterns of covariance can suggest when the wrong norm is being applied to a task or when an alternative construal of the task should be considered appropriate.  ...  Much research in the last two decades has demonstrated that human responses deviate from the performance deemed normative according to various models of decision making and rational judgment (e.g., the  ...  ACKNOWLEDGMENT Preparation of this paper supported by NIMH Grant MH57127 to the University of California, San Diego.  ... 
doi:10.1017/s0140525x00003435 fatcat:yadsuargufctfeiqlyflp5mkm4

New Foundation in the Sciences: Physics without Sweeping Infinities under the Rug [article]

Victor Christianto, Florentin Smarandache, Robert Neil Boyd
2020 Figshare  
Sensible mathematics involves neglecting a quantity when it turns out to be small—not neglecting it just because it is infinitely great and you do not want it!"  ...  They say: "Quantum electrodynamics is a good theory, and we do not have to worry about it any more."  ...  and cosmology phenomena.  ... 
doi:10.6084/m9.figshare.12387260 fatcat:6qqvy3zxrfgebm6ctt5jkakqz4

Neural reuse: A fundamental organizational principle of the brain

Michael L. Anderson
2010 Behavioral and Brain Sciences  
Although an organ may not have been originally formed for some special purpose, if it now serves for this end we are justified in saying that it is specially contrived for it.  ...  According to these theories, it is quite common for neural circuits established for one purpose to be exapted (exploited, recycled, redeployed) during evolution or normal development, and be put to different  ...  This is less an observation about the fundamental nature of alarm systems than about the potential variety of our epistemic interests when we ask "What is it doing?"  ... 
doi:10.1017/s0140525x10000853 pmid:20964882 fatcat:y7oh5ex7trgznd536qkje7quji

Neural reuse as a source of developmental homology

David S. Moore, Chris Moore
2010 Behavioral and Brain Sciences  
Although an organ may not have been originally formed for some special purpose, if it now serves for this end we are justified in saying that it is specially contrived for it.  ...  According to these theories, it is quite common for neural circuits established for one purpose to be exapted (exploited, recycled, redeployed) during evolution or normal development, and be put to different  ...  This is less an observation about the fundamental nature of alarm systems than about the potential variety of our epistemic interests when we ask "What is it doing?"  ... 
doi:10.1017/s0140525x10001056 fatcat:umz4mtif3neenehn2yemystpd4
« Previous Showing results 1 — 15 out of 74 results