Frame problem

Known as: Frame, Frame problem (philosophy) 
In artificial intelligence, the frame problem describes an issue with using first-order logic (FOL) to express facts about a robot in the world… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic… (More)
Is this relevant?
2009
2009
This work explores the frame problem and its effects in devising Web service specifications. The frame problem encompasses the… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Murray Shanahan has been actively involved in research on the frame problem since the late eighties. When a scientist looks back… (More)
Is this relevant?
2005
2005
This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault’s syntax… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Successor state axioms provide a solution to the famous Frame Problem as far as the representational aspect is concerned. Solving… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Bargaining with reading habit is no need. Reading is not kind of something sold that you can take or not. It is a thing that will… (More)
Is this relevant?
1995
1995
We describe a logical system and methodology for the natural specification of nondeterministic actions. The logic combines… (More)
Is this relevant?
1995
1995
The frame problem, the problem of efficiently determining which things remain the same in a changing world, 1 has been with us… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This paper proposes a solution to the frame problem for knowledge-producing actions. An example of a knowledge-producing action… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of… (More)
  • figure 1
Is this relevant?