Relevant bibliographies by topics / Physical symbol system

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Physical symbol system'

Author: Grafiati
Published: 4 June 2021
Last updated: 7 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Physical symbol system.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Physical symbol system"

1

Ishida, Y. "Symbol system for symmetry of physical systems." Computers & Mathematics with Applications 39, no. 9-10 (2000): 221–40. http://dx.doi.org/10.1016/s0898-1221(00)00097-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ourusoff, Nicholas. "The physical symbol system hypothesis of Newell and Simon." ACM SIGCSE Bulletin 17, no. 3 (1985): 19–23. http://dx.doi.org/10.1145/382208.382515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ghazi, Hind Salim, and Krzysztof Wesołowski. "Application of an Interference Cancellation Detector in a Two-Way Relaying System with Physical Network Coding." Electronics 10, no. 11 (2021): 1294. http://dx.doi.org/10.3390/electronics10111294.

Full text
Abstract:
In this paper, we investigate the performance of a detector recently proposed by us that is applied in the relay station receiving signals from two terminals concurrently exchanging data in the two-way relaying system. This is one of the potential configurations to save resources in fifth-generation systems, similar to non-orthogonal multiple access, which is also considered for such systems. Two-way relaying can be implemented using physical network coding. This technique originates from the network coding idea, in which network nodes can perform some mathematical operations. The idea of the investigated detector lies in the application of tentative decisions about weaker signals in the detection of stronger ones and then, after improved detection of stronger user signals, achieving more reliable decisions about the weaker ones. We compare the performance of the proposed detector with the performance of a detector in which the relay makes decisions on the data symbols received from the stations participating in two-way relaying on a symbol-by-symbol basis. Simulation results performed for two-way relaying with physical network coding reported in this paper confirm the superiority of the proposed detector when compared with the standard physical network coding solution applied in the relay node.
APA, Harvard, Vancouver, ISO, and other styles
4

Barsalou, Lawrence W. "Perceptual symbol systems." Behavioral and Brain Sciences 22, no. 4 (1999): 577–660. http://dx.doi.org/10.1017/s0140525x99002149.

Full text
Abstract:
Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statistics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement recording systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The storage and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual experiences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a common frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift,run) and introspection (e.g., compare,memory,happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and abstract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinatorially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a perceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal symbol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored.
APA, Harvard, Vancouver, ISO, and other styles
5

LIU, Y., T. IKENAGA, and S. GOTO. "Geometrical, Physical and Text/Symbol Analysis Based Approach of Traffic Sign Detection System." IEICE Transactions on Information and Systems E90-D, no. 1 (2007): 208–16. http://dx.doi.org/10.1093/ietisy/e90-1.1.208.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Murtala, Sheriff, Tasnim Holoubi, Nishal Muchena, Manar Mohaisen, and Kang-Sun Choi. "On the Performance of the Multiple Active Antenna Spatial Modulation with 3-Dimensional Constellation." Applied Sciences 10, no. 11 (2020): 3718. http://dx.doi.org/10.3390/app10113718.

Full text
Abstract:
In spatial modulation (SM), a single signal symbol is transmitted from a given physical antenna, where both the signal symbol and the antenna index carry information. SM with multiple active antennas (MA-SM) transmits several signal symbols from a combination of antennas at each channel use, thereby increasing the spectral efficiency. MA-SM is proposed in combination with a new 3-dimensional constellation, where signal symbols transmitted from a given antenna combination are rotated before transmission. In this paper, we derived an upper-bound on the error probability of the MA-SM as a function of the rotation angles. The search for the optimal rotation angles is modeled as a multi-objective optimization problem. We concluded based on both analytical and simulation results that the 3-dimensional constellation with the optimal angles achieved negligible improvement. Therefore, we do not recommend using the 3-dimensional constellation with the MA-SM system.
APA, Harvard, Vancouver, ISO, and other styles
7

Konyk, M., L. Romaka, Yu Stadnyk, V. V. Romaka, and V. Pashkevych. "Phase equilibria in the Gd–Cr–Ge system at 1070 K." Physics and Chemistry of Solid State 22, no. 2 (2021): 248–54. http://dx.doi.org/10.15330/pcss.22.2.248-254.

Full text
Abstract:
The isothermal section of the phase diagram of the Gd–Cr–Ge ternary system was constructed at 1070 K over the whole concentration range using X-ray diffractometry, metallography and electron microprobe (EPM) analysis. Three ternary compounds are realized in the Gd–Cr–Ge system at the temperature of annealing: Gd117Cr52Ge112 (Tb117Fe52Ge112 structure type, space group Fm-3m, Pearson symbol cF1124, a = 2.8971(6) nm), GdCr6Ge6 (SmMn6Sn6 structure type, space group P6/mmm, Pearson symbol hP16, a = 0.51797(2), c = 0.82901(4) nm) and GdCr1-хGe2 (CeNiSi2 structure type, space group Cmcm, Pearson symbol oS16, a = 0.41569(1)-0.41593(8), b = 1.60895(6)-1.60738(3), c = 0.40318(1)-0.40305(8) nm). For the GdCr1-xGe2 compound the homogeneity range was determined (x=0.73 – 0,69).
APA, Harvard, Vancouver, ISO, and other styles
8

Bołtuć, Piotr. "Conscious AI at the Edge of Chaos." Journal of Artificial Intelligence and Consciousness 07, no. 01 (2020): 25–38. http://dx.doi.org/10.1142/s2705078520500010.

Full text
Abstract:
The main problem for AI consciousness is to operate within the right kind of AI. We distinguish between the traditional computing (GOFAI), and the computing based on stochastic pattern optimization. The latter will be called here computing at the edge of chaos. Optimization of learning patterns, which is the gist of its success, often happens between the areas of too much repetitive order and those of hard to predict and control stochastic processes. This is to change the focus from the opposition of symbolic versus sub-symbolic computing; symbols can appear at different granularities and the hedge between The Physical Symbol System Hypothesis and neural nets seems no longer the most productive cut to make. Computing at the edge of chaos is promising for AGI, especially for AGI consciousness. The second problem for AI consciousness is to work with the right definitions of consciousness.
APA, Harvard, Vancouver, ISO, and other styles
9

Do, Phu Thinh, Jin-Soo Wang, Jin-Bae Park, and Yun-Hee Kim. "Symbol Error Probability of a Physical Layer Network Coded System in Nakagami Fading Channels." Journal of Korea Information and Communications Society 37, no. 8C (2012): 645–54. http://dx.doi.org/10.7840/kics.2012.37c.8.645.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

HEMKER, ANDREAS. "A DATA PARALLEL PROBLEM SOLVING ARCHITECTURE FOR THE RECONSTRUCTION OF PHYSICAL EVENTS." International Journal of Modern Physics C 04, no. 01 (1993): 143–49. http://dx.doi.org/10.1142/s0129183193000161.

Full text
Abstract:
A system is presented which is able to reconstruct the physical processes after the annihilation of particles in collider rings like LEP. It can be shown that the reconstruction task belongs to the class of NP-complete problems. Neither the conventional symbol processing approach of artificial intelligence nor connectionist systems alone satisfy the requirements of the application. A hybrid system is introduced in which a genetic algorithm acts together with a model-based hillclimbing component. The power of this method is based on the interaction of a dynamically and an inferentially working module. The inherent parallelism of dynamic systems makes a implementation on a parallel architecture useful. A data parallel implementation of this algorithm on the Connection Machine Model CM-2 is described. At last the reconstruction system is applied to a classification task, the identification of the initial quark pair. The results are compared with a conventional analysis method and a neural network.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Physical symbol system"

1

Murali, Dilip Venkateswaran. "Verification of Cyber Physical Systems." Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/23824.

Full text
Abstract:
Due to the increasing complexity of today\'s cyber-physical systems, defects become inevitable and harder to detect. The complexity of such software is generally huge, with millions of lines of code. The impact of failure of such systems could be hazardous. The reliability of the system depends on the effectiveness and rigor of the testing procedures. Verification of the software behind such cyber-physical systems is required to ensure stability and reliability before the systems are deployed in field. We have investigated the verification of the software for Autonomous Underwater Vehicles (AUVs) to ensure safety of the system at any given time in the field. To accomplish this, we identified useful invariants that would aid as monitors in detecting abnormal behavior of the software. Potential invariants were extracted which had to be validated. The investigation attempts to uncover the possibility of performing this method on existing Software verification platforms. This was accomplished on Cloud9, which is built on KLEE and using the Microsoft\'s VCC tool. Experimental results show that this method of extracting invariants can help in identifying new invariants using these two tools and the invariants identified can be used to monitor the behavior of the autonomous vehicles to detect abnormality and failures in the system much earlier thereby improving the reliability of the system. Recommendations for improving software quality were provided. The work also explored safety measures and standards on software for safety critical systems and Autonomous vehicles. Metrics for measuring software complexity and quality along with the requirements to certify AUV software were also presented. The study helps in understanding verification issues, guidelines and certification requirements.<br>Master of Science
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Xiaotian. "Mission-aware Vulnerability Assessment for Cyber-Physical System." Wright State University / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=wright1440809206.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Saoud, Adnane. "Compositional and Efficient Controller Synthesis for Cyber-Physical Systems." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLC076/document.

Full text
Abstract:
Cette thèse porte sur le développement d'approches compositionnelles et efficaces de synthèse de contrôleurs pour les systèmes cyber-physiques (CPS). En effet, alors que les techniques de conception des CPS basées sur des modèles ont fait l'objet de nombreuses études au cours de la dernière décennie, leur scalabilité reste problématique. Dans cette thèse, nous contribuons à rendre de telles approches plus évolutives.La première partie est axée sur les approches compositionnelles. Un cadre général pour le raisonnement compositionnel en utilisant des contrats d’hypothèse-garantie est proposé. Ce cadre est ensuite combiné avec des techniques de contrôle symbolique et appliqué à un problème de synthèse de contrôleur pour des systèmes échantillonnés, distribués et multipériodiques, où l'approche symbolique est utilisé pour synthétiser un contrôleur imposant un contrat donné. Ensuite, une nouvelle approche de calcul compositionnel des abstractions symboliques est proposée, basée sur la notion de composition approchée et permettant de traiter des abstractions hétérogènes.La deuxième partie de la thèse porte sur des techniques efficaces d'abstraction et de synthèse de contrôleurs. Deux nouvelles techniques de calcul d’abstractions sont proposées pour les systèmes à commutation incrémentalement stables. La première approche est basée sur l'échantillonnage multi-niveaux où nous avons établi l'existence d'un paramètre optimal d'échantillonnage qui aboutit à un modèle symbolique avec un nombre minimal de transitions. La deuxième approche est basée sur un échantillonnage événementiel, où la durée des transitions dans le modèle symbolique est déterminée par un mécanisme déclencheur, ce qui permet de réduire le conservatisme par rapport au cas périodique. La combinaison avec des techniques de synthèse de contrôleurs paresseux est proposée permettant la synthèse à un coût de calcul réduit. Enfin, une nouvelle approche de synthèse paresseuse a été développée pour les systèmes de transition monotones et les spécifications de sécurité dirigées. Plusieurs études de cas sont considérées dans cette thèse, telles que la régulation de la température dans les bâtiments, le contrôle des convertisseurs de puissance, le pilotage des véhicules et le contrôle de la tension dans les micro-réseaux DC<br>This thesis focus on the development of compositional and efficient controller synthesis approaches for cyber-physical systems (CPS). Indeed, while model-based techniques for CPS design have been the subject of a large amount of research in the last decade, scalability of these techniques remains an issue. In his thesis, we contribute to make such approaches more scalable.The focus of the first part is on compositional approaches. A general framework for compositional reasoning using assume-guarantee contracts is proposed. This framework is then combined with symbolic control techniques and applied to a controller synthesis problem for multiperiodic distributed sampled-data systems, where symbolic approaches have been used to synthesize controllers enforcing a given assume-guarantee contract. Then, a new approach to the compositional computation of symbolic abstractions is proposed based on the notion of approximate composition, allowing to deal with heterogeneous abstractions and arbitrary interconnections.The second part is about efficient abstraction and controller synthesis techniques. Two new abstractions schemes have been developed for incrementally stable switched systems. The first approach is based on multirate sampling where we established the existence of an optimal multirate sampling parameter that results in a symbolic model with a minimal number of transitions. The second approach is based on event-based sampling, where the duration of transitions in the symbolic model is determined by some triggering mechanism, which makes it possible to reduce the conservatism with respect to the periodic case. Combination with lazy controller synthesis techniques has been proposed allowing the synthesis at a reduced computational cost. Finally, a new lazy approach has been develop for monotone transition systems and directed safety specifications. Several case studies have been considered in this thesis such as temperature regulation in buildings, control of power converters, vehicle platooning and voltage control in DC micro-grids
APA, Harvard, Vancouver, ISO, and other styles
4

Wheeler, Russell Clark. "Using symbolic dynamical systems: A search for knot invariants." CSUSB ScholarWorks, 1998. https://scholarworks.lib.csusb.edu/etd-project/3033.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Swikir, Abdalla [Verfasser], Martin [Akademischer Betreuer] Buss, Majid [Gutachter] Zamani, and Martin [Gutachter] Buss. "Compositional Synthesis of Symbolic Models for (In)Finite Networks of Cyber-Physical Systems / Abdalla Swikir ; Gutachter: Majid Zamani, Martin Buss ; Betreuer: Martin Buss." München : Universitätsbibliothek der TU München, 2020. http://d-nb.info/1225864755/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Paskauskas, Rytis. "Chaotic Scattering in Rydberg Atoms, Trapping in Molecules." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/19809.

Full text
Abstract:
We investigate chaotic ionization of highly excited hydrogen atom in crossed electric and magnetic fields (Rydberg atom) and intra-molecular relaxation in planar carbonyl sulfide (OCS) molecule. The underlying theoretical framework of our studies is dynamical systems theory and periodic orbit theory. These theories offer formulae to compute expectation values of observables in chaotic systems with best accuracy available in given circumstances, however they require to have a good control and reliable numerical tools to compute unstable periodic orbits. We have developed such methods of computation and partitioning of the phase space of hydrogen atom in crossed at right angles electric and magnetic fields, represented by a two degree of freedom (dof) Hamiltonian system. We discuss extensions to a 3-dof setting by developing the methodology to compute unstable invariant tori, and applying it to the planar OCS, represented by a 3-dof Hamiltonian. We find such tori important in explaining anomalous relaxation rates in chemical reactions. Their potential application in Transition State Theory is discussed.
APA, Harvard, Vancouver, ISO, and other styles
7

Weil, Jacques-Arthur. "Méthodes effectives en théorie de Galois différentielle et applications à l'intégrabilité de systèmes dynamiques." Habilitation à diriger des recherches, Université de Limoges, 2013. http://tel.archives-ouvertes.fr/tel-00933064.

Full text
Abstract:
Mes recherches portent essentiellement sur l''elaboration de m'ethodes de calcul formel pour l''etude constructive des 'equations diff'erentielles lin'eaires, plus particuli'erement autour de la th'eorie de Galois diff'erentielle. Celles-ci vont du d'eveloppement de la th'eorie sous-jacente aux algorithmes, en incluant leur implantation en Maple. Ces travaux ont en commun une approche exp'erimentale des math'ematiques o'u l'on met l'accent sur l'examen d'exemples les plus pertinents possibles. L''etude d'etaill'ee de cas provenant de la m'ecanique rationnelle ou de la physique th'eorique nourrit en retour le d'eveloppement de th'eories math'ematiques idoines. Mes travaux s'articulent suivant trois grands th'emes interd'ependants : la th'eorie de Galois diff'erentielle effective, ses applications 'a l'int'egrabilit'e de syst'emes hamiltoniens et des applications en physique th'eorique.
APA, Harvard, Vancouver, ISO, and other styles
8

Janeke, Hendrik Christiaan. "Connectionist modelling in cognitive science: an exposition and appraisal." Thesis, 2003. http://hdl.handle.net/10500/635.

Full text
Abstract:
This thesis explores the use of artificial neural networks for modelling cognitive processes. It presents an exposition of the neural network paradigm, and evaluates its viability in relation to the classical, symbolic approach in cognitive science. Classical researchers have approached the description of cognition by concentrating mainly on an abstract, algorithmic level of description in which the information processing properties of cognitive processes are emphasised. The approach is founded on seminal ideas about computation, and about algorithmic description emanating, amongst others, from the work of Alan Turing in mathematical logic. In contrast to the classical conception of cognition, neural network approaches are based on a form of neurocomputation in which the parallel distributed processing mechanisms of the brain are highlighted. Although neural networks are generally accepted to be more neurally plausible than their classical counterparts, some classical researchers have argued that these networks are best viewed as implementation models, and that they are therefore not of much relevance to cognitive researchers because information processing models of cognition can be developed independently of considerations about implementation in physical systems. In the thesis I argue that the descriptions of cognitive phenomena deriving from neural network modelling cannot simply be reduced to classical, symbolic theories. The distributed representational mechanisms underlying some neural network models have interesting properties such as similarity-based representation, content-based retrieval, and coarse coding which do not have straightforward equivalents in classical systems. Moreover, by placing emphasis on how cognitive processes are carried out by brain-like mechanisms, neural network research has not only yielded a new metaphor for conceptualising cognition, but also a new methodology for studying cognitive phenomena. Neural network simulations can be lesioned to study the effect of such damage on the behaviour of the system, and these systems can be used to study the adaptive mechanisms underlying learning processes. For these reasons, neural network modelling is best viewed as a significant theoretical orientation in the cognitive sciences, instead of just an implementational endeavour.<br>Psychology<br>D. Litt. et Phil. (Psychology)
APA, Harvard, Vancouver, ISO, and other styles
9

Wu, Chi-Tung, and 吳啟通. "An Investigation of Doll Illustration of Symbols in Rhythmic Movement System of Early Childhood Physical Education." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/18819303317564055013.

Full text
Abstract:
碩士<br>國立體育大學<br>體育推廣學系碩士班<br>98<br>Background: The purpose of this study was to understand the cognitive of early childhood education teachers and early childhood physical education teachers in teaching rhythmic movement which using the researcher-designed doll illustration of symbols in rhythmic movement system. Moreover, the researcher was trying to analysis how the system could benefits for participants in studying children's rhythmic movements and served to record movement patterns for future study. Methods: A total of twelve subjects (n=12) participated in this study which included six early childhood education teachers (n=6) and six early childhood physical education teachers (n=6). A semi-structural interview was conducted to collect all the data. Results: a). The system presented a warm, lively, and friendly expression of the children's movements to the participants; b). The system embodied the rhythmic movements and was able to inspire leaning interest and motivation in the participants; c) The system represented the child's body and help the participants richly experience the rhythmic movement; d). The system used revolution, combination, and differing viewing angles to clearly display different body areas, a wide variety of movements can be clearly expressed to participants; e). The system combined several different symbolic movement elements, the flow and sequence of the movements can be expressed in a way that participants can easily grasp; and f). The system assisted with their memorization, cementing complex patterns permanently in the participant's cognition while improving the participant's attitude toward studying. Conclusion: The system represents a completely new method for learning rhythmic movement by using these illustrations. Using the system to record rhythmic movement was helpful in presenting ideas, and can express concepts that words cannot.
APA, Harvard, Vancouver, ISO, and other styles
10

Sacks, Elisha. "Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations." 1988. http://hdl.handle.net/1721.1/6840.

Full text
Abstract:
This paper explores automating the qualitative analysis of physical systems. It describes a program, called PLR, that takes parameterized ordinary differential equations as input and produces a qualitative description of the solutions for all initial values. PLR approximates intractable nonlinear systems with piecewise linear ones, analyzes the approximations, and draws conclusions about the original systems. It chooses approximations that are accurate enough to reproduce the essential properties of their nonlinear prototypes, yet simple enough to be analyzed completely and efficiently. It derives additional properties, such as boundedness or periodicity, by theoretical methods. I demonstrate PLR on several common nonlinear systems and on published examples from mechanical engineering.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Physical symbol system"

1

IAPSO Working Group on Symbols, Units, and Nomenclature in Physical Oceanography. The International System of Units (SI) in oceanography: Report of IAPSO Working Group on Symbols, Units, and Nomenclature in Physical Oceanography (SUN). Unesco, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Tadmor, Eitan. Semi-discrete approximations to nonlinear systems of conservation laws: Consistency and L [symbol for infinity]-stability imply convergence. National Aeronautics and Space Administration, Langley Research Center, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tadmor, Eitan. Semi-discrete approximations to nonlinear systems of conservation laws: Consistency and L [symbol for infinity]-stability imply convergence. National Aeronautics and Space Administration, Langley Research Center, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Carsetti, Arturo. Epistemic Complexity and Knowledge Construction: Morphogenesis, symbolic dynamics and beyond. Springer Netherlands, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Straume, Eldar, and Pedro de M. Rios. Symbol Correspondences for Spin Systems. Birkhäuser, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Straume, Eldar, and Pedro de M. Rios. Symbol Correspondences for Spin Systems. Birkhäuser, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Egan, Frances. Representationalism. Edited by Eric Margolis, Richard Samuels, and Stephen P. Stich. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780195309799.013.0011.

Full text
Abstract:
The article gives an overview of several distinct theses demonstrating representationalism in cognitive science. Strong representationalism is the view that representational mental states have a specific form, in particular, that they are functionally characterizable relations to internal representations. The proponents of strong representationalism typically suggest that the system of internal representations constitutes a language with a combinatorial syntax and semantics. Braddon-Mitchell and Jackson argued that mental representations might be more analogous to maps than to sentences. Waskan argued that mental representations are akin to scale models. Fodor and Fodor and Pylyshyn argued that certain pervasive features of thought can only be explained by the hypothesis that thought takes place in a linguistic medium. A physical symbol system (PSS) hypothesis is a version of strong representationalism, the idea that representational mental states are functionally characterizable relations to internal representations. The representational content has a significant role in computational models of cognitive capacities. The internal states and structures posited in computational theories of cognition are distally interpreted in such theories. The distal objects and properties that determine the representational content of the posited internal states and structures serve to type-individuate a computationally characterized mechanism. Strong Representationalism, as exemplified by the PSS hypothesis, construes mental processes as operations on internal representations.
APA, Harvard, Vancouver, ISO, and other styles
8

Laws Language And Life Howard Pattees Classic Papers On The Physics Of Symbols With Contemporary Commentary By Howard Pattee And Joanna Raczaszekleonardi. Springer, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Physical symbol system"

1

Spangenberg, Michael, and Dominik Henrich. "Symbolic Robot Commanding Utilizing Physical Properties - System Overview." In KI 2016: Advances in Artificial Intelligence. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46073-4_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Struss, Peter. "Qualitative modeling of physical systems in AI research." In Artificial Intelligence and Symbolic Mathematical Computing. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57322-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bai-Lin, Hao. "Elementary Symbolic Dynamics." In Order and Chaos in Nonlinear Physical Systems. Springer US, 1988. http://dx.doi.org/10.1007/978-1-4899-2058-4_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Andersson, Björn, Sagar Chaki, and Dionisio de Niz. "Combining Symbolic Runtime Enforcers for Cyber-Physical Systems." In Runtime Verification. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Politi, Antonio. "Symbolic Encoding in Dynamical Systems." In From Statistical Physics to Statistical Inference and Back. Springer Netherlands, 1994. http://dx.doi.org/10.1007/978-94-011-1068-6_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yamada, Yunosuke, Masashi Sato, and Kazunori Ueda. "Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI." In Cyber Physical Systems. Model-Based Design. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41131-2_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Betsuno, Kenichi, Shota Matsumoto, and Kazunori Ueda. "Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection." In Cyber Physical Systems. Design, Modeling, and Evaluation. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-51738-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Turvey, Michael T. "Reflections on the Physical Symbol System Hypothesis." In Lectures on Perception. Routledge, 2018. http://dx.doi.org/10.4324/9780429443879-19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Goertzel, Ben, Moshe Looks, Ari Heljakka, and Cassino Pennachin. "Toward a Pragmatic Understanding of the Cognitive Underpinnings of Symbol Grounding." In Semiotics and Intelligent Systems Development. IGI Global, 2007. http://dx.doi.org/10.4018/978-1-59904-063-9.ch004.

Full text
Abstract:
We describe a research project investigating “symbol grounding” – the dynamics by which psychological connections are made between abstract symbols and concrete physical phenomena observed via sense perception and motor action. The project involves the use of a 3D simulated environment (AGI-SIM) as a medium for training, teaching and developing an integrative, general-intelligence-oriented AI software system (the Novamente AI Engine). Via acting in AGI-SIM, Novamente forms concrete sensorimotor groundings for abstract relationships, such as those expressed in English by prepositions and subject-argument relationships. We describe results obtained using probabilistic-evolutionary learning within Novamente to learn groundings for the concept “near”, the use of these groundings in practical procedure learning (e.g. learning to play “fetch” in a simulated world), and we then discuss the correlation of these groundings with linguistic usage of related words, and the use of these groundings within analogical and other sorts of inference.
APA, Harvard, Vancouver, ISO, and other styles
10

"Physical Symbol Systems: The Symbolic Approach to Intelligence." In Algorithms Are Not Enough. The MIT Press, 2020. http://dx.doi.org/10.7551/mitpress/11659.003.0004.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Physical symbol system"

1

Brini, Ouajdi, and Mounir Boukadoum. "Virtualization of the LTE physical layer symbol processing with GPUs." In 2017 15th IEEE International New Circuits and Systems Conference (NEWCAS). IEEE, 2017. http://dx.doi.org/10.1109/newcas.2017.8010172.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Spiewak, S. A., and E. M. Lawrence. "Low-Invasive Estimation of Physical Properties in Numerically Ill-Conditioned MEMS." In ASME 2007 International Mechanical Engineering Congress and Exposition. ASMEDC, 2007. http://dx.doi.org/10.1115/imece2007-43946.

Full text
Abstract:
A prototype system for comprehensive evaluation of micro- and nano-electromechanical systems is presented. It features constitutive-empirical modeling methodology closely linked with symbolic, arbitrary precision computations. It is capable of resolving ambiguities created by numerical ill-conditioning in micro and nano scale systems. For precision low-invasive laboratory investigations or production (wafer level) metrology it employs laser interferometry and white light profilometry supported by extensive signal and system analysis software. Experimental results obtained with microfabricated beams and resonators illustrate the current performance of the system and hint its potential applications.
APA, Harvard, Vancouver, ISO, and other styles
3

Shai, Offer, and Kenneth Preiss. "Network Methods in Engineering." In ASME 2008 9th Biennial Conference on Engineering Systems Design and Analysis. ASMEDC, 2008. http://dx.doi.org/10.1115/esda2008-59015.

Full text
Abstract:
This paper reviews the main idea underlying the use of network graph theory for analysis or for design of physical engineered systems. A physical engineered system is a system built from physical components, as compared with a system built only from symbols or software. The term includes structures, mechanisms, electric circuits and more. Different engineered systems may be represented as the same graph, or as graphs that show a known mathematical relationship between them. We then have a single mathematical representation that is applicable to more than one engineered system. The properties of the graph, as known from graph theory, are applicable to all the engineered systems in domains that match that graph. The graph can be regarded as a generalized representation suitable for various engineered systems. Engineering theory is commonly divided into domains, solid mechanics, mechanisms, fluid mechanics, heat transfer, and more. When dealing with engineered systems using the language and mathematical formality of graph theory such divisions become unnecessary. Network graph theory can apply similar or even identical theory to many engineering domains.
APA, Harvard, Vancouver, ISO, and other styles
4

La Cava, William, Kourosh Danai, Matthew Lackner, Lee Spector, Paul Fleming, and Alan Wright. "Automatic Identification of Closed-Loop Wind Turbine Dynamics via Genetic Programming." In ASME 2015 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/dscc2015-9768.

Full text
Abstract:
Wind turbines are nonlinear systems that operate in turbulent environments. As such, their behavior is difficult to characterize accurately across a wide range of operating conditions by physically meaningful models. Customarily, data-based models of wind turbines are defined in ‘black box’ format, lacking in both conciseness and physical intelligibility. To address this deficiency, we identify models of a modern horizontal-axis wind turbine in symbolic form using a recently developed symbolic regression method. The method used relies on evolutionary multi-objective optimization to produce succinct dynamic models from operational data without ‘a priori’ knowledge of the system. We compare the produced models with models derived by other methods for their estimation capacity and evaluate the tradeoff between model intelligibility and accuracy. Several succinct models are found that predict wind turbine behavior as well as or better than more complex alternatives derived by other methods.
APA, Harvard, Vancouver, ISO, and other styles
5

Andrei, Stefan, and Albert Mo Kim Cheng. "Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies." In 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2008. http://dx.doi.org/10.1109/synasc.2008.16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

"INTERACTIVE SOFTWARE FOR SYMBOLIC MODELING OF PHYSICAL SYSTEMS USING GRAPHS." In First International Conference on Informatics in Control, Automation and Robotics. SciTePress - Science and and Technology Publications, 2004. http://dx.doi.org/10.5220/0001138404880491.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gil, Debora, Aura Hernandez-Sabate, David Castells-Rufas, and Jordi Carrabina. "CYBERH: Cyber-Physical Systems in Health for Personalized Assistance." In 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 2017. http://dx.doi.org/10.1109/synasc.2017.00067.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Basagiannis, Stylianos. "Software certification of airborne cyber-physical systems under DO-178C." In 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479378.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Rungger, Matthias, and Paulo Tabuada. "A symbolic approach to the design of robust cyber-physical systems." In 2013 IEEE 52nd Annual Conference on Decision and Control (CDC). IEEE, 2013. http://dx.doi.org/10.1109/cdc.2013.6760490.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Majumdar, Rupak, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, and Mehrdad Zareian. "Symbolic reach-avoid control of multi-agent systems." In ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems. ACM, 2021. http://dx.doi.org/10.1145/3450267.3450548.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Physical symbol system' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography