Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia (Artificial Intelligence) [Englisch] [Gebundene Ausgabe]

ab  abnormality  action  alive  approach  axioms  between  blocks  calculus  car  case  change  chapter  circumscription  clause  conclusions  conjunction  consequence  consider  constraints  default  definition  description  does  domain  effect  event  example  explanation  extension  f2  fact  figure  first  fluents  following  follows  form  formula  formulae  frame  function  general  get  given  happens  holds  holdsat  however  include  information  initiates  interpretation  language  let  loaded  logic  m2  minimisation  model  narrative  need  new  now  occurrence  point  possible  predicate  problem  program  proof  proposition  reasoning  represent  representation  result  scenario  section  see  sentences  set  shoot  shooting  show  since  situation  state  symbols  t2  terminates  terms  theorem  theory  time  two  use  used  variable  work  yale