PRICAI '96: Topics in Artificial Intelligence

1. Front Matter

   PDF

2. A general framework for mechanizing induction using test set

   • Adel Bouhoula

   Pages 1-12

3. Inductive equational reasoning

   • Michael Bulmer

   Pages 13-22

4. Cost-sensitive specialization

   • Geoffrey I. Webb

   Pages 23-34

5. Efficient multiple predicate learner based on fast failure mechanism

   • Xiaolong Zhang, Masayuki Numao

   Pages 35-46

6. Acquiring user preferences for information filtering in interactive multi-media services

   • Bhavani Raskutti, Anthony Beitz

   Pages 47-58

7. The development of an interactive fault diagnosis expert system for telecommunication applications

   • Ming Zhao, Chris Leckie

   Pages 59-70

8. An intelligent education system which supports scientific thinking: Galileo — Philosophy and basic architecture

   • Kumiko Ishino, Katuo Sugai, Riichiro Mizoguchi

   Pages 71-84

9. A unified approach to handling uncertainty during cooperative consultations

   • Bhavani Raskutti, Ingrid Zukerman

   Pages 85-96

10. Declarative program theory with implicit implication

    • Vilas Wuwongse, Ekawit Nantajeewarawat

    Pages 97-108

11. Knowledge decomposition: An analysis

    • John Debenham

    Pages 109-120

12. The concept classification of a terminology extended by conjunction and disjunction

    • Gerd Stumme

    Pages 121-131

13. Extending partial orders for sort reasoning

    • Andrew Fall

    Pages 132-143

14. An update procedure for a probabilistic deductive database

    • Angelo C. Restificar

    Pages 144-156

15. A framework for reasoning about requirements evolution

    • Didar Zowghi, Aditya K. Ghose, Pavlos Peppas

    Pages 157-168

16. An application of hierarchical knowledge integration in hand-written form processing

    • Fon-Lin Lai, Joo-Hwee Lim, Liya Ding, Ah-Hwee Tan, Ho-Chung Lui

    Pages 169-180

17. AMI: A model of intelligence

    • D. B. Hoang, M. R. James

    Pages 181-192

18. Symbol processing by non-symbol processor

    • Setsuo Ohsuga

    Pages 193-205

19. Fall diagnosis using dynamic belief networks

    • A. E. Nicholson

    Pages 206-217

20. Remembrance of discourse based on textual continuity: A spreading activation network

    • Samuel W. K. Chan, James Franklin

    Pages 218-228

This volume constitutes the refereed proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, PRICAI '96, held in Cairns, Queensland, Australia in August 1996.
The 56 revised full papers included in the book were carefully selected for presentation at the conference from a total of 175 submissions. The topics covered are machine learning, interactive systems, knowledge representation, reasoning about change, neural nets and uncertainty, natural language, constraint satisfaction and optimization, qualitative reasoning, automated deduction, nonmonotonic reasoning, intelligent agents, planning, and pattern recognition.

• Intelligente Agenten
• Maschinelles Lernen
• Planungsstrategien
• agents
• algorithms
• automated deduction
• cognition
• expert system
• knowledge representation
• natural language
• neural network
• nonmonotonic reasoning
• planing
• reasoning and deduktion
• uncertain reasoning

Policies and ethics