Issue in artificial intelligence and categorical algebra
In artificial intelligence, with implications for cognitive science, the frame problem describes an issue with using first-order logic to express facts about a robot in the world. Representing the state of a robot with traditional first-order logic requires the use of many axioms that simply imply that things in the environment do not change arbitrarily. For example, Hayes describes a "block world" with rules about stacking blocks together. In a first-order logic system, additional axioms are required to make inferences about the environment (for example, that a block cannot change position unless it is physically moved). The frame problem is the problem of finding adequate collections of axioms for a viable description of a robot environment.[1]
John McCarthy and Patrick J. Hayes defined this problem in their 1969 article, Some Philosophical Problems from the Standpoint of Artificial Intelligence. In this paper, and many that came after, the formal mathematical problem was a starting point for more general discussions of the difficulty of knowledge representation for artificial intelligence. Issues such as how to provide rational default assumptions and what humans consider common sense in a virtual environment.[2]
In philosophy, the frame problem became more broadly construed in connection with the problem of limiting the beliefs that have to be updated in response to actions. In the logical context, actions are typically specified by what they change, with the implicit assumption that everything else (the frame) remains unchanged.
^Hayes, Patrick (1973). "The Frame Problem and Related Problems in Artificial Intelligence". University of Edinburgh.
^McCarthy, J; P.J. Hayes (1969). "Some philosophical problems from the standpoint of artificial intelligence". Machine Intelligence. 4: 463–502. CiteSeerX 10.1.1.85.5082.
artificial intelligence, with implications for cognitive science, the frameproblem describes an issue with using first-order logic to express facts about...
structure in frame languages Frameproblem, in artificial intelligence Framing, the application of networking frames using frame synchronization Frame technology...
need to specify frame axioms has long been recognised as a problem in axiomatizing dynamic worlds, and is known as the frameproblem. As there are generally...
known as the marriage problem, the sultan's dowry problem, the fussy suitor problem, the googol game, and the best choice problem. Its solution is also...
to produce a more complex behavior like chasing a moving object. The frameproblem describes an issue with using first-order logic (FOL) to express facts...
In physics and astronomy, a frame of reference (or reference frame) is an abstract coordinate system whose origin, orientation, and scale are specified...
is strongly connected to, and opposite the ramification side of, the frameproblem. John McCarthy gives the following motivating example, in which it is...
performed. McCarthy and Hayes introduced the FrameProblem in 1969 in the paper, "Some Philosophical Problems from the Standpoint of Artificial Intelligence...
strongly connected to, and is opposite the qualification side of, the frameproblem. Limit theory helps in operational usage. For instance, in KBE derivation...
difficulties can be extreme when the population and frame are disjoint. This is a particular problem in forecasting where inferences about the future are...
JafariNaimi lays out the reductive nature of the trolley problem in framing ethical problems that serves to uphold an impoverished version of utilitarianism...
Ethernet link transports an Ethernet frame as its payload. An Ethernet frame is preceded by a preamble and start frame delimiter (SFD), which are both part...
binding problem is the problem of how objects, background, and abstract or emotional features are combined into a single experience. The binding problem refers...
systems in the 1970s and 80s, production systems, frame languages, etc. Rather than general problem solvers, AI changed its focus to expert systems that...
diagnostic framing for the identification of a problem and assignment of blame; prognostic framing to suggest solutions, strategies, and tactics to a problem; and...
special relativity, an inertial frame of reference (also called inertial space, or Galilean reference frame) is a frame of reference in which the laws...
problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frameproblem fail. The name of this problem comes...
A bicycle frame is the main component of a bicycle, onto which wheels and other components are fitted. The modern and most common frame design for an...
proving the completeness and correctness of software. The frameproblem is a basic problem that must be overcome when using first-order logic to represent...
Timber framing (German: Fachwerkbauweise) and "post-and-beam" construction are traditional methods of building with heavy timbers, creating structures...
The year 2038 problem (also known as Y2038, Y2K38, Y2K38 superbug or the Epochalypse) is a time computing problem that leaves some computer systems unable...