
Perspectives of Using Temporal Logics for Knowledge
... of management that is called knowledge management. They understand, that employees’ knowledge, or more generally speaking, the knowledge of organization, constitutes one of its key resources. Therefore basic management trends encompass not only managing quality or change, but also knowledge manageme ...
... of management that is called knowledge management. They understand, that employees’ knowledge, or more generally speaking, the knowledge of organization, constitutes one of its key resources. Therefore basic management trends encompass not only managing quality or change, but also knowledge manageme ...
Implementing feedback in creative systems
... think that a certain portion of the text is interesting or important, without being sure why. Although there is no guarantee that a participating critic will be able to take these matters forward, sometimes they do – and the workshop environment will produce something that the author wouldn’t have t ...
... think that a certain portion of the text is interesting or important, without being sure why. Although there is no guarantee that a participating critic will be able to take these matters forward, sometimes they do – and the workshop environment will produce something that the author wouldn’t have t ...
Sensory Systems - Zanichelli online per la scuola
... Mechanoreceptor cells constantly provide information on position of limbs and stresses on muscles and joints. Essential for maintaining posture and coordinating movement. Muscle spindles are mechanoreceptors in muscle cells: stretch receptors. When muscle is stretched, action potentials are generate ...
... Mechanoreceptor cells constantly provide information on position of limbs and stresses on muscles and joints. Essential for maintaining posture and coordinating movement. Muscle spindles are mechanoreceptors in muscle cells: stretch receptors. When muscle is stretched, action potentials are generate ...
Fichamento do artigo: PANGARO, Paul. Cybernetics, A Definition
... Foerster 1974]. The cybernetic approach is centrally concerned with this unavoidable limitation of what we can know: our own subjectivity. In this way cybernetics is aptly called "applied epistemology". At minimum, its utility is the production of useful descriptions, and, specifically, descriptions ...
... Foerster 1974]. The cybernetic approach is centrally concerned with this unavoidable limitation of what we can know: our own subjectivity. In this way cybernetics is aptly called "applied epistemology". At minimum, its utility is the production of useful descriptions, and, specifically, descriptions ...
Reorganisation and Self-organisation in Multi
... Changing the organisation may imply changes within the system at different levels and at different extents. These changes strongly depend on the chosen view (ACPV or OCVP) and on the organisational capabilities of agents (being or not aware of the organisation). Considering the emergence-based MAS, ...
... Changing the organisation may imply changes within the system at different levels and at different extents. These changes strongly depend on the chosen view (ACPV or OCVP) and on the organisational capabilities of agents (being or not aware of the organisation). Considering the emergence-based MAS, ...
Human Skill - Alex Quinn
... time a user must invest to participate? Cognitive load – Independent of the time spent, how much mental energy does the task take? Definition ...
... time a user must invest to participate? Cognitive load – Independent of the time spent, how much mental energy does the task take? Definition ...
Applying Global Workspace Theory to the Frame Problem
... cognitive processes are computationally infeasible. Does this claim stand up to proper scrutiny? In particular, are such processes intractable in the theoretically precise sense? First, let’s reconsider the fact that, according to the computational theory of mind, cognitive processes are “truth-pres ...
... cognitive processes are computationally infeasible. Does this claim stand up to proper scrutiny? In particular, are such processes intractable in the theoretically precise sense? First, let’s reconsider the fact that, according to the computational theory of mind, cognitive processes are “truth-pres ...
A comparision of Hodgkin-Huxley and soliton neural theories
... Abstract. Hodgkin and Huxley were the pioneers to abstract biological neuron as an electric circuit and nerve signal as the voltage impulse. The Hodgkin-Huxley theory (Hodgkin and Huxley, 1952) has set the direction and defined the goals for much of the ensuing research in biophysics. However, in 20 ...
... Abstract. Hodgkin and Huxley were the pioneers to abstract biological neuron as an electric circuit and nerve signal as the voltage impulse. The Hodgkin-Huxley theory (Hodgkin and Huxley, 1952) has set the direction and defined the goals for much of the ensuing research in biophysics. However, in 20 ...
decisions making in design process – examples of artificial
... has large amount of details, which are not available in the books, but represent s bond between theoretical and practical knowledge. Mixture of the knowledge and mechanism of deduction (heuristic deduction of humans) represents basic power of expert systems. Expert systems are not universal. Their a ...
... has large amount of details, which are not available in the books, but represent s bond between theoretical and practical knowledge. Mixture of the knowledge and mechanism of deduction (heuristic deduction of humans) represents basic power of expert systems. Expert systems are not universal. Their a ...
Agent-based Abstractions for Verifying Alternating
... not hold (see [20] for counterexamples), thus making the model checking procedures based on them unusable and the verification task strictly more complex. In particular, ATL with imperfect information is not subsumed by the alternating µ-calculus [7, 14], as it is the case for perfect information, a ...
... not hold (see [20] for counterexamples), thus making the model checking procedures based on them unusable and the verification task strictly more complex. In particular, ATL with imperfect information is not subsumed by the alternating µ-calculus [7, 14], as it is the case for perfect information, a ...
Um Provador de Teoremas Multi-Estratégia A Multi
... informed us that they have already thought of adapting their method that obtains what we called here C3 M systems (which for LFIs are a kind of mixture of AT and KE) to be able to produce KE systems. On the implementation side, from the results we have obtained3 , we can see that it would be very us ...
... informed us that they have already thought of adapting their method that obtains what we called here C3 M systems (which for LFIs are a kind of mixture of AT and KE) to be able to produce KE systems. On the implementation side, from the results we have obtained3 , we can see that it would be very us ...
DSS Chapter 1
... BI is a result of a continuous revolution and, as such, DSS is one of BI's original elements In this book, we separate DSS from BI ...
... BI is a result of a continuous revolution and, as such, DSS is one of BI's original elements In this book, we separate DSS from BI ...
What is Decision Support? - Prof. Antonio Carlos M. Mattos
... facilitate management decision making [10]. Data warehouse technology includes data cleansing, data integration, and OLAP, that is, analysis techniques with functionalities such as summarization, consolidation, and aggregation, as well as the ability to view information from different angles. In war ...
... facilitate management decision making [10]. Data warehouse technology includes data cleansing, data integration, and OLAP, that is, analysis techniques with functionalities such as summarization, consolidation, and aggregation, as well as the ability to view information from different angles. In war ...
CSC 480: Artificial Intelligence
... reasonably close to human reasoning can be manipulated by computers appropriate granularity ...
... reasonably close to human reasoning can be manipulated by computers appropriate granularity ...
Specifying and Verifying Distributed Intelligent Systems
... they are often called). Over the past decade, many frameworks for building and experimenting with DAI systems have been reported. Probably the best-known is MACE, a LISP-based fully instrumented testbed for building DAI systems at a range of sizes and complexity [19]. Other testbeds include Georgeff ...
... they are often called). Over the past decade, many frameworks for building and experimenting with DAI systems have been reported. Probably the best-known is MACE, a LISP-based fully instrumented testbed for building DAI systems at a range of sizes and complexity [19]. Other testbeds include Georgeff ...
Registration Brochure C1 August 19-25, 1995
... Cooperation in Multi-Agent Environments. Sarit Kraus is Senior Lecturer at Bar Ilan University, Israel. She is also a regular visitor and contributor to research at the Institute for Advanced Computer Studies at the University of Maryland. As part of her doctoral research, she wrote a program that p ...
... Cooperation in Multi-Agent Environments. Sarit Kraus is Senior Lecturer at Bar Ilan University, Israel. She is also a regular visitor and contributor to research at the Institute for Advanced Computer Studies at the University of Maryland. As part of her doctoral research, she wrote a program that p ...
The Developmental Systems Perspective: Organism
... experiments. Exposure of eggs from either type of colony to the pheremonal 'culture' of a polygynous colony produces small queens who found polygynous colonies, leading to more small queens, and so forth. Exposure of eggs from either type of colony to the pheremonal 'culture' of a monogynous colony ...
... experiments. Exposure of eggs from either type of colony to the pheremonal 'culture' of a polygynous colony produces small queens who found polygynous colonies, leading to more small queens, and so forth. Exposure of eggs from either type of colony to the pheremonal 'culture' of a monogynous colony ...
(< 50 m) non-transfected neurons using laser scanning
... Markov model is shown in Figure S4B. For realistic ranges of parameter values (see above) we find that esc modulates the retention time, r (Figure S4C), consistent with Equation 1. on plays a similar role (not shown). As expected, r is proportional to off (Figure S4D). Thus spine geometry (via ...
... Markov model is shown in Figure S4B. For realistic ranges of parameter values (see above) we find that esc modulates the retention time, r (Figure S4C), consistent with Equation 1. on plays a similar role (not shown). As expected, r is proportional to off (Figure S4D). Thus spine geometry (via ...
variations in variation and selection: the ubiquity
... is increased organizational complexity rather than fit of adaptation per se. In most of this literature, as applied to biology, even if neo-Darwinian processes are allowed, where increasing complexity emerges the neo-Darwinian processes are relegated to selecting among self-organized forms whose eme ...
... is increased organizational complexity rather than fit of adaptation per se. In most of this literature, as applied to biology, even if neo-Darwinian processes are allowed, where increasing complexity emerges the neo-Darwinian processes are relegated to selecting among self-organized forms whose eme ...
A Design of Criminal Investigation Expert System Based on CILS
... behavior. Personal construct psychology developed over the same time period but was not recognized by those working on artificial intelligence and cognitive science as a complete psychological system providing more effective foundations for cognitive science and expert systems. Repertory grid elicit ...
... behavior. Personal construct psychology developed over the same time period but was not recognized by those working on artificial intelligence and cognitive science as a complete psychological system providing more effective foundations for cognitive science and expert systems. Repertory grid elicit ...
Academic Biology - Pompton Lakes School District
... LS1.A: Structure and Function Systems of specialized cells within organisms help them perform the essential functions of life. (HS-LS1-1) All cells contain genetic information in the form of DNA molecules. Genes are regions in the DNA that contain the instructions that code for the formation of pr ...
... LS1.A: Structure and Function Systems of specialized cells within organisms help them perform the essential functions of life. (HS-LS1-1) All cells contain genetic information in the form of DNA molecules. Genes are regions in the DNA that contain the instructions that code for the formation of pr ...
validation and verification of knowledge bases in the context of
... Logos reasoning system is constructed by the author within the frame of the research project under the same name. The author has already finished the research (R&D) regarding the Sphinx project, including, among other things, the PC-Shell – hybrid, expert system shell, as well as CAKE system (this i ...
... Logos reasoning system is constructed by the author within the frame of the research project under the same name. The author has already finished the research (R&D) regarding the Sphinx project, including, among other things, the PC-Shell – hybrid, expert system shell, as well as CAKE system (this i ...
Expert Systems - University of Southern California
... in the mid 1980’s to mid 1990’s (e.g., Hayes-Roth (5) and Davis (6)). The shift was one that would begin to remove the need for labeling a system with “expert,” and reduce the hype, but still would require that the system be “knowledge-based.” This name shift put less direct pressure on developers t ...
... in the mid 1980’s to mid 1990’s (e.g., Hayes-Roth (5) and Davis (6)). The shift was one that would begin to remove the need for labeling a system with “expert,” and reduce the hype, but still would require that the system be “knowledge-based.” This name shift put less direct pressure on developers t ...
Specialized Business Information Systems
... Principles and Learning Objectives • Artificial intelligence systems form a broad and diverse set of systems that can replicate human decision making for certain types of well-defined problems. – Define the term artificial intelligence and state the objective of developing artificial intelligence s ...
... Principles and Learning Objectives • Artificial intelligence systems form a broad and diverse set of systems that can replicate human decision making for certain types of well-defined problems. – Define the term artificial intelligence and state the objective of developing artificial intelligence s ...
Incomplete Nature
Incomplete Nature: How Mind Emerged from Matter is a 2011 book by biological anthropologist Terrence Deacon. The book covers topics in biosemiotics, philosophy of mind, and the origins of life. Broadly, the book seeks to naturalistically explain ""aboutness"", that is, concepts like intentionality, meaning, normativity, purpose, and function; which Deacon groups together and labels as ententional phenomena.