CURRICULUM VITAE - University of Memphis
... http://www.memphis.edu/psychology/people/faculty/graesser.php, ...
... http://www.memphis.edu/psychology/people/faculty/graesser.php, ...
curriculum vitae - University of Memphis
... http://www.memphis.edu/psychology/people/faculty/graesser.php, ...
... http://www.memphis.edu/psychology/people/faculty/graesser.php, ...
Dowe2010_MML_Handboo.. - Clayton School
... Furthermore, defining a prefix code to be a set of (k-ary) strings (of arity k, i.e., where the available alphabet from which each symbol in the string can be selected is of size k) such that no string is the prefix of any other, then we note that the 2n binary strings of length n form a prefix code ...
... Furthermore, defining a prefix code to be a set of (k-ary) strings (of arity k, i.e., where the available alphabet from which each symbol in the string can be selected is of size k) such that no string is the prefix of any other, then we note that the 2n binary strings of length n form a prefix code ...
The Role of Subjectivity in Intelligent Systems Communication and
... software agent applications we see that they are used in a metaphoric “intelligent tool” way aiding human users to perform high level intellectual activities. A software agent essential function is to act as effective bridge between a person's goals and expectations and the computer's capabilities. ...
... software agent applications we see that they are used in a metaphoric “intelligent tool” way aiding human users to perform high level intellectual activities. A software agent essential function is to act as effective bridge between a person's goals and expectations and the computer's capabilities. ...
The Promise of Artificial Intelligence - IEEE
... exercises was carried out by Yann LeCun, director of AI research at Facebook. LeCun taught a computer system how to recognize the differences between images of dogs and cats. When the system chose incorrectly, he would correct it until the program figured out the reason it was wrong, such as not, fo ...
... exercises was carried out by Yann LeCun, director of AI research at Facebook. LeCun taught a computer system how to recognize the differences between images of dogs and cats. When the system chose incorrectly, he would correct it until the program figured out the reason it was wrong, such as not, fo ...
Toward a truly personal computer
... Next 50 yrs: IA rather than AI? Intelligence Augmentation: human + machine = super intelligence ...
... Next 50 yrs: IA rather than AI? Intelligence Augmentation: human + machine = super intelligence ...
Postulates for logic-based argumentation systems
... ¦ Indirect consistency: the closure (under strict rules) of the set of conclusions of arguments of each extension should be consistent. In [28], Caminada proposed a fourth postulate, called non-contamination. It ensures that two conflicting arguments cannot be used to build a third argument which wi ...
... ¦ Indirect consistency: the closure (under strict rules) of the set of conclusions of arguments of each extension should be consistent. In [28], Caminada proposed a fourth postulate, called non-contamination. It ensures that two conflicting arguments cannot be used to build a third argument which wi ...
CV - Information Sciences Institute
... Councilor of the Association for the Advancement of Artificial Intelligence (AAAI), 2003-2009. When I joined the council, AAAI was facing a tremendous fragmentation of the field as new conferences were being constituted (Agents, IUI, ISWC, UAI) and older ones were cementing and growing their attenda ...
... Councilor of the Association for the Advancement of Artificial Intelligence (AAAI), 2003-2009. When I joined the council, AAAI was facing a tremendous fragmentation of the field as new conferences were being constituted (Agents, IUI, ISWC, UAI) and older ones were cementing and growing their attenda ...
Default reasoning by deductive planning
... set of drawable conclusions. So far, however, this phenomenon has been studied primarily from a theoretic point of view. This has led to numerous different nonmonotonic logics yet only a handful of resulting practical approaches, algorithms, or even implementations. In this paper, we turn to practic ...
... set of drawable conclusions. So far, however, this phenomenon has been studied primarily from a theoretic point of view. This has led to numerous different nonmonotonic logics yet only a handful of resulting practical approaches, algorithms, or even implementations. In this paper, we turn to practic ...
PPT
... query, to which we want the answer • ie: [I should wear a coat]? – note: this would read easier in English as “should I wear a coat”, but we want to use the same propositional symbol as is in our knowledge base ...
... query, to which we want the answer • ie: [I should wear a coat]? – note: this would read easier in English as “should I wear a coat”, but we want to use the same propositional symbol as is in our knowledge base ...
Thinking Inside the Box: Controlling and Using an
... in the OAI’s answers, nor have we even rigorously defined the terms “distortion” and “simplification” in a way that non-human entities could understand. Even intuitively, we find these terms ambiguous. And even concepts that we do intuitively understand are already hard to formalise – we lack a prec ...
... in the OAI’s answers, nor have we even rigorously defined the terms “distortion” and “simplification” in a way that non-human entities could understand. Even intuitively, we find these terms ambiguous. And even concepts that we do intuitively understand are already hard to formalise – we lack a prec ...
Causality Is Logically Definable-Toward an Equilibrium
... Despite the tremendous research efforts on agents, we still don’t know how a biological brain works exactly, how large the largest agent—the universe is, and how small the smallest agent—the most fundamental subatomic (quantum) particle—is. Without logically definable causality, we still haven’t fou ...
... Despite the tremendous research efforts on agents, we still don’t know how a biological brain works exactly, how large the largest agent—the universe is, and how small the smallest agent—the most fundamental subatomic (quantum) particle—is. Without logically definable causality, we still haven’t fou ...
PPT
... • New knowledge can be constructed from existing knowledge using inference rules • For instance, the inference rule modus ponens can be used to derive the consequent of a consequence relation, given that the antecedent is true • ie: – k1: If [it is raining] Then [I should wear a coat] – k2: [it is r ...
... • New knowledge can be constructed from existing knowledge using inference rules • For instance, the inference rule modus ponens can be used to derive the consequent of a consequence relation, given that the antecedent is true • ie: – k1: If [it is raining] Then [I should wear a coat] – k2: [it is r ...
PPT
... • New knowledge can be constructed from existing knowledge using inference rules • For instance, the inference rule modus ponens can be used to derive the consequent of a consequence relation, given that the antecedent is true • ie: – k1: If [it is raining] Then [I should wear a coat] – k2: [it is r ...
... • New knowledge can be constructed from existing knowledge using inference rules • For instance, the inference rule modus ponens can be used to derive the consequent of a consequence relation, given that the antecedent is true • ie: – k1: If [it is raining] Then [I should wear a coat] – k2: [it is r ...
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange
... There are three kinds of benefits in linking proof assistants like Mizar and their libraries with Automated Reasoning technology and particularly ATPs: • The obvious benefits for the proof assistants and their libraries. Automated Reasoning can provide a number of tools and strong methods that can a ...
... There are three kinds of benefits in linking proof assistants like Mizar and their libraries with Automated Reasoning technology and particularly ATPs: • The obvious benefits for the proof assistants and their libraries. Automated Reasoning can provide a number of tools and strong methods that can a ...
A survey of dynamic scheduling in manufacturing systems
... difference between the value of the objective function of the new schedule after reacting to the real-time events and the objective function of the predictive schedule before taking into account real-time events. They have then investigated a number of utility and stability measures for single machi ...
... difference between the value of the objective function of the new schedule after reacting to the real-time events and the objective function of the predictive schedule before taking into account real-time events. They have then investigated a number of utility and stability measures for single machi ...
SETI Aff UM 7wk - Open Evidence Archive
... estimated that the Drake Equation amounted to N = 1 million. Scientist and science fiction writer Isaac Asimov calculated 670,000. Drake himself estimates a more conservative 10,000. But even if that lower value turns out to be correct, at the rate they're going, it wouldn't take scientists too long ...
... estimated that the Drake Equation amounted to N = 1 million. Scientist and science fiction writer Isaac Asimov calculated 670,000. Drake himself estimates a more conservative 10,000. But even if that lower value turns out to be correct, at the rate they're going, it wouldn't take scientists too long ...
Introduction to Expert Systems: MYCIN
... MYCIN'S EXPERTISE MYCIN provides consultative advice about bacteremia (infections that involve bacteria in the blood) and meningitis (infections that involve inflammation of the membranes that envelop the brain and spinal cord). These infectious diseases can be fatal and often show themselves during ...
... MYCIN'S EXPERTISE MYCIN provides consultative advice about bacteremia (infections that involve bacteria in the blood) and meningitis (infections that involve inflammation of the membranes that envelop the brain and spinal cord). These infectious diseases can be fatal and often show themselves during ...
Artificial Societies of Intelligent Agents
... in the debate of what and where consciousness is. This might be also seen as reasoning about what we are reasoning (similar to what Dennet calls a second order intentional system (Dennet, 1987)). Reasoned and conscious behaviours imply higher cognition. We can see that the more evolved types of beha ...
... in the debate of what and where consciousness is. This might be also seen as reasoning about what we are reasoning (similar to what Dennet calls a second order intentional system (Dennet, 1987)). Reasoned and conscious behaviours imply higher cognition. We can see that the more evolved types of beha ...
Dialectic proof procedures for assumption
... can be questioned and disputed. Starting perhaps with Toulmin’s landmark book, The Uses of Argument [36], this contrast between conventional logic and argumentation has led many researchers, including Perelman [29] and Walton [38], to regard ordinary, human argumentation as being beyond the reach of ...
... can be questioned and disputed. Starting perhaps with Toulmin’s landmark book, The Uses of Argument [36], this contrast between conventional logic and argumentation has led many researchers, including Perelman [29] and Walton [38], to regard ordinary, human argumentation as being beyond the reach of ...
AAAI News - Association for the Advancement of Artificial Intelligence
... to open up access to the technical content of its digital library in 2009. AAAI conference proceedings and technical reports will be available to the international research community, and will be widely indexed on major search and indexing engines. Access to the contents of the AI Magazine will rema ...
... to open up access to the technical content of its digital library in 2009. AAAI conference proceedings and technical reports will be available to the international research community, and will be widely indexed on major search and indexing engines. Access to the contents of the AI Magazine will rema ...
Intelligent Agent
... We use the term performance measure for the how—the criteria that determine how successful an agent is. Obviously, there is not one fixed measure suitable for all agents. We could ask the agent for a subjective opinion of how happy it is with its own performance, but some agents would be unable to a ...
... We use the term performance measure for the how—the criteria that determine how successful an agent is. Obviously, there is not one fixed measure suitable for all agents. We could ask the agent for a subjective opinion of how happy it is with its own performance, but some agents would be unable to a ...
Soar : an architecture for general intelligence
... In Soar, every task of attaining a goal is formulated as finding a desired state in a problem space (a space with a set of operators that apply to a current state to yield a new state) [49]. Hence, all tasks take the form of heuristic search. Routine procedures arise, in this scheme, when enough kno ...
... In Soar, every task of attaining a goal is formulated as finding a desired state in a problem space (a space with a set of operators that apply to a current state to yield a new state) [49]. Hence, all tasks take the form of heuristic search. Routine procedures arise, in this scheme, when enough kno ...
Philosophy of artificial intelligence
The philosophy of artificial intelligence attempts to answer such questions as: Can a machine act intelligently? Can it solve any problem that a person would solve by thinking? Are human intelligence and machine intelligence the same? Is the human brain essentially a computer? Can a machine have a mind, mental states and consciousness in the same sense humans do? Can it feel how things are?These three questions reflect the divergent interests of AI researchers, cognitive scientists and philosophers respectively. The scientific answers to these questions depend on the definition of ""intelligence"" and ""consciousness"" and exactly which ""machines"" are under discussion.Important propositions in the philosophy of AI include:Turing's ""polite convention"": If a machine behaves as intelligently as a human being, then it is as intelligent as a human being. The Dartmouth proposal: ""Every aspect of learning or any other feature of intelligence can be so precisely described that a machine can be made to simulate it."" Newell and Simon's physical symbol system hypothesis: ""A physical symbol system has the necessary and sufficient means of general intelligent action."" Searle's strong AI hypothesis: ""The appropriately programmed computer with the right inputs and outputs would thereby have a mind in exactly the same sense human beings have minds."" Hobbes' mechanism: ""Reason is nothing but reckoning.""↑ ↑ ↑ ↑ ↑ ↑