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. Jönköping University, School of Engineering, JTH, Computer Science and Informatics, JTH, Jönköping AI Lab (JAIL).ORCID iD: 0000-0001-6671-6157
1997 (English)In: Proceedings of the International Conference on Informatics and Control (ICI&C’97), Vol. 2, St. Petersburg, 1997, p. 421-428Conference 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. p. 421-428
Keywords [en]
expert systems, inference search control, problem solving, decision support systems
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-20287OAI: oai:DiVA.org:hj-20287DiVA, id: diva2:589664
Conference
The International Conference on Informatics and Control (ICI&C’97)
Available from: 2013-01-18 Created: 2013-01-18 Last updated: 2019-08-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

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

Authority records BETA

Tarasov, Vladimir

Search in DiVA

By author/editor
Tarasov, Vladimir
By organisation
JTH. Research area Information EngineeringJTH, Jönköping AI Lab (JAIL)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 375 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