AISB91. Questo articolo non è disponibile.AISB91

This volume contains the proceedings of AISB91, which was held from 16-19 April 1991 at the University of Leeds. This was the 8th biennial conference organized by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The conference focused on research as opposed to applications, with an emphasis on four special themes: emergent functionality in autonomous agents; neural networks and self-organization; constraint logic programming; and knowledge level expert systems research. There were invited talks by Andy Clark (University of Sussex) on the philosophical foundations of the field, Rolf Pfeifer (University of Zurich) on emotion, and Tony Cohn (University of Leeds) on common sense modelling using logic. There was a closing address by the Conference Chair, Luc Steels, who speculated on the role of consciousness in artificial intelligence. The first four papers discuss research in distributed AI, which is concerned with the problem of how multiple agents and societies of agents can be organized to co-operate and collectively solve a problem. The papers in the second section testify to a renewed interest in the area of robotics and autonomous agents. Recently, there has been a shift of emphasis in research in these areas towards the construction of complete agents. This has led to a review of some of the traditional concepts. Reasoning remains a core topics of AI, with the the papers in the "new modes of reasoning" section explore some of the current work to find new forms of reasoning. The papers on knowledge systems highlight the recent shift in emphasis from symbol-level considerations (which focus on the formalism in which a system is implemented) to knowledge-level considerations. The final sets of papers focus on recent work in theorem proving and machine learning. This book of proceedings on computer science, artificial intelligence and simulation of behaviour is intended for researchers and postgraduate students.

Distributed Intelligent Agents.- Deriving Transformers from Knowledge Organized as a Society of Agents.- Multiple Network Systems (MINOS) Modules: Task Division and Module Discrimination.- Commitments and Projects.- RR - An Intelligent Resource-Bounded Reasoner.- Situatedness and Emergence in Autonomous Agents.- A Cognitive Model of Goal-oriented Automatisms and Breakdowns.- The ‘Logical Omniscience’ of Reactive Systems.- A Connectionist Semantics for Spatial Descriptions.- Neural Networks and Visual Behaviour: Flies, Panned Eyes, and Statistics.- Specifying Complex Behaviour for Computer Agents.- New Modes of Reasoning.- Integrating Neural Network and Expert Reasoning: An Example.- An Architecture for Selective Forgetting.- Constraint Propagation in Qualitative Modelling: Domain Variables Improve Diagnostic Efficiency.- Recursive Plans.- The Knowledge Level Perspective.- Task Centered Representation for Expert Systems at the Knowledge Level.- Knowledgeable knowledge acquisition.- Formalization of the KADS Interpretation Models.- Qualitative Models for Simulation and Control of Dynamic Systems.- Tractable Rationality at the Knowledge Level.- On Problems with the Knowledge Level Perspective.- Theorem Proving.- Using Abstraction.- Sound Substitution into Modal Contexts.- Machine Learning.- Modelling Representations of Device Knowledge in SOAR.- Instance-Based and Generalization-Based Learning Procedures Applied to Solving Integration Problems.