scientific article; zbMATH DE number 3804894

zbMath0509.68088MaRDI QIDQ4747543

No author found.

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expert systemseducationMACSYMAautomatic programmingPROSPECTORtutoring systemsDENDRALAI consultation systems in medicineAI database management systemsapplications-oriented-AI researchCONGENCRYSALISprogramming languages for AI researchSRI computer-based consultantTHERESIAS

Mathematics Subject Classification ID

Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Geological problems (86A60) Artificial intelligence (68Txx) Chemistry (92Exx)

Related Items

Attribute pattern-matching equations: A diagnostic technique for intelligent tutoring systems ⋮ A knowledge-based approach to the local area network design problem ⋮ Graph embedding in SYNCHEM2, an expert system for organic synthesis discovery ⋮ Multi-layer logic - a predicate logic including data structure as knowledge representation language ⋮ Automated analysis of operators on state tables: A technique for intelligent search ⋮ Purposive discovery of operators ⋮ A model for belief revision ⋮ Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics ⋮ Acquiring expert rules with the aid of decision tables ⋮ How to describe the spatial near-far relations among concepts? ⋮ KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS ⋮ Abstract Inference Structures to Support Variable Rule Structures for Expert Systems ⋮ On the consistency of rule bases based on lattice-valued first-order logic LF(X) ⋮ Fuzzy management of user actions during hypermedia navigation ⋮ A computational approach to fuzzy quantifiers in natural languages ⋮ Automatic programming: A tutorial on formal methodologies ⋮ Aggregating evidence using quantified statements ⋮ A reduction-graph model of precedent in legal analysis ⋮ Expert control

Uses Software

• MACSYMA