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.
Author(s): Klemens Schnattinger, Udo Hahn, Manfred Klenner (auth.), Carlos Pinto-Ferreira, Nuno J. Mamede (eds.)
Series: Lecture Notes in Computer Science 990 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1995
Language: English
Pages: 492
Tags: Artificial Intelligence (incl. Robotics)
Terminological meta-reasoning by reification and multiple contexts....Pages 1-16
A new continuous propositional logic....Pages 17-28
Super-polynomial speed-ups in proof length by new tautologies....Pages 29-40
Belief revision in non-monotonic reasoning....Pages 41-56
A new representation of JTMS....Pages 57-68
The retrieval problem in a concept language with number restrictions....Pages 69-82
Formalizing local propagation in constraint maintenance systems....Pages 83-94
A dependency parser of Korean based on connectionist/symbolic techniques....Pages 95-106
A symbiotic approach to arc and path consistency checking....Pages 107-114
Where do intentions come from ?: A framework for goals and intentions adoption, derivation and evolution....Pages 115-127
A closer look to artificial learning environments....Pages 129-142
Building multi-agent societies from descriptions to systems: Inter-layer translations....Pages 143-152
GA/TS: A hybrid approach for job shop scheduling in a production system....Pages 153-164
A controlled experiment: Evolution for learning difficult image classification....Pages 165-176
Minimal model complexity search....Pages 177-187
Characterization of classification algorithms....Pages 189-200
Neurons, glia and the borderline between subsymbolic and symbolic processing....Pages 201-211
Arguments and defeat in argument-based nonmonotonic reasoning....Pages 213-224
A preference semantics for ground nonmonotonic modal logics....Pages 225-235
Logical omniscience vs. logical ignorance on a dilemma of epistemic logic....Pages 237-248
On the role of splitting and merging past cases for generation of a new solution....Pages 249-260
Theorem proving by analogy — A compelling example....Pages 261-272
Non-atomic actions in the situation calculus....Pages 273-284
Planning under uncertainty: A qualitative approach....Pages 285-296
Qualitative reasoning under uncertainty....Pages 297-309
Systematic construction of qualitative physics-based rules for process diagnostics....Pages 311-322
Integrated process supervision: A structured approach to expert control....Pages 323-334
Using stochastic grammars to learn robotic tasks....Pages 335-346
Constraint categorial grammars....Pages 347-358
A new translation algorithm from lambda calculus into combinatory logic....Pages 359-370
Interlocking multi-agent and blackboard architectures....Pages 371-375
A model theory for paraconsistent logic programming....Pages 377-386
Promoting software reuse through explicit knowledge representations....Pages 387-396
Efficient learning in Multi-Layered Perceptron using the Grow-And-Learn algorithm....Pages 397-401
A non-diffident combinatorial optimization algorithm....Pages 403-407
Modelling diagnosis systems with the logic programming....Pages 409-418
Agreement: A logical approach to approximate reasoning....Pages 419-428
Constructing extensions by resolving a system of linear equations....Pages 429-433
Presenting significant information in expert system explanation....Pages 435-439
A cognitive model of problem solving with incomplete information....Pages 441-445
Filtering software specifications written in natural language....Pages 447-455
Parsimonious Diagnosis in SNePS....Pages 457-463
Syntactic and semantic filtering in a chart parser....Pages 465-471
GA approach to solving Multiple Vehicle Routing Problem....Pages 473-481
Multilevel refinement planning in an interval-based temporal logic....Pages 483-487
