NDLI logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems (IEA/AIE '88)
  2. Goal-directed semantic tutor
Loading...

Please wait, while we are loading the content...

Generic expert system shell for diagnostic reasoning
Pattern-based fault diagnosis using neural networks
Okies: a troubleshooter in the factory
Diagnosing multiple faults using knowledge about malfunctioning behavior
A paradigm for building diagnostic expert systems by specializing generic device and reasoning models
Expert diagnostic system
A hierarchical symptom classification for model based causal reasoning
The ISA expert system: a prototype system for failure diagnosis on the space station
A diagnostic expert system for analyzing multiple-failure transients in nuclear power plants
Using hypertext to overcome the knowledge base development bottleneck: a case study
Similarity-based reasoning about diagnosis of analog circuits
PISCES: an expert system for coal fired power plant monitoring and diagnostics
SASHA: the automatic generation of rule-based diagnostic expert systems
A general architecture for factory-based diagnosis of electronics
Sherlock—a system for diagnosing power distribution ring network faults
A dynamic constraint-directed ordered search algorithm for solving constraint satisfaction problems
Approximate spatial reasoning
Design of a dependency-directed compiler for constraint propagation
INQUEST: A prototype intelligence tool
Integrating causal reasoning at different levels of abstraction
Adaptation of plans via annotation verification
Goal-directed semantic tutor
The responsive system: a new challenge for AI
Adding rule-based techniques to procedural languages
SIMS: a uniform environment for planning and performing user's tasks
The application of classifier systems to the acquisition of software engineering knowledge
Generating interesting scenarios from system descriptions
Symbiotic systems for complex problems
Experience of constructing a fault localisation expert system using an AI toolkit
Knowledge base applications with software engineering: a tool for requirements specifications
An application of heuristic search techniques to the problem of flight path generation in a military hostile environment
A knowledge-based manager for software engineering projects
Using expert systems components to enhance reliability analysis tools
Improving performance of an electrical power expert system with genetic algorithms
A blackboard architecture for problem solving and machine learning in an expert system for power system voltage control
A rule-based system for interactive proposal evaluation
The development of an automated flight test management system for flight test planning and monitoring
A knowledge based message interpretation for the maintenance of an electronic switching system
Flight mission scenario generation with knowledge-based system
An expert system for configuring a device simulator for semiconductor structures
SMARTGEN: the implementation of an expert system for the generation of digital logic diagnostic tests
Artificial intelligence approaches in space power systems automation at Marshall space flight center
The network control assistant (NCA), a real-time prototype expert system for network management
The development of Prometheus: an expert system tool for preliminary design of spacecraft thermal control systems
DFTEXPERT: an expert system for design of testable VLSI circuits
Uncertainty management in intelligent design aiding systems
Automated design and analysis system for design of custom orthopedic implants
Applications of an AI design shell ENGINEOUS to advanced engineering products
Process design of oil and gas production facilities using expert systems
Computer-generated design of electric circuits
A distributed artificial intelligence approach to integrated engineering design
Annotator: an AI approach to engineering drawing annotation
Automated circuit diagnosis using first order logic tools
Integrated environment for intelligent control
A representational language for qualitative process control
Methodologies for a real-time intelligent supervisory system for a hot strip mill finisher
Process control with the G2 real-time expert system
ProCEED: an expert system for multivariate process control systems design
A neural control element in a control systems application
GTEX—A group technology expert system
Tolerant planning and negotiation in generating coordinated movement plans in an automated factory
An expert database for material and production planning
A critiquing model of flexible constraint evaluation for a scheduler's workbench
A comparison of the artistic aspects of various industrial robots
Intelligent mobile robots in the workplace: leaving the guide behind
Autonomous robot controller with a dual strategy of decision making
Heuristic control system for autonomous navigation
A mission planning architecture for an autonomous vehicle
Tram: a blackboard architecture for autonomous robots
An expert autonomous vacuum cleaner robot
A methodology of autonomous navigation in 3-D space under location uncertainty
Intelligent module for planning/control of master-dependent systems
Evaluating the impact of camera placement on teleoperator efficiency

Similar Documents

...
Semantic Networks as Means for Goal Directed Formative Feedback (2009)

Article

...
Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs ∗ (2007)

...
Abduction through semantic tableaux versus abduction through goal-directed proofs 1.

Article

...
Goal-directed zoom

Article

...
Description Logic Based BDI Implementation for Goal-Directed Semantic Agents

Article

...
Towards semantic goal-directed forward reasoning in resolution (2002)

Article

...
Description Logic Based BDI Implementation for Goal-Directed Semantic Agents

Article

...
Semantic Networks as Means for Goal-Directed Formative Feedback

Article

...
The goal structure of a socratic tutor

Article

Goal-directed semantic tutor

Content Provider ACM Digital Library
Author Wu, Daniel Ming-Jen Koh, Hikyoo
Abstract An efficient Pascal semantic tutoring system is being built that aims at detecting and correcting semantic errors in Pascal programs after programs have been successfully compiled. In order to determine that an input program is correct (more precisely, the program seems to be correct), we attempt to compare the program against certain properties deemed necessary for a correct program. Basic approaches taken include:A problem description which an input program is intended to solve is converted to several properties called, goals, all of which a correct input program must satisfy. From each goal, plans are established which become the conditioin parts of production rules. The action parts of production rules contain certain effects that reflect consequences of goals so far satisfied by the input test program.The input test program is converted to an equivalent LISP expression that preserves the program semantic with such auxiliary words as BEGIN, END, DO, TO, ELSE, THEN eliminated. The resulting expression is more suitable for comparison against aforementioned plans.Pattern symbols and pattern variables are used to facilitate more flexible and powerful pattern matching. In addition, association lists are used to keep track of variables that are actually used in the input test program.
Starting Page 171
Ending Page 176
Page Count 6
File Format PDF
ISBN 0897912713
DOI 10.1145/51909.51930
Language English
Publisher Association for Computing Machinery (ACM)
Publisher Date 1988-06-01
Publisher Place New York
Access Restriction Subscribed
Content Type Text
Resource Type Article
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...