Abstract 1 A CATALOG OF TEMPORAL THEORIES (2008)
This document surveys several structures that time can be taken to have, discusses the different intuitions which justify them, and gives organised collections of axioms to describe them.
Gary Klein, Klein Associates, Jeffrey M. Bradshaw, Robert R. Hoffman, Paul J. Feltovich, R. Hoffman, ...
We propose 10 challenges for making automation components into effective “team players ” when they interact with people in significant ways. Our analysis is based on some of the principles of...
Abstract 1 A CATALOG OF TEMPORAL THEORIES (2008)
This document surveys several structures that time can be taken to have, discusses the different intuitions which justify them, and gives organised collections of axioms to describe them.
During World War I, the British Health and Munitions (2008)
Robert R. Hoffman, Patrick Hayes, Kenneth M. Ford, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
Afundamental stance taken in human-centered computing is that information-processing devices must be thought of in systems terms. At first blush, this seems self-evident. However, the notion has a...
James M. Nyce, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
So, what is an end user, really? And what do we really mean by the procurement process? Human factors researchers often take certain agendas, terms, and theories for granted or rely on them out of...
Human-Centered Computing The Sacagawea Principle Mica Endsley, SA Technologies (2008)
Robert R. Hoffman, Machine Cognition, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
Many software tools and systems restrict the availability of information and make information integration and exploration difficult. 1 Poorly designed tools are often brittle, because they prescribe...
Paul J. Feltovich, Robert R. Hoffman, Machine Cognition, David Woods, Axel Roesler, R. Hoffman, ...
Certain features of tasks make them especially difficult for humans. These constitute leverage points for applying intelligent technologies, but there’s a flip side. Designing complex cognitive...
Human-Centered Computing Toward a Theory of Complex and Cognitive Systems (2008)
Robert R. Hoffman, Machine Cognition, David D. Woods, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
Essays in this department have presented nine propositions that we’ve referred to as principles of humancentered computing: • The Aretha Franklin Principle: Do not devalue the human in order to...
Human-Centered Computing The Pleasure Principle (2008)
Robert R. Hoffman, Patrick J. Hayes, Machine Cognition, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
The list of “concepts that psychology really can’t do without ” includes such notions as neuronal connectionism, degrees of consciousness, mental representation of information, and...
Editor Blurb Editor Blurb continued Email address Human-Centered Computing (2008)
Gary Klein, Karol G. Ross, Brian M. Moon, Klein Associates, Devorah E. Klein, Insight Product Development, ...
If we engineer complex cognitive systems on the basis of mistaken or inappropriate views of cognition, we can wind up designing systems that degrade performance rather than improve it. The results...
Towards Checking Hybrid Proofs (2008)
Patrick J. Hayes, Deborah L. Mcguinness, Richard Fikes, Priyendra Deshwal
The distributed and heterogeneous nature of today’s applications such as the Web implies that a variety of agents may participate in answering questions. Since multiple agents with various...
Knowledge Construction and Sharing in Quorum (2007)
John Brennan, Thomas Reichherzer, Alberto Caas Kenneth, Alberto J. Caas, Kenneth M. Ford, Kenneth M. Ford, ...
The purpose of this paper is to report on a continuing research effort aimed at the design and development of large-scale international computer network connecting schools in at least ten countries...
Short Circuiting Deduction With Telescope Expressions Extended (2007)
Nd Ed, John F. Kolen, Patrick J. Hayes
John F. Kolen Patrick J. Hayes Institute for Human and Machine Cognition University of West Florida 11000 University Pkwy. Pensacola, FL 32514 Many programming languages use short-circuit evaluation...
Human-Centered Computing Work-arounds, Make-work, and Kludges (2007)
Philip Koopman, Robert R. Hoffman, Machine Cognition, R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
Paradigms are often defined partly in terms of what they are not, or in terms of what they are reacting against. The paradigm of human-centered computing is no exception. In response to an essay in...
The Enlightenment and the Intellectual Foundations of Modern Culture (review) (2007)
The Catholic Historical Review - Volume 93, Number 2, April 2007
Thesis (Ph. D.)--Queen's University of Belfast, 2000.
The Giant: An Agentbased Approach to Knowledge Construction (1998)
Thomas R. Reichherzer, Alberto J. Cañas, Kenneth M. Ford, Patrick J. Hayes
The purpose of this paper is to report on a research project of a software agent, called the Giant, to support knowledge construction and sharing among learners. The Giant is embedded in an...
The Giant: A Classroom Collaborator (1998)
Thomas R. Reichherzer, Alberto J. Cañas, Kenneth M. Ford, Patrick J. Hayes
The purpose of this paper is to report on the research involved in the development of a software agent—the Giant — that collaborates with students in their construction and sharing of knowledge....
Why Gödel's Theorem Cannot Refute Computationalism (1998)
Geoffrey Laforte, Patrick J. Hayes, Kenneth M. Ford
Gdel's theorem is consistent with the computationalist hypothesis. Roger Penrose, however, claims to prove that Gdel's theorem implies that human thought cannot be mechanized. We review his...
Why Gödel's Theorem Cannot Refute Computationalism (1998)
Geoffery Laforte, Patrick J. Hayes, Kenneth M. Ford
Gödel's theorem is consistent with the computationalist hypothesis. Roger Penrose, however, claims to prove that Gödel's theorem implies that human thought cannot be mechanized. We review...
Why Gödel’s theorem cannot refute computationalism (1998)
Geoffery Laforte, Patrick J. Hayes, Kenneth M. Ford
Gödel's theorem is consistent with the computationalist hypothesis. Roger Penrose, however, claims to prove that Gödel's theorem implies that human thought cannot be mechanized. We review...
Substance abuse rehabilitation center of Boston /--Patrick J. Hayes. (1996)
Thesis advisor: Stephen J. Erwin.
Knowledge construction and sharing in quorum (1995)
Alberto J. Cañas, Alberto J. Cañas, Kenneth M. Ford, Kenneth M. Ford, Patrick J. Hayes, Patrick J. Hayes, ...
The purpose of this paper is to report on a continuing research effort aimed at the design and development of large-scale international computer network connecting schools in at least ten countries...
On babies and bathwater: A cautionary tale (1994)
Patrick J. Hayes, Kenneth M. Ford, Neil Agnew
■ One should not throw out the baby with the bathwater, according to an old aphorism. Some popular recent positions in AI thinking have done just this, we suggest, by rejecting the useful idea of...
Modeling Our Adaptive Intelligence, Not God's (1993)
Hayes, Patrick J., Ford, Kenneth M.
Fetzer misunderstands our use of the term "frame problem", taking the term to refer to, contrary to the original definition (McCarthy, 1963), a larger problem of change, which is an instance of the...
Irrelevance Reasoning In Knowledge Based Systems (1993)
Alon Yitzchak Levy, Richard E. Fikes, Edward A. Feigenbaum, Patrick J. Hayes, Nils J. Nilsson, Yehoshua C. Sagiv
Speeding up inferences made from large knowledge bases is a key to scaling up knowledge based systems. To do so, a system must have the ability to automatically identify and ignore information that...
Reasoning Agents in a Dynamic World: the Frame Problem (1992)
Hayes, Patrick J., Ford, Kenneth M.
What happens when one picks up a brick? Any child knows that the brick is now held in the air, there is one fewer object on the ground, and THAT'S ALL. For over twenty years it has been astonishingly...
Moments and Points in an Interval-Based Temporal Logic (1987)
Allen, James F., Hayes, Patrick J.
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for people in their...
Earlier papers ( Allen and Hayes 1985,1986) described a compact axiomatic theory which provided a formal basis for temporal reasoning. This theory makes a sharp distinction between time points and...
Some Philosophical Problems from the Standpoint of Artificial Intelligence (1969)
John Mccarthy, Patrick J. Hayes
A computer program capable of acting intelligently in the world must have a general representation of the world in terms of which its inputs are interpreted. Designing such a program requires...
Dyer, Michael A., Hayes, Patrick J., Baron, Margaret H.
The human embryonic β-like globin (ɛ-globin) gene is expressed in primitive erythroid cells of the yolk sac during the first few weeks of development. We have previously shown that developmental...
Dyer, Michael A., Hayes, Patrick J., Baron, Margaret H.
The human embryonic β-like globin (ɛ-globin) gene is expressed in primitive erythroid cells of the yolk sac during the first few weeks of development. We have previously shown that developmental...