View in EDS PDF Full Text

Using a Metatheory as a Functional Representation.

Saved in:
Bibliographic Details
Title: Using a Metatheory as a Functional Representation.
Authors: Benjamin, D. Paul1
Source: International Journal of Intelligent Systems. Fall88, Vol. 3 Issue 3, p295-314. 20p.
Subjects: Functional representation, Metatheory, Automatic control systems, Programming languages, Artificial intelligence, Information theory
Abstract: One approach to enabling an expert system to reason in a sophisticated fashion is to provide the system with multiple representations of its knowledge base. A useful type of representation is the functional representation, which describes how objects in the task environment can be used. In this article we construct a metatheory of problem-solving in rule-based systems in which object-level rules, which specify how to interact with the external task environment, are controlled by meta-level rules. An object-level rule is viewed as a transformation of the task environment, and an execution trace is a sequence of transformations leading from the initial state to the goal state. Thus, an execution trace is a proof that the goal state is reachable from the initial state via the object-level rule set, or alternatively, that the initial state is a sufficient precondition to guarantee the truth of the goal condition after executing a specific sequence of rules. This observation permits us to construct a metatheory for solving problems at the meta-level by examining object-level proofs. We describe this metatheory, discuss its usefulness as a functional representation of the task domain, and describe some experiments in reasoning within the metatheory. [ABSTRACT FROM AUTHOR]
Copyright of International Journal of Intelligent Systems is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 14184108
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Using a Metatheory as a Functional Representation.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Benjamin%2C+D%2E+Paul%22">Benjamin, D. Paul</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22International+Journal+of+Intelligent+Systems%22">International Journal of Intelligent Systems</searchLink>. Fall88, Vol. 3 Issue 3, p295-314. 20p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Functional+representation%22">Functional representation</searchLink><br /><searchLink fieldCode="DE" term="%22Metatheory%22">Metatheory</searchLink><br /><searchLink fieldCode="DE" term="%22Automatic+control+systems%22">Automatic control systems</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Artificial+intelligence%22">Artificial intelligence</searchLink><br /><searchLink fieldCode="DE" term="%22Information+theory%22">Information theory</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: One approach to enabling an expert system to reason in a sophisticated fashion is to provide the system with multiple representations of its knowledge base. A useful type of representation is the functional representation, which describes how objects in the task environment can be used. In this article we construct a metatheory of problem-solving in rule-based systems in which object-level rules, which specify how to interact with the external task environment, are controlled by meta-level rules. An object-level rule is viewed as a transformation of the task environment, and an execution trace is a sequence of transformations leading from the initial state to the goal state. Thus, an execution trace is a proof that the goal state is reachable from the initial state via the object-level rule set, or alternatively, that the initial state is a sufficient precondition to guarantee the truth of the goal condition after executing a specific sequence of rules. This observation permits us to construct a metatheory for solving problems at the meta-level by examining object-level proofs. We describe this metatheory, discuss its usefulness as a functional representation of the task domain, and describe some experiments in reasoning within the metatheory. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of International Journal of Intelligent Systems is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=14184108
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/int.4550030308
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 20
        StartPage: 295
    Subjects:
      – SubjectFull: Functional representation
        Type: general
      – SubjectFull: Metatheory
        Type: general
      – SubjectFull: Automatic control systems
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Artificial intelligence
        Type: general
      – SubjectFull: Information theory
        Type: general
    Titles:
      – TitleFull: Using a Metatheory as a Functional Representation.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Benjamin, D. Paul
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 09
              Text: Fall88
              Type: published
              Y: 1988
          Identifiers:
            – Type: issn-print
              Value: 08848173
          Numbering:
            – Type: volume
              Value: 3
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: International Journal of Intelligent Systems
              Type: main
ResultId 1