rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Challenges for Action Theories
  name:
    name part: Thielscher, Michael.
    role:
      role term: creator
    role:
      role term: author.
    role:
      role term: aut
    role:
      role term: http://id.loc.gov/vocabulary/relators/aut
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2000
    edition: 1st ed. 2000.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XIV, 146 p. online resource.
  abstract: A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.
  table of contents: Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications.
  note: by Michael Thielscher.
  subject:
    topic: Artificial intelligence
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial Intelligence
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Mathematical Logic and Foundations
  classification: Q334-342
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Artificial Intelligence ; 1775
  identifier: 9783540455967
  identifier: https://doi.org/10.1007/3-540-45596-5
  record info:
    record creation date: 121227
    record change date: 20191024201138.0
    record identifier: 978-3-540-45596-7