How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: (...) it assumed the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

This paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is (...) a type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. In fact, it is able to do all three tasks simultaneously. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The Apperception Engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence. (shrink)

The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. Whenever the pure simulation of the input to simulating halt decider H(x,y) never stops running unless H aborts its simulation H correctly aborts this simulation and returns 0 for not halting.

In mental action there is no motor output to be controlled and no sensory input vector that could be manipulated by bodily movement. It is therefore unclear whether this specific target phenomenon can be accommodated under the predictive processing framework at all, or if the concept of “active inference” can be adapted to this highly relevant explanatory domain. This contribution puts the phenomenon of mental action into explicit focus by introducing a set of novel conceptual instruments and developing a (...) first positive model, concentrating on epistemic mental actions and epistemic self-control. Action initiation is a functionally adequate form of self-deception; mental actions are a specific form of predictive control of effective connectivity, accompanied and possibly even functionally mediated by a conscious “epistemic agent model”. The overall process is aimed at increasing the epistemic value of pre-existing states in the conscious self-model, without causally looping through sensory sheets or using the non-neural body as an instrument for active inference. (shrink)

The problem of cognitive domains is that one can conceive the territory only as it is portrayed in the map. It involves conflating the domain of representation with the domain of what it represents. This is a category mistake: there are essential qualitative and quantitative differences between map and territory. The output of cognitive processes, both perceptual and scientific, is recycled as the input.

In the last 20 years, a stream of research emerged under the label of „complex problem solving“ (CPS). This research was intended to describe the way people deal with complex, dynamic, and intransparent situations. Complex computer-simulated scenarios were as stimulus material in psychological experiments. This line of research lead to subtle insights into the way how people deal with complexity and uncertainty. Besides these knowledge-rich, realistic, intransparent, complex, dynamic scenarios with many variables, a second line of research used more (...) simple, knowledge-lean scenarios with a low number of variables („minimal complex systems“, MCS) that have been proposed recently in problem-solving research for the purpose of educational assessment. In both cases, the idea behind the use of microworlds is to increase validity of problem solving tasks by presenting interactive environments that can be explored and controlled by participants while pursuing certain action goals. The main argument presented here is: both types of systems - CPS and MCS – can only be dealt with successfully if causal dependencies between input and output variables are identified and used for system control. System knowledge is necessary for control and intervention. But CPS and MCS differ in their way of how causal dependencies are identified and how the mental model is constructed; therefore, they cannot be compared directly to each other with respect to the cognitive processes that are necessary for solving the tasks. Knowledge-poor MCS tasks address only a small fraction of the cognitive processes and structures needed for knowledge-rich CPS situations. (shrink)

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of (...) folk psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

The mind-body problem is intuitively familiar, as mental and physical entities mysteriously interact. However, difficulties arise when intertwining concepts of the self with mental and physical traits. To avoid confusion, I propose instead focusing on three categories, with the mental matching the mind and physical the body with respect to raw inputs and outputs. The third category, the self, will experience and measure the others. With this new classification, we can see difficulties clearly, specifically five questions covering interaction and (...) correlation. We break down the problem using both existing theories and a hypercube topology representing the solution. We show any satisfactory theory must explain both spatial interaction and content correlation, and that we cannot escape our topology, whatever our preferred fundamental substance and mind-body movement permutation. We conclude by looking outside the hypercube, noting how solutions such as existential monism, priority monism, and will-based cosmic-idealism avoid the dangers involved. (shrink)

If there truly is a proof that shows that no universal halt decider exists on the basis that certain tuples: (H, Wm, W) are undecidable, then this very same proof (implemented as a Turing machine) could be used by H to reject some of its inputs. When-so-ever the hypothetical halt decider cannot derive a formal proof from its input strings and initial state to final states corresponding the mathematical logic functions of Halts(Wm, W) or Loops(Wm, W), halting undecidability has (...) been decided. (shrink)

As a candidate theory of quantum gravity, the popularity of string theory has waxed and waned over the past four decades. One current source of scepticism is that the theory can be used to derive, depending upon the input geometrical assumptions that one makes, a vast range of different quantum field theories, giving rise to the so-called landscape problem. One apparent way to address the landscape problem is to posit the existence of a multiverse; this, however, has (...) in turn drawn heightened attention to questions regarding the empirical testability and predictivity of string theory. We argue first that the landscape problem relies on dubious assumptions and does not motivate a multiverse hypothesis. Nevertheless, we then show that the multiverse hypothesis is scientifically legitimate and could be coupled to string theory for other empirical reasons. Looking at various cosmological approaches, we offer an empirical criterion to assess the scientific status of multiverse hypotheses. (shrink)

In the biomedical context, policy makers face a large amount of potentially discordant evidence from different sources. This prompts the question of how this evidence should be aggregated in the interests of best-informed policy recommendations. The starting point of our discussion is Hunter and Williams’ recent work on an automated aggregation method for medical evidence. Our negative claim is that it is far from clear what the relevant criteria for evaluating an evidence aggregator of this sort are. What is the (...) appropriate balance between explicitly coded algorithms and implicit reasoning involved, for instance, in the packaging of input evidence? In short: What is the optimal degree of ‘automation’? On the positive side: We propose the ability to perform an adequate robustness analysis as the focal criterion, primarily because it directs efforts to what is most important, namely, the structure of the algorithm and the appropriate extent of automation. Moreover, where there are resource constraints on the aggregation process, one must also consider what balance between volume of evidence and accuracy in the treatment of individual evidence best facilitates inference. There is no prerogative to aggregate the total evidence available if this would in fact reduce overall accuracy. (shrink)

This challenging paper presents an ingenious argument for a functionalist theory of mind. Part of the argument: My visual cortex at the back of my brain processes the stimulation to my eyes and then causes other parts of the brain - like the speech centre and the areas involved in thought and movement - to be properly responsive to vision. According to functionalism the whole mental character of vision - the whole of how things look - is fixed purely in (...) the pattern of responses to vision and not in any of the initial processing of vision in the visual cortex. That this functionalist theory of vision is true can be proved with alarming ease. Imagine that just the left side of my visual cortex is replaced by a gadget that has precisely the same input/output relationship to the rest of the brain as the left visual cortex had. According to any view but functionalism, the character of my vision on the right side of my visual field (normally processed by the left visual cortex) would change radically with this change in all the intrinsic properties involved in the visual cortex, with this preservation of nothing but its functional role in bringing about my responses to vision. But, say I, we have enough here to be sure that in such a case there could be no change in the character of my vision. For we know by the stipulation of sameness of output that my responses in speech, thought and movement to the right side of my visual field will be precisely the same as they would have been with the natural left visual cortex and will harmonise just as they would have done with my responses to the other side of my vision. But if half my vision had disappeared or changed I’d be speaking, thinking and acting like someone with problems on the right side of his vision. It is impossible to separate my responses to vision from the character of my vision. The character of my vision is logically determined by the pattern of responses - by nothing but the functional role of my vision. (shrink)

The Turing machine halting problem can be explained by several factors, including arithmetic logic irreversibility and memory erasure, which contribute to computational uncertainty due to information loss during computation. Essentially, this means that an algorithm can only preserve information about an input, rather than generate new information. This uncertainty arises from characteristics such as arithmetic logical irreversibility, Landauer's principle, and memory erasure, which ultimately lead to a loss of information and an increase in entropy. To measure this uncertainty (...) and loss of information, the concept of arithmetic logical entropy can be used. The Turing machine and its equivalent, general recursive functions can be understood through the λ calculus and the Turing/Church thesis. However, there are certain recursive functions that cannot be fully understood or predicted by other algorithms due to the loss of information during logical-arithmetic operations. In other words, the behaviour of these functions cannot be completely determined at every stage of the computation due to a lack of information in their definition. While there are some cases where the behaviour of recursive functions is highly predictable, the lack of information in most cases makes it impossible for algorithms to determine if a program will halt or not. This inability to predict the outcome of the computation is the essence of the halting problem of the Turing machine. Even in cases where more information is available about the program, it is still difficult to determine with certainty if the program will halt or not. This also highlights the importance of the Turing oracle machine, which introduces information from outside the computation to compensate for the lack of information and ultimately decide the result of the computation. (shrink)

MIT Professor Michael Sipser has agreed that the following verbatim paragraph is correct (he has not agreed to anything else in this paper) -------> -/- If simulating halt decider H correctly simulates its input D until H correctly determines that its simulated D would never stop running unless aborted then H can abort its simulation of D and correctly report that D specifies a non-halting sequence of configurations.

This article states that research in skill acquisitionand executionhas underestimated the relevance of some features of attention. We present and theoretically discuss two essential features of attention that have been systematically overlooked in the research of skill acquisitionandexecution. First, attention alters the appearance of the perceived stimuli in an essential way; and second, attention plays a fundamental role in action, being crucial for solving the so called ’many-many problem’, that is to say, the problem of generating a coherent (...) behavior byselecting between many inputs and many potential outputs. We discuss the importance of these features for skill acquisition in sport. We also suggest empirical ways to assess the precise impact of taking them into consideration and at the same time we propose important implications for training derived from the ideas discussed in the paper. (shrink)

Due to the unprecedented COVID-19 incident, basic education institutions have faced different challenges in their teaching-learning activities. Particularly conducting assessments remotely during COVID-19 has posed extraordinary challenges for basic education institutions owing to lack of preparation superimposed with the inherent problems of remote assessment. Descriptive-evaluation research was employed since the present study attempts to examines the assessment practices and competences on remote learning assessment of teachers in Graceville National High School. For the study, questionnaires were prepared and data nine (9) (...) senior high school teachers and forty-two (42) junior high school teachers were collected and analyzed. The gathered data from this study were subjected to the descriptive and inferential statistics. The data revealed that the most frequent number of the teacher- respondents in the study was 36 - 40 years old at age, female, Technology Livelihood Education (TLE) major, 6 - 10 years in service in Department of Education, and bachelor's degree holders. More so, the teacher respondents' level of teacher competencies on remote learning assessment was observed high competent. In addition, level of assessment practices in terms of clarity of assessment, time and effort on task, quality of feedback, motivational belief and self-esteem to learners, self-assessment and reflection of learning of the learners, and assessment - content and process in adapting teaching to students needs was mostly practice. However, it was completely practicing the interaction and dialogue about learning progress. The results confirmed that there was a significant difference on the teacher respondents' level of competence on the remote learning assessment when group according to their age, gender, areas of specialization, and training attended. On the other hands, teacher year of teaching and educational attainment revealed it has no significant difference on their level of competence on the remote learning assessment. Looking forward, that age, gender, year of teaching, areas of specialization, educational attainment, and training attended significantly differs to the level of assessment practices of the teachers. It also observed that the teachers experiencing highly challenges encountered on the remote learning assessment. It is recommended to implement the proposed school-based testing reforms and should be monitored and evaluated for the optimum advantage of the school and community. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

A simulating halt decider correctly predicts whether or not its correctly simulated input can possibly reach its own final state and halt. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. Inputs that do terminate are simply simulated until they complete.

When we understand that every potential halt decider must derive a formal mathematical proof from its inputs to its final states previously undiscovered semantic details emerge. -/- When-so-ever the potential halt decider cannot derive a formal proof from its input strings to its final states of Halts or Loops, undecidability has been decided. -/- The formal proof involves tracing the sequence of state transitions of the input TMD as syntactic logical consequence inference steps in the formal language of (...) Turing Machine Descriptions. (shrink)

I give a defense of the Massive Modularity hypothesis: the view that the mind is composed of discrete, encapsulated, informationally isolated computational structures dedicated to particular problem domains. This view contrasts with Psychological Rationalism: the view that mental structures take the form of unencapsulated representational items, all available as inputs to one domain-general computational processor. I argue that although Psychological Rationalism is in principle able to overcome the `intractability objection', the view must borrow many features of a massively modular (...) architecture in order to do so, that although it can, in principle, overcome the `optimality objection', the way it does so does not correlate with the way we think, and that although it can, in principle, respond to the `argument from biology', it cannot do so without advancing an unrealistic and unsupported account of cognitive evolution. (shrink)

The problem of multiple-computations discovered by Hilary Putnam presents a deep difficulty for functionalism (of all sorts, computational and causal). We describe in out- line why Putnam’s result, and likewise the more restricted result we call the Multiple- Computations Theorem, are in fact theorems of statistical mechanics. We show why the mere interaction of a computing system with its environment cannot single out a computation as the preferred one amongst the many computations implemented by the system. We explain why (...) nonreductive approaches to solving the multiple- computations problem, and in particular why computational externalism, are dualistic in the sense that they imply that nonphysical facts in the environment of a computing system single out the computation. We discuss certain attempts to dissolve Putnam’s unrestricted result by appealing to systems with certain kinds of input and output states as a special case of computational externalism, and show why this approach is not workable without collapsing to behaviorism. We conclude with some remarks about the nonphysical nature of mainstream approaches to both statistical mechanics and the quantum theory of measurement with respect to the singling out of partitions and observables. (shrink)

The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first step (...) in this direction, we formulate several desirable properties for ontology aggregators, we identify the incompatibility of some of these properties, and we define and analyse several simple aggregation procedures. Our approach is closely related to work in judgment aggregation, but with the crucial difference that we adopt an open world assumption, by distinguishing between facts not included in an agent’s ontology and facts explicitly negated in an agent’s ontology. (shrink)

Methodological problems often arise when a special case is confused with the general principle. So you will find affordances only for ‚artifacts’ if you restrict the analysis to ‚artifacts’. The general principle, however, is an ‚invitation character’, which triggers an action. Consequently, an action-theoretical approach known as ‚pragmatic turn’ in cognitive science is recommended. According to this approach, the human being is not a passive-receptive being but actively produces those action effects that open up the world to us. This ‚ideomotor (...) approach’ focuses on the so-called ‚epistemic actions’, which guide our perception as conscious and unconscious cognitions. Due to ‚embodied cognition’ the own body is assigned an indispensable role. The action theoretical approach of ‚enactive cognition’ enables that every form can be consistently processualized. Thus, each ‚Gestalt’ is understood as the process result of interlocking cognitions of ‚forward modelling’ and ‚inverse modelling’. As can be shown, these cognitions are fed by previous experiences of real interaction, which later changes into a mental trial treatment, which is highly automated and can therefore take place unconsciously. It is now central that every object may have such affordances that call for instrumental or epistemic action. In the simplest case, it is the body and the facial expressions of our counterpart that can be understood as a question and provoke an answer/reaction. Thus, emotion is not only to be understood as expression/output according to the scheme ‚input-processing-output’, but acts itself as a provocative act/input. Consequently, artifacts are neither necessary nor sufficient conditions for affordances. Rather, they exist in all areas of cognition—from Enactive Cognition to Social Cognition. (shrink)

The meta-problem of consciousness aims to explain the particularity of our intuitions about consciousness and how they trigger conceptual issues such as the hard problem of consciousness. I propose in this article that these stem from a basic function of the brain : self-evidencing explanation. To make sense of its sensory inputs, the brain is believed to build and test models of the state of the world based on sensory information (Hohwy, 2016). This self-evidencing process has been proposed (...) to describe the type of inference performed by consciousness (Friston, 2018). I will show how this situation is viciously circular and prevents from proving the existence of conscious experience or explaining it without presupposing its existence. I will show how it accounts for the particularity of our intutions about consciousness and thus propose an solution to the meta-problem of consciousness using a formally defined process at the core of conscious inference. (shrink)

The recent developments in artificial intelligence (AI), particularly in light of the impressive capabilities of transformer-based Large Language Models (LLMs), have reignited the discussion in cognitive science regarding whether computational devices could possess semantic understanding or whether they are merely mimicking human intelligence. Recent research has highlighted limitations in LLMs’ reasoning, suggesting that the gap between mere symbol manipulation (syntax) and deeper understanding (semantics) remains wide open. While LLMs overcome certain aspects of the symbol grounding problem through human feedback, (...) they still lack true semantic understanding, struggling with common-sense reasoning and abstract thinking. This paper argues that while adding sensory inputs and embodying AI through sensorimotor integration with the environment might enhance its ability to connect symbols to real-world meaning, this alone would not close the gap between syntax and semantics. True meaning-making also requires a connection to subjective experience, which current AI lacks. The path to AGI must address the fundamental relationship between symbol manipulation, data processing, pattern matching, and probabilistic best guesses with true knowledge that requires conscious experience. A transition from AI to AGI can occur only if it possesses conscious experience, which is closely tied to semantic understanding. Recognition of this connection could furnish new philosophical insights into longstanding practical and philosophical questions for theories in biology and cognitive science and provide more meaningful tests of intelligence than the Turing test. (shrink)

I propose a new theory of semantic presupposition, which I call dissatisfaction theory. I first briefly review a cluster of problems − known collectively as the proviso problem − for most extant theories of presupposition, arguing that the main pragmatic response to them faces a serious challenge. I avoid these problems by adopting two changes in perspective on presupposition. First, I propose a theory of projection according to which presuppositions project unless they are locally entailed. Second, I reject the (...) standard assumption that presuppositions are contents which must be entailed by the input context; instead, I propose that presuppositions are contents which are marked as backgrounded. I show that, together, these commitments allow us to avoid the proviso problem altogether, and generally make plausible predictions about presupposition projection out of connectives and attitude predicates. I close by sketching a two-dimensional implementation of my theory which allows us to make further welcome predictions about attitude predicates and quantifiers. (shrink)

We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods of (...) functional decomposition, but reduces relations only to ternary relations. An additional construction then decomposes ternary into binary relations, also effectively, by converting certain disjunctions into existential quantifications. The result gives a uniform proof of Peirce’s reduction thesis on finite domains, and shows that the graph of any Sheffer function composes all relations there. (shrink)

The security problems of Nigeria have continued to stare at her very ominously and intermittently harass her, both within and outside her shores. These have lingered on and have created a clog on the wheel of the country's progress, indeed dramatically stagnating, and to say the least, truncating the mainstay of the country's survival. Several interpretations, theories, analyses, syntheses, and jingoistic conceptualization have been propagated, all producing the same result. From scientific to technological approach, religious to ritualist approach, political to (...) social approach, the security situation rather than improving, is static and under some regimes retarded. Academic contributions, especially ideas from the humanities and indeed the discipline of history are jettisoned, in fact, quickly dusted into the waste bin. The concern of this paper is to attempt a historical investigation of the security problems in Nigeria, identifying them to show how information and communication technology can help in curbing these challenges, using the realist paradigm as a theoretical framework. This study identifies Nigerians as the cause of her security problems, who rather than face these seismic challenges head-on, abandon them – a cowardly act, ending in futility and deeper chaos. This study adopts both primary and secondary sources of data collection. It is hoped that if academic exercises are not mere, this input may create a turnaround in the security situation in Nigeria. (shrink)

Knowledge-first evidentialism combines the view that it is rational to believe what is supported by one's evidence with the view that one's evidence is what one knows. While there is much to be said for the view, it is widely perceived to fail in the face of cases of reasonable error—particularly extreme ones like new Evil Demon scenarios (Wedgwood, 2002). One reply has been to say that even in such cases what one knows supports the target rational belief (Lord, 201x, (...) this volume). I spell out two versions of the strategy. The direct one uses what one knows as the input to principles of rationality such as conditionalization, dominance avoidance, etc. I argue that it fails in hybrid cases that are Good with respect to one belief and Bad with respect to another. The indirect strategy uses what one knows to determine a body of supported propositions that is in turn the input to principles of rationality. I sketch a simple formal implementation of the indirect strategy and show that it avoids the difficulty. I conclude that the indirect strategy offers the most promising way for knowledge-first evidentialists to deal with the New Evil Demon problem. (shrink)

This paper treats cognition as a function of consciousness and seeks to isolate neural correlates of consciousness as physical properties within the brain. We explore fundamental attributes of qualia paired with physical objects, suggesting all physical things have some relative quale. In this sense we require perception as input, a global workspace, cations, a calcium channel, awareness, attention, and a neural network. Given the hypothesized binding frequency of 40 Hz and Libet’s temporal factors, under Schrodinger’s time-dependent equation in n-dimensions (...) and potential energy given by spin attenuated under spherical properties as radial waves, we see energy levels on the quantum scale approximately equal to the energy of neuronal spikes on a classical scale separated by powers of ten. By treating the brain as a complex, compact manifold homotopic to submanifolds, under knot theory and braid groups we liken the model to quantum information processing and equilibria given by smoothness. Understanding that a model of binding is a partial solution to the hard problem of consciousness, we see consciousness emerges under the complexity of biological components as a function of neural energy. The result of the model is descriptive and explanatory, showing semantic information encoded within brain waves as brain waves signify consciousness can be encapsulated in physical properties of the brain such that binding occurs. With respect to binding and virtual particles, a partial solution to the hard problem of consciousness is proposed. (shrink)

Perception solves computationally demanding problems at lightning fast speed. It recovers sophisticated representations of the world from degraded inputs, often in a matter of milliseconds. Any theory of perception must be able to explain how this is possible; in other words, it must be able to explain perception's computational tractability. One of the few attempts to move toward such an explanation has been the information encapsulation hypothesis, which posits that perception can be fast because it keeps computational costs low by (...) forgoing access to information stored in cognition. I argue that we have no compelling reason to believe that encapsulation explains (or even contributes to an explanation of) perceptual tractability, and much reason to doubt it. This is because there exist much deeper computational challenges for perception than information access, and these threaten to make the costs of access irrelevant. If this is right, it undermines a core computational motivation for encapsulation and sends us back to the drawing board for explanations of perceptual tractability. (shrink)

How much does stimulus input shape perception? The common-sense view is that our perceptions are representations of objects and their features and that the stimulus structures the perceptual object. The problem for this view concerns perceptual biases as responsible for distortions and the subjectivity of perceptual experience. These biases are increasingly studied as constitutive factors of brain processes in recent neuroscience. In neural network models the brain is said to cope with the plethora of sensory information by predicting (...) stimulus regularities on the basis of previous experiences. Drawing on this development, this chapter analyses perceptions as processes. Looking at olfaction as a model system, it argues for the need to abandon a stimulus-centred perspective, where smells are thought of as stable percepts, computationally linked to external objects such as odorous molecules. Perception here is presented as a measure of changing signal ratios in an environment informed by expectancy effects from top-down processes. (shrink)

The alignment problem in the context of large language models must consider the plurality of human values in our world. Whilst there are many resonant and overlapping values amongst the world’s cultures, there are also many conflicting, yet equally valid, values. It is important to observe which cultural values a model exhibits, particularly when there is a value conflict between input prompts and generated outputs. We discuss how the co- creation of language and cultural value impacts large language (...) models (LLMs). We explore the constitution of the training data for GPT-3 and compare that to the world’s language and internet access demographics, as well as to reported statistical profiles of dominant values in some Nation-states. We stress tested GPT-3 with a range of value-rich texts representing several languages and nations; including some with values orthogonal to dominant US public opinion as reported by the World Values Survey. We observed when values embedded in the input text were mutated in the generated outputs and noted when these conflicting values were more aligned with reported dominant US values. Our discussion of these results uses a moral value pluralism (MVP) lens to better understand these value mutations. Finally, we provide recommendations for how our work may contribute to other current work in the field. (shrink)

One of the most noticeable trends in recent years has been the increasing reliance of public decision-making processes on algorithms, i.e. computer-programmed step-by-step instructions for taking a given set of inputs and producing an output. The question raised by this article is whether the rise of such algorithmic governance creates problems for the moral or political legitimacy of our public decision-making processes. Ignoring common concerns with data protection and privacy, it is argued that algorithmic governance does pose a significant threat (...) to the legitimacy of such processes. Modelling my argument on Estlund’s threat of epistocracy, I call this the ‘threat of algocracy’. The article clarifies the nature of this threat and addresses two possible solutions. It is argued that neither solution is likely to be successful, at least not without risking many other things we value about social decision-making. The result is a somewhat pessimistic conclusion in which we confront the possibility that we are creating decision-making processes that constrain and limit opportunities for human participation. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order (classical) systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

No two individuals with the autism diagnosis are ever the same—yet many practitioners and parents can recognize signs of ASD very rapidly with the naked eye. What, then, is this phenotype of autism that shows itself across such distinct clinical presentations and heterogeneous developments? The “signs” seem notoriously slippery and resistant to the behavioral threshold categories that make up current assessment tools. Part of the problem is that cognitive and behavioral “abilities” typically are theorized as high-level disembodied and modular (...) functions—that are assessed discretely (impaired, normal, enhanced) to define a spectral syndrome. Even as biology reminds us that organic developing bodies are not made up of independent switches, we remain often seduced by the simplicity of mechanistic and cognitive models. Developmental disorders such as autism have accordingly been theorized as due to different modular dysfunctions—typically of cortical origin, i.e., failures of “theory of mind” (Baron-Cohen et al., 1985), of the “mirror neuron system” (Ramachandran and Oberman, 2006), of “weak central coherence” (Happe and Frith, 2006) or of the balance of “empathizing” and “systemizing” (Baron-Cohen, 2009), just to list a few. -/- The broad array of autonomic (Ming et al., 2005; Cheshire, 2012) and sensorimotor (Damasio and Maurer, 1978; Maurer and Damasio, 1982; Donnellan and Leary, 1995; Leary and Hill, 1996; Donnellan and Leary, 2012; Donnellan et al., 2012) differences experienced and reported by people with autism have by such theories typically been sidelined as “co-morbidities,” possibly sharing genetic causes, but rendered as incidental and decisively behaviorally irrelevant symptoms—surely disconnected from cognition. But what if the development of cortically based mental processes and autonomous control relies on the complexities and proper function of the peripheral nervous systems? Through such an “embodied” lens the heterogeneous symptoms of autism invites new interpretations. We propose here that many behavioral-level findings can be re-defined as downstream effects of how developing nervous systems attempt to cope and adapt to the challenges of having various noisy, unpredictable, and unreliable peripheral inputs. (shrink)

In artificial intelligence, recent research has demonstrated the remarkable potential of Deep Convolutional Neural Networks (DCNNs), which seem to exceed state-of-the-art performance in new domains weekly, especially on the sorts of very difficult perceptual discrimination tasks that skeptics thought would remain beyond the reach of artificial intelligence. However, it has proven difficult to explain why DCNNs perform so well. In philosophy of mind, empiricists have long suggested that complex cognition is based on information derived from sensory experience, often appealing to (...) a faculty of abstraction. Rationalists have frequently complained, however, that empiricists never adequately explained how this faculty of abstraction actually works. In this paper, I tie these two questions together, to the mutual benefit of both disciplines. I argue that the architectural features that distinguish DCNNs from earlier neural networks allow them to implement a form of hierarchical processing that I call “transformational abstraction”. Transformational abstraction iteratively converts sensory-based representations of category exemplars into new formats that are increasingly tolerant to “nuisance variation” in input. Reflecting upon the way that DCNNs leverage a combination of linear and non-linear processing to efficiently accomplish this feat allows us to understand how the brain is capable of bi-directional travel between exemplars and abstractions, addressing longstanding problems in empiricist philosophy of mind. I end by considering the prospects for future research on DCNNs, arguing that rather than simply implementing 80s connectionism with more brute-force computation, transformational abstraction counts as a qualitatively distinct form of processing ripe with philosophical and psychological significance, because it is significantly better suited to depict the generic mechanism responsible for this important kind of psychological processing in the brain. (shrink)

It has become somewhat of a platitude to call Aristotle the first epigenesist insofar as he thought form and structure emerged gradually from an unorganized, amorphous embryo. But modern biology now recognizes two senses of “epigenesis”. The first is this more familiar idea about the gradual emergence of form and structure, which is traditionally opposed to the idea of preformationism. But modern biologists also use “epigenesis” to emphasize the context-dependency of the process itself. Used in this sense development is not (...) simply the unfolding of a pre-determined sequence of changes specified in advance by the organism’s genotype. It is also sensitive to inputs from the internal and external environment, which help determine in real-time which of the many potential developmental pathways are actualized during the process. Within this paradigm developing embryos are viewed as dynamic and responsive systems that react to inputs from the internal and external environment ‘on the fly’. In this paper I argue that, while Aristotle was an epigenesist in the first sense, he would have rejected epigenesis in the more modern sense. First, Aristotle’s model of choice for a developing embryo is the automaton that executes a set of preset movements (GA 734b9-13, 741b7-15). The automatons he has in mind are not dynamic AI systems capable of modifying their behaviour on the fly in response to environmental cues but completely deterministic mechanisms whose movements are fixed by their original design. Second, given Aristotle’s views about the different kinds of causal powers there are, it looks like only intentional agents endowed with actual decision-making powers could be capable of the sort of plasticity at the core of a more dynamic epigenesis. For that kind of epigenesis requires powers for alternative outcomes, and Aristotle is explicit that such powers require rational desires (προαίρεσις) that control which of those alternatives to bring about. If I am right, then he could not have made sense of the idea of a developing embryo (as a non-intentional system) making adjustments to its phenotype on the fly in response to emerging problems and opportunities, given the conceptual resources available to him. (shrink)

The chapter outlines an abstract theoretical framework that is currently (re-)emerging in the course of a theoretical convergence of several disciplines. In the first section, the fundamental problem of perception theory is formulated, namely, the generation, by the perceptual system, of meaningful categories from physicogeometric energy patterns. In the second section, it deals with basic intuitions and assumptions underlying what can be regarded as the current Standard Model of Perceptual Psychology and points out why this model is profoundly inadequate (...) for dealing with the fundamental problem of perception theory. In the third section, it discusses a level of analysis that promises to be fruitful for dealing, in conformity with established procedures of the natural sciences, with the problem of perceptual “meaning” and the problem of what constitutes a “perceptual object.” In the fourth section, it outlines a theoretical perspective on basic principles of the perceptual system which centers on the notions of complex data types and conceptual forms, and draws an entirely different theoretical picture of the role of the sensory input than traditional accounts. The final section focusses on the issue of material qualities and discusses, within the general theoretical framework outlined, some observations and results on the perception of certain material properties, namely, lustrous and glassy appearances. (shrink)

This study considers the problem of using approximate way for realizing the neural supervisor for nonlinear multivariable systems. The Nonlinear Autoregressive-Moving Average (NARMA) model is an exact transformation of the input-output behavior of finite-dimensional nonlinear discrete time dynamical organization in a hoodlum of the equilibrium state. However, it is not convenient for intention of adaptive control using neural networks due to its nonlinear dependence on the control input. Hence, quite often, approximate technique are used for realizing the (...) neural supervisor to overcome computational complexity. In this study, we introduce two classes of ideal which are approximations to the NARMA model and which are linear in the control input, namely NARMA-L1 and NARMA-L2. The latter fact substantially simplifies both the theoretical breakdown as well as the practical request of the controller. Extensive imitation studies have shown that the neural controller designed using the proposed approximate models perform very well and in dozens situation even better than an approximate controller designed using the exact NARMA Model. In view of their mathematical tractability as well as their fate in simulation studies, a matter is made in this study that such approximate input-output paragon warrants a detailed study in their own right. (shrink)

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

Plagiarism detection is the process of finding similarities on electronic based documents. Recently, this process is highly required because of the large number of available documents on the internet and the ability to copy and paste the text of relevant documents with simply Control+C and Control+V commands. The proposed solution is to investigate and develop an easy, fast, and multi-language support plagiarism detector with the easy of one click to detect the document plagiarism. This process will be done with the (...) support of intelligent system that can learn, change and adapt to the input document and make a cross-fast search for the content on the local repository and the online repository and link the content of the file with the matching content everywhere found. Furthermore, the supported document type that we will use is word, text and in some cases, the pdf files –where is the text can be extracting from them- and this made possible by using the DLL file from Word application that Microsoft provided on OS. The using of DLL will let us to not constrain on how to get the text from files; and will help us to apply the file on our Delphi project and walk throw our methodology and read the file word by word to grantee the best working scenarios for the calculation. In the result, this process will help in the uprising the documents quality and enhance the writer experience related to his work and will save the copyrights for the official writer of the documents by providing a new alternative tool for plagiarism detection problem for easy and fast use to the concerned Institutions for free. (shrink)

Should economics study the psychological basis of agents' choice behaviour? I show how this question is multifaceted and profoundly ambiguous. There is no sharp distinction between "mentalist'' answers to this question and rival "behavioural'' answers. What's more, clarifying this point raises problems for mentalists of the "functionalist'' variety (Dietrich and List, 2016). Firstly, functionalist hypotheses collapse into hypotheses about input--output dispositions, I show, unless one places some unwelcome restrictions on what counts as a cognitive variable. Secondly, functionalist hypotheses make (...) some risky commitments about the plasticity of agents' choice dispositions. (shrink)

G.A. Cohen is famous for his critique of John Rawls’s view that principles of justice are restricted in scope to institutional structures. In recent work, however, Cohen has suggested that Rawlsians get more than just the scope of justice wrong: they get the concept wrong too. He claims that justice is a fundamental value, i.e. a moral input in our deliberations about the content of action-guiding regulatory principles, rather than the output. I argue here that Cohen’s arguments for extending (...) the scope of justice equivocate across his distinction between fundamental principles of justice, i.e. principles that tell us what justice is; and regulatory principles of justice, i.e. principles that tell us what is required of us, all things – including justice – considered. Though Cohen initially had the regulatory sense of the word ‘justice’ in mind when critiquing the basic structure restriction, his replies to the problem of demandingness presuppose his own, fundamental sense of the word ‘justice’. The upshot is that he escapes demandingness at the cost of sacrificing regulatory justice’s capacity to provide clear guidance. I conclude by considering Peter Singer’s efforts to deal with demandingness in his own work on global poverty. Since Singer manages to deal with demandingness without giving up clarity, his work is a good a place to start in the search for regulatory principles that are suitable for the context of personal choice. (shrink)

In general, in order to receive the electromagnetic wave in the space, the dimensions of the antenna must be in the order of the wavelength of the input to its surface. Due to the very small dimensions of nano sensors, nano antennas need to have a very high working frequency to be usable. The use of graphene helps to solve this problem to a great extent. The speed of propagation of waves in CNTs and GNRs can be 100 (...) times lower than its speed in vacuum, and this is related to the physical structure, temperature and energy. Based on this, the resonance frequency of graphene-based nano-antennas can be two orders of magnitude lower than nano-antennas based on nano-carbon materials. It has been mathematically and theoretically proven that a quasi-metallic carbon nanotube can emit terahertz radiation when a time-varying voltage is applied to its sides. One of the most important parameters of any nano antenna is the current distribution on it. This characteristic determines the radiation pattern, radiation resistance and reactance and many important characteristics of the antenna. Despite the possibilities of making nanotubes with a length of several centimeters, it is possible to make electrical conductors with a length-to-width ratio of the order of 10^7. has it. At first glance, nanotube antennas give us the impression that they are similar to Dipole antennas designed in small dimensions. (shrink)

Observational astronomy is plagued with selection effects that must be taken into account when interpreting data from astronomical surveys. Because of the physical limitations of observing time and instrument sensitivity, datasets are rarely complete. However, determining specifically what is missing from any sample is not always straightforward. For example, there are always more faint objects (such as galaxies) than bright ones in any brightness-limited sample, but faint objects may not be of the same kind as bright ones. Assuming they are (...) can lead to mischaracterizing the population of objects near the boundary of what can be detected. Similarly, starting with nearby objects that can be well observed and assuming that objects much farther away (and sampled from a younger universe) are of the same kind can lead us astray. Demographic models of galaxy populations can be used as inputs to observing system simulations to create “mock” catalogues that can be used to characterize and account for multiple, interacting selection effects. The use of simulations for this purpose is common practice in astronomy, and blurs the line between observations and simulations; the observational data cannot be interpreted independent of the simulations. We will describe this methodology and argue that astrophysicists have developed effective ways to establish the reliability of simulation-dependent observational programs. The reliability depends on how well the physical and demographic properties of the simulated population can be constrained through independent observations. We also identify a new challenge raised by the use of simulations, which we call the “problem of uncomputed alternatives.” Sometimes the simulations themselves create unintended selection effects when the limits of what can be simulated lead astronomers to only consider a limited space of alternative proposals. (shrink)

The traditional approach in cognitive sciences holds that cognition is a matter of manipulating abstract symbols followingcertain rules. According to this view, the body is merely an input/output device, which allows the computationalsystem—the brain—to acquire new input data by means of the senses and to act in the environment following its com-mands. In opposition to this classical view, defenders of embodied cognition (EC) stress the relevance of the body inwhich the cognitive agent is embedded in their explanation of (...) cognitive processes. From a representationalist frameworkregarding our conscious experience, in this article, I will offer a novel argument in favor of EC and show that cognitionconstitutively—and no merely causally—depends upon body activity beyond that in the brain. In particular, I will arguethat in order to solve the problem derived from the empirical evidence in favor of the possibility of shifted spectrum,representationalist should endorse the view that experiences concern its subject: the content of experience isde se.Ishow that this claim perfectly matches the phenomenological observation and helps explaining the subjective characterof the experience. Furthermore, I argue that entertaining this kind of representation constitutively depends on bodilyactivity. Consequently, insofar as cognition depends on consciousness, it is embodied. (shrink)

This essay presents the conditional probability of co-contribution account of the individuation of cognitive systems (CPC) and argues that CPC provides an attractive basis for a theory of the cognitive self. The argument proceeds in a largely indirect way, by emphasizing empirical challenges faced by an approach that relies entirely on predictive processing (PP) mechanisms to ground a theory of the cognitive self. Given the challenges faced by PP-based approaches, we should prefer a theory of the cognitive self of the (...) sort CPC offers, one that accommodates variety in the kinds of mechanism that, when integrated, constitute a cognitive system (and thus the cognitive self), to a theory according to which the cognitive self is composed of essentially one kind of thing, for instance, prediction-error minimization mechanisms. The final section focuses on one of the central functions of the cognitive self: to engage in conscious reasoning. It is argued that the phenomenon of conscious, deliberate reasoning poses an apparently insoluble problem for a PP-based view, one that seems to rest on a structural limitation of predictive-processing models. In a nutshell, conscious reasoning is a single-stream phenomenon, but, in order for PP to apply, two streams of activity must be involved, a prediction stream and an input stream. Thus, with regard to the question of the nature of the self, PP-based views must yield to an alternative approach, regardless of whether proponents of the predictive processing, as a comprehensive theory of cognition, can handle the various empirical challenges canvassed in the preceding section. (shrink)

The antenna is considered as the primary means of absorbing electromagnetic waves in space and has its own engineering knowledge, which is very developed and extensive. In general, in order to receive the electromagnetic wave in space, the dimensions of the antenna must be in the order of the size of the input wavelength to its surface. Due to the very low dimensions of nano-sensors, nano-antennas need a very high operating frequency to be usable. The use of graphene greatly (...) helps to solve this problem. Wave propagation velocities in CNTs and GNRs can be up to 100 times slower than vacuum velocities, depending on the physical structure, temperature and energy. Accordingly, the resonant frequency of graphene-based nano-antennas can be twice as low as (nano-carbon) nano-antennas. (shrink)