Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Using explicit representation of inference search metarules for inference search control in expert systems
Jönköping University, School of Engineering, JTH. Research area Information Engineering.
1997 (English)In: Proceedings of the International Conference on Informatics and Control (ICI&C’97), Vol. 2, St. Petersburg, 1997, 421-428 p.Conference paper, Published paper (Other academic)
Abstract [en]

This paper considers the use of metalevel tools for inference search control in expertsystems. Offered here are tools for inference search control in the form of a system of languageconstructions, the basic ones of which are inference metarules, control predicates, control labelsand inferences. These tools served as a basis for the development of an inference searchcontrol language designed for the description of query processing control in expert systems.This language allows for more precise description of the logic and techniques of an expert'sreasoning about solving a particular task due to an extended set of control predicates, use of anexplicit labels arrangement for backtracking organization, and description of solution searchstrategies in an explicit way with the help of inference search metarules. The accomplishedprogram implementation of the inference search control language demonstrates possibilities ofthe proposed approach and can form a basis for development of appropriate tools. The designedlanguage is approved in the problem domain connected with the search for functionlimits. A prototype of the knowledge-based system is constructed for solving training tasks ofsearch for function limits.

Place, publisher, year, edition, pages
St. Petersburg, 1997. 421-428 p.
Keyword [en]
expert systems, inference search control, problem solving, decision support systems
National Category
Computer Science
Identifiers
URN: urn:nbn:se:hj:diva-20287OAI: oai:DiVA.org:hj-20287DiVA: diva2:589664
Conference
The International Conference on Informatics and Control (ICI&C’97)
Available from: 2013-01-18 Created: 2013-01-18 Last updated: 2013-01-24Bibliographically approved

Open Access in DiVA

No full text

Other links

http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA327147#page=13

Search in DiVA

By author/editor
Tarasov, Vladimir
By organisation
JTH. Research area Information Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 321 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf