Artificial Intelligence IV. Methodology, Systems, Applications

✍ Scribed by Ph Jorrand, V. Sgurev

• Publisher: Elsevier B.V, North-Holland
• Year: 1990
• Tongue: English
• Leaves: 421
• Category: Library

✦ Synopsis

Presenting recent results and ongoing research in Artificial Intelligence, this book has a strong emphasis on fundamental questions in several key areas: programming languages, automated reasoning, natural language processing and computer vision. AI is at the source of major programming language design efforts. Different approaches are described, with some of their most significant results: languages combining logic and functional styles, logic and parallel, functional and parallel, logic with constraints. A central problem in AI is automated reasoning, and formal logic is, historically, at the root of research in this domain. This book presents results in automatic deduction, non-monotonic reasoning, non-standard logic, machine learning, and common-sense reasoning. Proposals for knowledge representation and knowledge engineering are described and the neural net challenger to classical symbolic AI is also defended. Finally, AI systems must be able to interact with their environment in a natural and autonomous way. Natural language processing is an important part of this. Various results are presented in discourse planning, natural language parsing, understanding and generation

✦ Table of Contents

Content:
Front Matter, Page iii
Copyright, Page iv
FOREWORD, Pages v-vi, Philippe Jorrand, Vassil Sgurev
ACKNOWLEDGEMENTS, Page vii
CONFERENCE CHAIRMAN, Page ix
INTRODUCTION TO AUTOMATED REASONING AND LOGICS FOR AI, Page 1
The Use of Renaming to Improve the Efficiency of Clausal Theorem Proving, Pages 3-12, Thierry Boy de la Tour, Gilles Chaminade
Compilation of Recursive Two-Literal Clauses into Unification Algorithms, Pages 13-22, Hans Jürgen Ohlbach
An application of many-valued logic to decide propositional S5 formulae: a strategy designed for a parameterized tableaux-based Theorem Prover, Pages 23-32, Ricardo Caferra, Nicolas Zabel
Logics for Automated Reasoning in the Presence of Contradictions, Pages 33-42, Philippe Besnard
Logics with structured contexts, Pages 43-50, Luís Fariñas del Cerro, Martti Penttonen
A PROOF-THEORETIC ACCOUNT OF MODEL-PREFERENCE DEFAULT REASONING, Pages 51-60, Fabrizio SEBASTIANI
Unexpected and unwanted results of circumscription, Pages 61-70, Yves Moinard, Raymond Rolland
A LOGIC FOR TRUTH MAINTENANCE REASONING, Pages 71-80, Ivan Popchev, Neli Zlatareva, Marion Mircheva
Querying an inconsistent database, Pages 81-92, Laurence CHOLVY
AN APPROACH TO THE MODELLING OF NATURAL REASONING, Pages 93-101, MARE KOIT, HALDUR OIM
NUMBER GENERALIZATION IN LEARNING FROM EXAMPLES, Pages 103-113, Camelia VOINEA
INTRODUCTION TO LANGUAGES AND COMPUTATIONAL STRUCTURES FOR AI, Page 115
About Redundant Inequalities Generated by Fourier's Algorithm, Pages 117-127, Jean-Louis IMBERT
Equations over Trees and Lists with Constraints, Pages 129-138, Stéphane Grandcolas
TWO ALGORITHMS FOR CONSTRAINT SYSTEM SOLVING IN PROPOSITIONAL CALCULUS AND THEIR IMPLEMENTATION IN CONSTRAINT PROGRAMMING LANGUAGES, Pages 139-148, Jean-Marc Boï, Antoine Rauzy
Rule Based Mechanisms for Constraint Checking in Logic Programs, Pages 149-158, Elmar Eder, Yan Liu
A COMPILING APPROACH FOR EXPLOITING AND-OR-PARALLELISM IN LOGIC PROGRAMS, Pages 159-168, Mounira BELMESK
LOGICAL INFERENCE IN A NETWORK ENVIRONMENT, Pages 169-178, Zdravko Markov, Christo Dichev
A PRACTICABLE APPROACH TO FUNCTIONAL LOGIC PROGRAMMING, Pages 179-188, Hans-Joachim GOLTZ
Combining Horn Clause Logic with Rewrite Rules, Pages 189-198, Peter Baumgartner
PARALLELISM IN BACKUS-LIKE FP-SYSTEMS: AN APPROACH BASED ON THE FP2 LANGUAGE, Pages 199-208, Tsvetan T. DRASHANSKY, Atanas A. RADENSKY
KOHONEN FEATURE MAPS: TOWARD INVARIANT CHARACTER RECOGNITION, Pages 209-217, Arnulfo P. AZCARRAGA, Bernard AMY
OCCAM Based Neural Network Description Language, Pages 219-226, Yuri P. SERDYUK
HYBRID CONNECTIONIST RULE-BASED SYSTEMS, Pages 227-235, Nikola K. KASABOV
INTRODUCTION TO KNOWLEDGE REPRESENTATION, KNOWLEDGE-BASED SYSTEMS, Page 237
AN OBJECT-ORIENTED REPRESENTATION FRAMEWORK FOR HIERARCHICAL EVIDENTIAL REASONING, Pages 239-248, S.T. Wierzchoń, A. Pacan, M.A. Kłopotek
A SYSTEMS-BASED FRAMEWORK FOR KNOWLEDGE REPRESENTATION, Pages 249-258, Ilia Iv. Dimitrov
MODELING OF MEDICAL DIAGNOSTIC KNOWLEDGE AND REASONING IN DEDEX EXPERT SYSTEM, Pages 259-263, Ivan H. CHERNEV, Danail A. DOCHEV
ON THE USE OF DIAGRAMS, Pages 265-273, R.O. LINDSAY, A.G. PRIEST
DEVELOPING A KNOWLEDGE BASED SYSTEM, Pages 275-284, Bernard MIGAULT, François ROUSSELOT, Bernard KEITH
DEFEASIBLE REASONING BY USING ANALOGIES, Pages 285-292, Vladimir S. JOTSOV
SOLVING PROGRAM CONFIGURATION TASK THROUGH A KNOWLEDGE BASED SYSTEM, Pages 293-302, Georgi Simov
INTRODUCTION TO NATURAL LANGUAGE PROCESSING, Page 303
A FORMAL SEMANTICS FOR INTERNAL LOCALIZATION: AN ESSAY ON SPATIAL COMMONSENSE KNOWLEDGE, Pages 305-317, Michel Aurnague, Mario Borillo
WHAT'S IN A ‘DET’?: Steps towards Determiner-Dependent Inferencing, Pages 319-328, Jürgen Allgayer, Carola Reddig
Dialogue Modeling and Response Generation in CFID, a robust man-machine interface system, Pages 329-340, Giacomo Ferrari, Irina Prodanof, Ronan Reilly, Alessandro Saffiotti
ANALOGICAL REASONING AND SENTENCE PARSING, Pages 341-350, Isabelle ROBBA
SPEECH ACT THEORY AND EPISTEMIC PLANNING, Pages 351-360, Allan Ramsay
SOME LINGUISTIC AND CONCEPTUAL ASPECTS IN THE GENERATION OF BULGARIAN NATURAL LANGUAGE TEXTS, Pages 361-370, Ruslan MITKOV, Galya SIMEONOVA
Syntactic Processing of Unknown Words, Pages 371-381, Gregor Erbach
A NETWORK PARSING SCHEME, Pages 383-391, Lydia Sinapova
HOW TO DEAL INTELLIGENTLY WITH THE UNEXPECTED?, Pages 393-402, Sabine Letellier, Jean Pierre Fournier
KNOWLEDGE-BASED INTERPRETATION OF BIOPHYSICAL IMAGES, Pages 405-414, Boiko M. BALEV, George I. SHARKOV
COMPUTER VISION AND STOCHASTIC GEOMETRY, Pages 415-421, Nikolai G. Pedotov, Michael E. Larin
QUANTITATIVE ECOLOGICAL OPTICS, Pages 423-431, David YOUNG
AUTHOR INDEX, Page 433