Advanced topics in artificial intelligence : 11th Australian Joint Conference on Artificial Intelligence, AI'98 Brisbane, Australia, July 13-17, 1998 : selected papers

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. Why (a Kind Of) Ai Can’t Be Done -- Representation By Correspondence: An Inadequate Conception Of Knowledge For Artificial Systems -- Genuine Representation In Artificial Systems -- Using Fuzzy Logic To Mitigate The Effect Of Multiple-sclerosis Tremors On A Wheelchair Joystick Controller -- Thinking Quickly: Agents For Modeling Air Warfare -- Plan Execution In A Hostile Dynamic Environment -- A Labelled Sequent System For Tense Logic Kt -- Integrating Reactive And Reflective Reasoning By Generating Rational Models -- On The Combination Of Partial Action Descriptions -- A Mechanisation Of Classical Modal Tense Logics Using Isabelle -- Constructing An Intelligent Multi-agent Workflow System -- First-order Bayesian Reasoning -- Learning Intelligent Behavior -- A Formal Embedding Of Agentspeak(l) In 3apl -- Recurrent Neural Networks To Approximate The Semantics Of Acceptable Logic Programs -- Computation In Recurrent Neural Networks: From Counters To Iterated Function Systems -- Performance Of A Comprehensive And Efficient Constraint Library Based On Local Search -- Helicopter Flight Condition Recognition: A Minimalist Approach -- A Study Of Provability In Defeasible Logic -- Lower Bounds On The Size Of Test Data Sets -- Cardt A P: Automated Deduction On A Smart Card -- Constraint Resolution Within Object Hierarchies -- The Temporal Qcm Modelling Language -- The Problem Of Missing Values In Decision Tree Grafting -- Adjusted Probability Naive Bayesian Induction -- Strategic Behaviour-based Reasoning With Dynamic, Partial Information -- Representing Defeasible Constraints And Observations In Action Theories -- Stochastic Attribute Selection Committees. Grigoris Antoniou, John Slaney, Eds. Includes Bibliographical References And Index. 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