Filters








51 Hits in 9.4 sec

An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics

Dominique Larchey-Wendling
2010 Electronical Notes in Theoretical Computer Science  
Hence, we propose an alternative direct simulation of Minsky machines into both BBI and CBI.  ...  Then Classical BI (CBI) was introduced [3] as a bunched logic which contained both a multiplicative negation and an additive negation.  ...  Introduction The logic of bunched implications of Pym and O'Hearn [16] contains two important families of logics: Boolean BI (BBI) and Classical BI (CBI).  ... 
doi:10.1016/j.entcs.2010.08.022 fatcat:jyzey2fzc5djtpkgu3bmvihska

Nondeterministic Phase Semantics and the Undecidability of Boolean BI

Dominique Larchey-Wendling, Didier Galmiche
2013 ACM Transactions on Computational Logic  
This fragment is the direct image of the elementary fragment of ILL (denoted eILL) by an embedding of ILL into BBI.  ...  phase semantics, whichever class of models is chosen amongst ND, PD, TD, HM and FM; -we show how to encode the computations of two counter Minsky machines in eILL.  ...  THE UNDECIDABILITY OF ELEMENTARY INTUITIONISTIC LINEAR LOGIC We propose an encoding of two counter Minsky machines in the fragment eILL of ILL.  ... 
doi:10.1145/2422085.2422091 fatcat:4lz7blpptvhwvaebbqfdxwlb6i

Semantic networks

Fritz Lehmann
1992 Computers and Mathematics with Applications  
A semantic network is a graph of the structure of meaning.  ...  methods such as rule-based search, automatic theorem-proving, constraint satisfaction, machine learning algorithms, and others.  ...  If you mention a birthday party to a child, what the child thinks of is not the formal definition "a group assembled to celebrate a birthday," but rather a bunch of expected things none of which is essential  ... 
doi:10.1016/0898-1221(92)90135-5 fatcat:4nli67lrsjdzdiu56i5ixwhm2a

Understanding Complex Systems [chapter]

Paul Cilliers
2012 Handbook of Systems and Complexity in Health  
Connectionism (implemented in neural networks) serves as an example of these techniques.  ...  Complexity and Postmodernism is an exciting and an original book that should be read by anyone interested in gaining a fresh understanding of complexity, postmodernism and connectionism.  ...  If an alternative is to be suggested, it will have to take into account the four characteristics of meaning discussed above.  ... 
doi:10.1007/978-1-4614-4998-0_3 fatcat:wacvsurq3bgxrj7xcttrian3be

A dualist-interactionist perspective

John C. Eccles
1980 Behavioral and Brain Sciences  
The main argument of this paper is directed at establishing this claim.  ...  This is a strict logical consequence of 1 and 2. (4) Any mechanism capable of producing intentionality must have causal powers equal to those of the brain.  ...  Acknowledgment I am grateful to Jerry Fodor and Georges Rey for comments on an earlier draft.  ... 
doi:10.1017/s0140525x00005811 fatcat:5oy5bmlxufecpegipox7ibhx7q

Minds, brains, and programs

John R. Searle
1980 Behavioral and Brain Sciences  
The main argument of this paper is directed at establishing this claim.  ...  This is a strict logical consequence of 1 and 2. (4) Any mechanism capable of producing intentionality must have causal powers equal to those of the brain.  ...  Acknowledgment I am grateful to Jerry Fodor and Georges Rey for comments on an earlier draft.  ... 
doi:10.1017/s0140525x00005756 fatcat:wfcpl6apdfhxbcscyeacavkbim

Hybrid soft computing systems: industrial and commercial applications

P.P. Bonissone, Yu-To Chen, K. Goebel, P.S. Khedkar
1999 Proceedings of the IEEE  
Soft computing (SC) is an association of computing methodologies that includes as its principal members fuzzy logic, neuro-computing, evolutionary computing and probabilistic computing.  ...  As depicted in Figure 1 , we can divide probabilistic computing into two classes: single-valued and interval-valued systems.  ...  Fusion Results The reliability value generated by the fusion rules was subdivided into three groupings (good, fair, and poor).  ... 
doi:10.1109/5.784245 fatcat:ntpjdm3exbgudlxqi62ikvsvuu

Human-level artificial general intelligence and the possibility of a technological singularity

Ben Goertzel
2007 Artificial Intelligence  
As evidence of the recent increase in AI optimism in some relevant circles, I note that the last few years have seen an increasing number of conference special sessions and workshops focused on "Human-Level  ...  difficulties involved in various mental operations that humans, in everyday life, consider trivial and simple (Minsky, 2006; Thagard, 2005) These days most R&D carrying the label "AI" pertains to some  ...  It turns out that the simulation ran only briefly, ran at 1/10 the speed of an actual mouse brain -and, most limitingly, was in fact just a simulation of the same number of neurons believed to comprise  ... 
doi:10.1016/j.artint.2007.10.011 fatcat:bqozze5ytbbpvpsrgut2jvyrfe

Unlearning Aristotelian physics: a study of knowledge-based learning

A DISESSA
1982 Cognitive Science  
Equally intriguing and more important from the standpoint of making a genetic task analysis is that despite an incorrect "theory," students proved capable of developing alternate strategies for dealing  ...  A study of a group of elementary school students learning to control a computer-implemented Newtonian object reveals a surprisingly uniform and detailed collection of strategies, at the core of which is  ...  Aristotelian Corner Strategy--This is the classic non-Newtonian strategy described earlier, involving the assumption that the turtle travels in the direction of kick.  ... 
doi:10.1016/s0364-0213(82)80005-0 fatcat:nvyip3heb5cp5e23ehktwdcwpq

Modeling Creativity: Case Studies in Python [article]

Tom De Smedt
2014 arXiv   pre-print
Our aim is to construct computer models that exhibit creativity in an artistic context, that is, that are capable of generating or evaluating an artwork (visual or linguistic), an interesting new idea,  ...  The research was conducted in 2008-2012 at the Computational Linguistics Research Group (CLiPS, University of Antwerp) under the supervision of Prof. Walter Daelemans.  ...  Acknowledgements The authors of DrawBot, Just van Rossum and Erik van Blokland, define the simplicity of a computational approach to art and design in terms of volume, complexity and variation:  ... 
arXiv:1410.0281v1 fatcat:an7qvt47fbeqjgx5jmhrrnijsm

A learning perspective on the emergence of abstractions: the curious case of phonemes [article]

Petar Milin, Benjamin V. Tucker, Dagmar Divjak
2021 arXiv   pre-print
We show that ECL models can learn abstractions and that at least part of the phone inventory and grouping into traditional types can be reliably identified from the input.  ...  In effect, the study represents an attempt for operationalize a theoretical device of Usage-based Linguistics of emergence of an abstraction from language use.  ...  Translated into the terms animal, a machine) accounts for new of the relevant machine learning approaches, information.  ... 
arXiv:2012.07499v4 fatcat:es7yoxnuprfjxkiwhb4736cpfq

MATHEMATICAL KNOWLEDGE

1976 Philosophical Books  
The main contribution in this thesis is a way to measure the effectiveness of a class of generalized learning strategies.  ...  But what kind of problem solving is most conducive to learning? What can help problem solving work better? Are there any "helps" that are actually not so helpful?  ...  Vilém Flusser and its use in the context of mathematical communication 80 ).  ... 
doi:10.1111/j.1468-0149.1976.tb01690.x fatcat:cgilk7w3gjgwncz5fcswubr3f4

Application-layer Fault-Tolerance Protocols [article]

Vincenzo De Florio
2016 arXiv   pre-print
virtual machines that constitutes our computers.  ...  Application-level fault-tolerance is a sub-class of software fault-tolerance that focuses on the problems of expressing the problems and solutions of fault-tolerance in the top layer of the hierarchy of  ...  Let us denote with R the reliability of the basic component of the system, i.e., exp −λt , and R tmr as the reliability of the TMR system based on the same component.  ... 
arXiv:1611.02273v1 fatcat:my2uj2n2hrf4ljzpmbh4zlk57q

Strategies of Discourse Comprehension

John J. Staczek, Teun A. van Dijk, Walter Kintsch
1985 The Modern Language Journal  
Although we will touch upon some of these issues, we cannot go into the details of an abstract, philosophical or logical, definition of propositions.  ...  Pattern-directed inference systems range from the supersimple to the highly complex with the computing power of a Turing machine, and it is our task to explore briefly whether the strategic model of discourse  ...  Often things will not be so clear-cut: Optimal goals may be reached only via high cost paths.  ... 
doi:10.2307/326517 fatcat:kq3yco7svferrfbvhu3zztup4q

Artificial Intelligence: An Introductory Course

1986 Telematics and informatics  
Thanks also to Mark Adler for translating LOGO programs into LISP.  ...  He would also like to thank three generations of students for their tolerance to a lecturer on natural language processing whose professional competence (if any) is mainly in the theory of computation.  ...  The brightness intensity at each small area of the resultant picture is convened via an analogue-to-digital convertor into an integer to produce an array of numbers: the digitised image. interested in  ... 
doi:10.1016/s0736-5853(86)80074-0 fatcat:c7ibfuwojfe7rh7kablclo7a24
« Previous Showing results 1 — 15 out of 51 results