Advanced Topics in Artificial Intelligence: 11th Australian Joint Conference on Artificial Intelligence, AI’98 Brisbane, Australia, July 13–17, 1998 Selected Papers

✍ Scribed by Terry Dartnall (auth.), Grigoris Antoniou, John Slaney (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1998
• Tongue: English
• Leaves: 339
• Series: Lecture Notes in Computer Science 1502 : Lecture Notes in Artificial Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

This book presents the thoroughly refereed post-conference proceedings of the 11th Australian Joint Conference on Artificial Intelligence, AI'98, held in Brisbane, Australia in July 1998.
The 28 revised full papers presented in the book were carefully reviewed and selected from twice as many papers accepted for presentation at the conference.
Among the topics covered are philosophical issues, fuzzy logic, agent systems, AI logics, planning, knowledge representation, automated deduction, intelligent agents, learning, constraint solving, and neural networks.

✦ Table of Contents

Why (a kind of) AI can’t be done....Pages 1-13
Representation by correspondence: An inadequate conception of knowledge for artificial systems....Pages 15-26
Genuine representation in artificial systems....Pages 27-38
Using fuzzy logic to mitigate the effect of multiple-sclerosis tremors on a wheelchair joystick controller....Pages 39-46
Thinking quickly: Agents for modeling air warfare....Pages 47-58
Plan execution in a hostile dynamic environment....Pages 59-70
A labelled sequent system for tense logic K t ....Pages 71-82
Integrating reactive and reflective reasoning by generating rational models....Pages 83-94
On the combination of partial action descriptions....Pages 95-106
A mechanisation of classical modal tense logics using isabelle....Pages 107-118
Constructing an intelligent multi-agent workflow system....Pages 119-130
First-order Bayesian reasoning....Pages 131-142
Learning intelligent behavior....Pages 143-154
A formal embedding of agentspeak(L) in 3APL....Pages 155-166
Recurrent neural networks to approximate the semantics of acceptable logic programs....Pages 167-178
Computation in recurrent neural networks: From counters to iterated function systems....Pages 179-190
Performance of a comprehensive and efficient constraint library based on local search....Pages 191-202
Helicopter flight condition recognition: A minimalist approach....Pages 203-214
A study of provability in defeasible logic....Pages 215-226
Lower bounds on the size of test data sets....Pages 227-237
card T A P : Automated deduction on a smart card....Pages 239-247
Constraint resolution within object hierarchies....Pages 249-260
The temporal QCM modelling language....Pages 261-272
The problem of missing values in decision tree grafting....Pages 273-283
Adjusted probability Naive Bayesian induction....Pages 285-295
Strategic behaviour-based reasoning with dynamic, Partial information....Pages 297-308
Representing defeasible constraints and observations in action theories....Pages 309-320
Stochastic Attribute Selection Committees....Pages 321-332

✦ Subjects

Artificial Intelligence (incl. Robotics)