Progress in Artificial Intelligence

This book presents the refereed proceedings of the 7th Portuguese Conference on Artificial Intelligence, EPIA'95, held in Funchal, Madeira Island, Portugal, in October 1995.
The 30 revised full papers and the 15 poster presentations included were selected during a highly competitive selection process from a total of 167 submissions from all over the world. Among the topics covered are automated reasoning and theorem proving, belief revision, constraint-based reasoning, distributed artificial intelligence, genetic algorithms, machine learning, neural networks, non-monotonic reasoning, planning and case-based reasoning, qualitative reasoning, robotics and control, and theory of computation.

Inhalt
Terminological meta-reasoning by reification and multiple contexts.- A new continuous propositional logic.- Super-polynomial speed-ups in proof length by new tautologies.- Belief revision in non-monotonic reasoning.- A new representation of JTMS.- The retrieval problem in a concept language with number restrictions.- Formalizing local propagation in constraint maintenance systems.- A dependency parser of Korean based on connectionist/symbolic techniques.- A symbiotic approach to arc and path consistency checking.- Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution.- A closer look to artificial learning environments.- Building multi-agent societies from descriptions to systems: Inter-layer translations.- GA/TS: A hybrid approach for job shop scheduling in a production system.- A controlled experiment: Evolution for learning difficult image classification.- Minimal model complexity search.- Characterization of classification algorithms.- Neurons, glia and the borderline between subsymbolic and symbolic processing.- Arguments and defeat in argument-based nonmonotonic reasoning.- A preference semantics for ground nonmonotonic modal logics.- Logical omniscience vs. logical ignorance on a dilemma of epistemic logic.- On the role of splitting and merging past cases for generation of a new solution.- Theorem proving by analogy A compelling example.- Non-atomic actions in the situation calculus.- Planning under uncertainty: A qualitative approach.- Qualitative reasoning under uncertainty.- Systematic construction of qualitative physics-based rules for process diagnostics.- Integrated process supervision: A structured approach to expert control.- Using stochastic grammars to learn robotic tasks.- Constraint categorialgrammars.- A new translation algorithm from lambda calculus into combinatory logic.- Interlocking multi-agent and blackboard architectures.- A model theory for paraconsistent logic programming.- Promoting software reuse through explicit knowledge representations.- Efficient learning in Multi-Layered Perceptron using the Grow-And-Learn algorithm.- A non-diffident combinatorial optimization algorithm.- Modelling diagnosis systems with the logic programming.- Agreement: A logical approach to approximate reasoning.- Constructing extensions by resolving a system of linear equations.- Presenting significant information in expert system explanation.- A cognitive model of problem solving with incomplete information.- Filtering software specifications written in natural language.- Parsimonious Diagnosis in SNePS.- Syntactic and semantic filtering in a chart parser.- GA approach to solving Multiple Vehicle Routing Problem.- Multilevel refinement planning in an interval-based temporal logic.