《国际人工智能会议论文集 IJCAI87 （VOLUME1、2）》

NATURALLANGUAGE602

Feedback as a Coindexing Mechanism in Connectionist ArchitecturesMark A.Jones602

A Microfeature-based Scheme for Modelling SemanticsLawrence A.Bookman611

Parallel Parsing for Unification GrammarsAndrew Haas615

The Preliminary Results of a Mandarin Dictation Machine Based Upon Chinese Natural Language AnalysisLin-shan Lee， Chiu-yu Tsang， K.J.Chen， and James Huang619

Modified Caseframe Parsing for Speech Understanding SystemsMassimo Poesio and Claudio Rullent622

Combining Discourse Strategies to Generate Descriptions to Users Along a Naive/Expert SpectrumCecile L.Paris626

Discourse Consistency and Many-Sorted LogicJean Veronis633

Intonation and the Intentional Structure of DiscourseJ.Hirschberg， D.Litman， J.Pierrehumbert， and G.Ward636

A Computational Model of ReferringDouglas Appelt and Amichai Kronfeld640

Representation and Interpretation of Determiners in Natural LanguageBarbara Di Eugenio and Leonardo Lesmo648

A Framework for Incremental Syntactic Tree FormationGerard Kempen655

Incremental Interpretation and Combinato Categorial GrammarNicholas J.Haddock661

Deoendency Propagation： A Unified Theory of Sentence Comprehension and GenerationKoiti Hasida and Syun Isizaki664

A Parsing System Based on Logic ProgrammingYuji Matsumoto and Ryoichi Sugimura671

A Knowledge Framework for Natural Language AnalysisPaul S.Jecobs675

Combining Prediction， Syntactic Analysis and Semantic Analysis in Chinese Sentence AnalysisYiming Yang679

Building Natural Language Inte aces for Rule-based Expert SystemsGaline Datskovsky Moerdler， Kathleen R.McKeown，and J.Robert Ensor682

Understanding System Specifications Written in Natural LanguageJohn J.Granacki.Jr.， Alice C.Parker， and Ylgal Arens688

An Equipment Model and its Role in the Interpretation of Noun PhrasesTomesz Ksiezyk， Ralph Grishman， and John Sterling692

Naive Mechanics Comprehension and Invention in EDISONMichael G.Dyer， Margot Flowers， and Jack Hodges696

Blackboard-based Dependency ParsingK.Valkonen， H.Jappinen， and A.Lehtole700

A Formalism and Environment for the Development of a Large Grammar of EnglishTed Briscoe， Claire Grover， Bran Boguraev， and John Carrol703

A Semantic Expert Using an.Online Standard DictionaryJean-Louis Binot and Karen Jensen709

Interactive Vocabularv Acquisition in XTRAChenq-ming Guo715

The Universal Parser Architecture for Knowiedoe-based Machine TranslationMasaru Tomita and Jaime G.Carbonell718

Direct Memory Access TranslationHideto Tomabechi722

PERCEPTION728

Representing Space for Practical ReasoningMargaret M.Fleck728

Recovering Surface Shape from BoundaryGang Xu and Saburo Tsuji731

Recovering Three Dimensional Shape from a Single Image of Curved ObjectsJitendra Malik734

Combining Sources of Information in Vision I.Computing Shape from Shading and MotionJohn （Yiannis） Aloimonos738

Image Reconstruction from Zero-CrossingsSu-shing Chen742

An Optimal Scale for Edge DetectionDavi Geiger and Tomaso Poggio745

Feature Selection in Colour Images for Token MatchingLeonie S.Dreschler-Fischer and Frank Gnutzmann749

The Use of Color in Highlight IdentificationRon Gershon， Allan D.Jepson， and John K.Tsotsos752

From [R，G，B] to Surface Reflectance：Computing Color Constant Descriptors in ImagesRon Gershon， Allan D.Jepson， and John K.Tsotsos755

Color Algorithms for a General Vision SystemGlenn Healey and Thomas O.Binford759

Recognition in 2D Images of 3D Objects from Large Model Bases Using Prediction HierarchiesJ.Brian Bums and Leslie J.Kitchen763

A Shape Representation Based on Geometric Topology： Bumps， Gaussian Curvature，and the Topological zodiacA.Peter Blicher767

Process RecoveryMichael Leyton771

From Early Processing to Conceptual Reasoning： An Attempt to Fill the GapGiovanni Adomi， Lina Massone， Giulio Sandini， and Maurizio Immovilli775

Probabilistic Information Fusion for Multi-Modai Image SegmentationPaul B.Chou and Christopher Brown779

Uncertainty Reduction Paradigm Using Structural Knowledge in Line-Drawing UnderstandingYasuo Ariki， Masashi Morimoto， and Toshiyuki Sakai783

Exploiting 2D Topology in Labeling Polyhedral ImagesVan-Duc Nguyen787

Automatic Programming of Machine Vision SystemsL.Jde Hass790

Coordination of Action and Perception in a Surveillance RobotJames L.Crowley793

Determining Cylindrical Shape from Contour and ShadingMinoru Asada797

What is a‘Degenerate’View？John R.Kender and David G.Freudenstein801

Model Invocation for Three Dimensional Scene UnderstandingRobert B.Fisher805

Building a Consistent 3D Representation of a Mobile Robot Environment by Combining Multiple Stereo ViewsNicholas Ayache and Olivier D.Faugeras808

A Goal-Directed Intermediate Level Executive for Image InterpretationCharles A.Kohl， Allen R.Hanson， and Edward M.Riseman811

A Robust Algorithm for Determining the Translation of a Rigidly Moving Surface without Correspondence，for Robotics ApplicationsAnup Basu and John （Yiannis） Aloimonos815

Qualitative Motion UnderstandingWilhelm Burger and Bir Bhanu819

Determination of Egomotion and Environmental Layout from Noisy Time-Varying Image Velocity in Binocular Image SequencesJohn L.Barron， Allan D.Jepson， and John K.Tsotsos822

Trinocular Stereovision： Recent ResultsNicholas Ayache and Francis Lustman826

Significant Feature Detection and Matching in Image PairsMark H.Singer829

Stereo Matching by Hierarchical， Microcanonical AnnealingStephen T.Barnard832

On Multi-Level Machines for Continuous Speech RecognitionJoseph di Martino836

Use of Procedural Knowledge for Automatic Speech RecognitionRenato de Mori， Ettore Merlo， Mathew Palakal， and Jean Rouat840

A Multi-Level Perception Approach to Reading Cursive ScriptSargur N.Srihari and Radmilo M.Bozinovic844

Knowledge Utilization in Handwritten Zip Code RecognitionJonathan J.Hull and Sargur N.Srihari848

Learning Phonetic Features Using Connectionist NetworksRaymond L.Watrous and Lokendra Shastri851

An Algorithm which Automatically Constructs Discrimination Graphs in a Visual Knowledge BaseJan A.Mulder855

REASONING860

Large-Scale Temporal Data Bases for Planning in Complex DomainsThomas Dean860

Knowledge Preconditions for Actions and PlansLeora Morgenstern867

Using Partial Global Plans to Coordinate Distributed Problem SolversEdmund H.Durfee and Victor R.Lesser875

Dominance and Subsumption in Constraint-Posting PlanningMichael P.Wellman884

RUM：A Layered Architecture for Reasoning with UncertaintyPiero P.Bonissone， Steven S.Gans， and Keith S.Decker891

Reasoning with Consistent ProbabilitiesDimiter Driankov899

Objective ProbabilitiesHenry E.Kyburg902

Variables in HypothesesDavid Poole905

Intended Models， Circumscription and Commonsense ReasoningWlodek W.Zadrozny909

Matrix Proof Methods for Modal LogicsLincoln A.Wallen917

Epistemic Logics， Probability， and the Calculus of EvidenceEnrique H.Ruspini924

Inductive Inference on the Base of Fixed Point TheoryT.Gergely and ZSSzabo932

Foundations of Probabilistic LogicH.Guggenheimer and R.S.Freedman939

A General Proof Method for First-Order Modal LogicPeter Jackson and Han Reichgelt942

Performance Evaluation of the Inference Structure in Expert SystemYang Tao， He Zhijun， and Yu Ruizhao945

A Quantitative Analysis of Minimal Window SearchAlexander Reinefeld and T.A.Marsland951

Optimizing Backtrack Search for all Solutions to Conjunctive ProblemsK.S.Natarajan955

Comparative AnalysisDaniel S.Weld959

Formal Theories of Action （Preliminary Repory）Vladimir Lifschitz966

An Algebraic Foundation for Truth MaintenanceAllen L.Brown， Jr.， Dale E.Gaucas， and Dan Benanav973

Short Time PeriodsPatrick H.Hayes and James F.Allen981

Theorem Proving Under Uncertainty—A Possibility Theory-based ApproachDidier Dubois， Jerome Lang， and Henri Prade984

An Incremental Theorem ProverMurray Shanahan987

Complete Inference Rules for the Cancellation LawsJieh Hsiang， Michael Rusinowitch， and Ko Sakai990

Constructive Second-Order Proofs in Logical DatabasesMichel de Rougemont993

Domain Abstraction and Limited ReasoningTomasz Imielinksi997

The Abstraction/Implementation Model of Problem ReformulationMichael R.Lowry1004

Preserving Consistency Across Abstraction MappingsJosh D.Tenenberg1011

Combining Bodies of Dependent InformationRobert Hummel and Larry M.Manevitz1015

Subgoal Ordering and Goal Augmentation for Heuristic Problem SolvingKeki B.Irani and Jie Cheng1018

Goal Conflict ConcernsMarc Luria1025

Controlling Constraint PropagationAnne Collinot and Claude Le Pape1032

An Investigation of Opportunistic Constraint Satisfaction in Space PlanningCan A.Baykan and Mark S.Fox1035

Universal Plans for Reactive Robots in Unpredictable EnvironmentsM.J.Schoppers1039

Contingency Planning for an Autonomous Land VehicleTheordore A.Linden and Jay Glicksman1047

The Pipelining Transformation on Plans for Manufacturing Cells with RobotsErik Sandewall1055

A Probabilistic Framework for Resource-Constrained Multi-Agent PlanningNicola Muscettola and Stephen F.Smith1063

Path Planning Through Time and Space in Dynamic DomainsMarc G.Slack and David P.Miller1067

Generate， Test and Debug：Combining Associational Rules and Causal ModelsReid Simmons and Randall Davis1071

Troubleshooting： When Modeling is the Trouble（paper unavailable） P.DagueTaming Intractible Branching in Qualitative SimulationBenjamin Kuipers and Charles Chiu1079

Towards Continuous Process SupervisionPhilippe Caloud1086

Explicit Integration of Goals in Heuristic Algorithm DesignJ.Mostow and K.Voigt1090

The Generation of Explanations within Evidential Reasoning SystemsThomas M.Strat1097

An Improved Constraint-Propagation Algorithm for DiagnosisHector Geffner and Judea Pearl1105

Computational Complexity of Hypothesis AssemblyDean Allemang， Michael C.Tanner Tom Bylander， and John Josephson1112

ROBOTICS1120

Finding Collision-Free Smooth Trajectories for a Non-Holonomic Mobile RobotJean-Paul Laumond1120

Creature Design with the Subsumption ArchitectureJonathan H.Connell1124

Visual Path Planning by a Mobile RobotSaburo Tsuli and Jiang Yu Zheng1127

The Mixed Approach for Motion Planning：Learning Global Strategies from a Local PlannerB.Faverjon and P.Tournassoud1131

TINA： The Sheffeild AIVRU V？sion SystemJ.Porrill， S.B.Pollard， TP.Pridmore， J.B.Bowen，J.E.W.Mayhew， and J.P.Frisby1138

Object Identification from Parallel Light StripesBijan Arbab1145

Locating Polyhedral Objects from Edge Point DataGary Silverman， Roger Tsai， and Mark Lavin1149

Grasp Planning from Human PrehensionThea Iberall1153

A Parallel Blackboard System for Robot ControlHugo Velthui？sen， Ben J.Lippolt， and Jeanette C.Vonk1157

PANELS AND INVITED TALKS1162

Parallel Inference MachinesWolfgang Bibel， Chair1162

Pointing， Language and the Visual World：Towards Multimodal Input and Output for Natural Language Dialog SystemsWolfgang Wahlster， Chair1163

A Unifying Framework for Machine Learning（abstract unavailable）Gerald DeJong， Chair1164

The Commercialization of Al1164

Part 1： The User ViewpointBruce GJohnson， Chair1166

Part 2： The Vendor ViewpointHarry Reinstein， Chair1166

Part 3： The Technology ChallengeJan AikinsChair1166

Some Challenges for Intelligent Tutoring SystemsD.Sleeman1166

Artificial 3D VisionOiivier D.Faugeras1169

The New Grammar Formalisms—A Tutorial Survey（abstract）Gerald Gazdar1172

On the Thresholds of KnowledgeDouglas B.Lenat and Edward A.Feigenbaum1173

Computer Architectures for Al Problem-Solving（paper unavailable）Hideo Aiso1183

Towards a Functional Architecture for Intelligence Based on Generic Information Processing TasksB.Chanarasekaran1183