KI-97: Advances in Artificial Intelligence: 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings ... / Lecture Notes in Artificial Intelligence)

This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997. The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search. Qualitative spatial representation and reasoning techniques....Pages 1-30 COLBERT: A language for reactive control in Sapphira....Pages 31-52 Machine learning for adaptive user interfaces....Pages 53-62 Structured incremental proof planning....Pages 63-74 Many-sorted logic in a learning theorem prover....Pages 75-86 Rigid hypertableaux....Pages 87-98 Minimal model generation based on E-hyper tableaux....Pages 99-110 External analogy in inductive theorem proving....Pages 111-122 Mechanising partiality without re-implementation....Pages 123-134 From linear proofs to direct logic with exponentials....Pages 135-146 Integrating an equality prover into a software development system based on type theory....Pages 147-158 Causation and nonmonotonic temporal reasoning....Pages 159-170 Labelled quantified modal logics....Pages 171-182 Defining decision rules in signed horn clauses....Pages 183-194 Modelling subjective distances....Pages 195-206 An axiomatic approach to the spatial relations underlying left-right and in front of-behind ....Pages 207-218 Representation and processing of qualitative orientation knowledge....Pages 219-230 A contribution to the question of authenticity of Rhesus using part-of-speech tagging....Pages 231-242 Making objects more knowledgeable....Pages 243-254 Constraining the acquisition of concepts by the quality of heterogeneous evidence....Pages 255-266 Conceptualizing Adjectives....Pages 267-278 Parsing N best trees from a word lattice....Pages 279-288 Fast grid-based position tracking for mobile robots....Pages 289-300 Integration of image sequence evaluation and fuzzy metric temporal logic programming....Pages 301-312 Designing a counter: Another case study of dynamics and activation landscapes in recurrent networks....Pages 313-324 Cooperating diagnostic expert systems to solve complex diagnosis tasks....Pages 325-336 Tabu search vs. Random walk....Pages 337-348 Multi-flip networks: Parallelizing genSAT....Pages 349-360 Resource-adaptive action planning in a dialogue system for repair support....Pages 361-372 A modal computational framework for default reasoning....Pages 373-376 Planning diagonalization proofs....Pages 377-380 Suffix tree automata in state space search....Pages 381-384 Connection Cutting for Contraction Free Logic....Pages 385-388 Agents in proactive environments....Pages 389-392 Reducing lexical redundancy by augmenting conceptual knowledge....Pages 393-396 A graphical user interface for an ECG classifier system....Pages 397-400 Expert system in additional finishing....Pages 401-404 Reasoning about exceptions (extended abstract)....Pages 405-408 Learning and interpretation of the layout of structured documents....Pages 409-412

this Book Constitutes The Refereed Proceedings Of The 21st Annual German Conference On Artificial Intelligence, Ki-97, Held In Freiburg, Germany, In September 1997.
the Volume Presents Revised Versions Of 26 Full Papers And 10 Posters Selected From Around 70 Submissions From More Than 15 Countries. Also Included Are Three Excellent Invited Contributions By Anthony G. Cohn, Kurt Konolige, And Pat Langley. The Papers Are Organized In Topical Sections On Theorem Proving, Nonclassical Logics, Knowledge Representation, Spatial Reasoning, Computational Linguistics, Computer Perception And Neural Nets, And On Planning, Diagnosis And Search.

The principal goal of Qualitative Reasoning (QR) [129] is to represent not only our everyday commonsense knowledge about the physical world, but also the underlying abstractions used by engineers and scientists when they create quantitative models.