Titlebook: GWAI-87 11th German Workshop on Artificial Intelligence; Geseke, September 28 Katharina Morik Conference proceedings 1987 Springer-Verlag B

打算

Issues of Integration and Balancing in Hybrid Knowledge Representation Systemsge representation formalism cannot meet all representational demands. In this paper we will present one particular hybrid knowledge representation system, BACK, concentrating on matters of how to integrate different subformalisms and their interpretation. In particular, `balancing the expressiveness

APNEA

Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KIt, daß sich aus der Intervallstruktur ein Mangel an Eigenschaften bzgl. des Konzepts eines . ergibt. Auch die Definition eines . wird durch die Betrachtung der Zeitstruktur und von Arbeiten zu modalen Zeitlogiken verständlicher. Sie ist, entgegen einer Aussage von Shoham, nicht durch die fehlende At

使习惯于

Higher-order Concepts in a Tractable Knowledge Representationsentation formalisms is usually avoided. In fact, this needn’t be so. We present the knowledge representation of the knowledge acquisition system BLIP, and describe how higher-order concepts are represented by using . We then show that metapredicates have the necessary properties to qualify for incl

断断续续

cognizant

Specifying Meta-Level Architectures for Rule-Based Systemsintaining rule-based systems. The CATWEAZLE rule interpreter allows the knowledge engineer to partition rule bases and specify meta-level architectures for control..Among others the following questions arise immediately when one wants to provide tools for specifying meta-level architectures for cont

小步走路

Esophagitis

Belief Revision in Diagnosisnd they are not designed for integrating non-monotonic and probabilistic evidence. Our belief revision algorithm ITMS overcomes these shortcomings by exploiting peculiarities of diagnostic reasoning. It is implemented in the diagnostic shell MED2 with good results..For each conclusion, a well-founde

exercise

Ferritin

溃烂

Modelling Heuristic Parsing StrategiesBesides a correct grammar, the strategy that applies the grammar rules to the input plays an important role in the performance of natural language parsers. In this paper a framework is presented offering comprehenensive facilities for defining and testing parsing strategies based on various heuristic criteria.