The Fourth Bar-Ilan Symposium on Foundations of Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Moshe Koppel, Eli Shamir, and Martin Golumbic, Organizers
June 20-22, 1995, Jerusalem, Israel. Published by The AAAI Press, Menlo Park, California. This proceedings is available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Symposium Organization / viii
Introduction: Bar-Hillel, The Man, The Scholar, the Teacher / ix
Papers
From Ambiguous Knowledge and Undefined Information to Knowledge: A Three-Valued Logic Application / 3
Matías Alvarado and Gustavo Núñez
A Bilattice-Based Approach to Recover Consistent Data from Inconsistent
Knowledge-Bases / 14
Ofer Arieli and Arnon Avron
Robust Natural Language Generation from Large-Scale Knowledge Bases /
24
Charles B. Callaway and James C. Lester
Distributed Mathematical Problem Solving / 34
Jacques Calmet and Karsten Homann
Intelligent Systems: Unified Approach to Knowledge Representation,
Analysis and Implementation Based on Fuzzy Petri Nets / 43
Valery Cherniaev
Selective Sampling in Natural Language Learning / 51
Ido Dagan and Sean P. Engelson
Quantificational Dynamics via Dialogue / 64
Jonathan Ginzburg
Automated Reasoning with Extended Linking and Left Merging / 73
Chuen-Hsuen Jeff Ho and Lawrence Henschen
Reference and Computational Models of Illocutionary Acts / 82
Amichai Kronfeld
Intelligent Talk-and-Touch Interfaces Using Multi-Modal Semantic
Grammars / 103
Bruce Krulwich and Chad Burkey
Logicality and the Determination of Syntactic Categories in Natural
Language / 113
Shalom Lappin
On Learnability and Predicate Logic (Extended Abstract) / 126
W. Maass and Gy. Turán
The Future of MT is Now and Bar-Hillel was (almost entirely) Right /
137
Elliott Macklovitch
Automatic Mesh Generation (for Finite Element Method) Using
Self-Organizing Neural Networks / 149
Larry Manevitz, Malik Yousef, and Dan Givoli
Internal Contextual Grammars: Minimal, Maximal, and Scattered Use of
Selectors / 159
C. Martín-Vide, A. Mateescu, J. Miquel-Vergés, and Gh.
Paun
Neural Networks: Using a Game Theoretic Derivative for Minimizing
Maximal Errors and Designing Network Architecture / 169
Mark Meltser, Moshe Shoham, and Larry M. Manevitz
How to Derive Conveyed Meanings / 178
Michael Morreau
Thinking Takes Time: A Modal Active-Logic for Reasoning in Time /
189
Madhura Nirkhe, Sarit Kraus, and Donald Perlis
Beyond Word N-Grams / 200
Fernando C. Pereira, Yoram Singer, and Naftali Tishby
The Situation Calculus with Sensing and Indexical Knowledge / 213
Richard B. Scherl, Hector J. Levesque, and Yves Lespérance
Group Knowledge Isn’t Always Distributed (Neither Is It Always Emplicit)
/ 223
W. van der Hoek, B. van Linder, and J. -J. Ch. Meyer
Modeling Alternate Selection Schemes for Genetic Algorithms / 232
Michael D. Vose
Measuring Semantic Complexity / 245
Wlodek Zadrozny
Invited Papers
Disjunctive Deductive Databases: Semantics, Updates, and Architecture /
256
J. A. Fernández, J. Gryz, and J. Minker
Updating Disjunctive Databases via Model Trees / 275
John Grant, Jaroslaw Gryz, and Jack Minker
Lexicalization and Categorial Grammars--A Story Bar-Hillel Might Have
Liked / 297
Aravind K. Joshi
Bar Hillel and Machine Translation: Then and Now / 300
Sergei Nirenburg
Index / 306