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.
Author(s): Adel Bouhoula (auth.), Norman Foo, Randy Goebel (eds.)
Series: Lecture Notes in Computer Science 1114 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Commentary: (add ocr)
Pages: 658
Tags: Artificial Intelligence (incl. Robotics)
A general framework for mechanizing induction using test set....Pages 1-12
Inductive equational reasoning....Pages 13-22
Cost-sensitive specialization....Pages 23-34
Efficient multiple predicate learner based on fast failure mechanism....Pages 35-46
Acquiring user preferences for information filtering in interactive multi-media services....Pages 47-58
The development of an interactive fault diagnosis expert system for telecommunication applications....Pages 59-70
An intelligent education system which supports scientific thinking: Galileo — Philosophy and basic architecture....Pages 71-84
A unified approach to handling uncertainty during cooperative consultations....Pages 85-96
Declarative program theory with implicit implication....Pages 97-108
Knowledge decomposition: An analysis....Pages 109-120
The concept classification of a terminology extended by conjunction and disjunction....Pages 121-131
Extending partial orders for sort reasoning....Pages 132-143
An update procedure for a probabilistic deductive database....Pages 144-156
A framework for reasoning about requirements evolution....Pages 157-168
An application of hierarchical knowledge integration in hand-written form processing....Pages 169-180
AMI: A model of intelligence....Pages 181-192
Symbol processing by non-symbol processor....Pages 193-205
Fall diagnosis using dynamic belief networks....Pages 206-217
Remembrance of discourse based on textual continuity: A spreading activation network....Pages 218-228
Lexical access using minimum message length encoding....Pages 229-240
Using neural nets to investigate lexical analysis....Pages 241-252
Validity of normality assumption in CSP research....Pages 253-263
An improved generic arc consistency algorithm and its specializations....Pages 264-275
High-level synthesis optimisation with genetic algorithms....Pages 276-287
A qualitative reasoning based on an ontology of fluid systems and its evaluation....Pages 288-299
Parallel cost-based abductive reasoning for distributed memory systems....Pages 300-311
A history-oriented envisioning method....Pages 312-323
Team learning of recursive languages....Pages 324-335
Combining views on concepts in unsupervised concept learning....Pages 336-347
The complexity of batch approaches to reduced error rule set induction....Pages 348-359
Learning simple recursive concepts by discovering missing examples....Pages 360-371
On semantic resolution with lemmaizing and contraction....Pages 372-386
Tableaux for expansion and contraction....Pages 387-398
Translating machine-generated resolution proofs into ND-proofs at the assertion level....Pages 399-410
Evidential temporal representations and reasoning....Pages 411-422
Using artificial neural networks for meteor-burst communications trail prediction....Pages 423-434
Modeling commonsense rules in an inference network....Pages 435-446
Adaptive SEJONG-NET for on-line Hangul recognition....Pages 447-458
A unified algebraic structure for uncertain reasonings....Pages 459-470
Exten: A system for computing default logic extensions....Pages 471-482
A logic for concurrent events and action failure....Pages 483-494
Domain world models represented from variable viewpoints for ICAI systems of high-school chemistry....Pages 495-509
Creating theoretical terms for non-deterministic actions....Pages 510-521
Conservative expansion concepts for default theories....Pages 522-533
On formation of exception hierarchy....Pages 534-545
Anytime default inference....Pages 546-557
Studying properties of classes of default logics — Preliminary report....Pages 558-569
Learning cooperative behavior in multi-agent environment a case study of choice of play-plans in soccer....Pages 570-579
CiFi: An intelligent agent for citation finding on the World-Wide Web....Pages 580-591
Automatic making of Sokoban problems....Pages 592-600
Bringing about rationality: Incorporating plans into a BDI agent architecture....Pages 601-612
An architecture for autonomous flying vehicles: A preliminary report....Pages 613-624
Face recognition through hough transform for irises extraction and projection procedures for parts localization for facial caricaturing system PICASSO....Pages 625-636
Extraction of face region and features based on chromatic properties of human faces....Pages 637-645
A fast pattern-matching algorithm using matching candidates for production systems....Pages 646-656
