ARTIFICIAL INTELLIGENCE RESEARCH REPORTS Artificial Intelligence Center The University of Georgia Athens, Georgia 30602-7415 U.S.A. aspaul@uga.cc.uga.edu February 27, 1996 *Ordering information These reports are available for $3.00 each ($5.00 outside the U.S.A.) from the address above. Checks must be in U.S. funds payable to AIRG Services. Be sure to give your full mailing address when ordering. Many reports are also available by FTP from ai.uga.edu, at no charge. Consult your local computer center for advice on how to use FTP from your site. *New reports AI--1996-01 (available by FTP) Michael A. Covington Natural Language Plurals in Logic Programming Queries This paper presents a representation for natural language plurals in knowledge based queries, implementing collective, distributive, cumulative, and multiply distributive senses of the plural by means of higher predicates. AI--1995-01 (available by FTP) Michael A. Covington Toward a New Type of Language for Electronic Commerce This paper proposes a new type of language for electronic commerce (LEC) in which transactions are put together by combining meaningful elements, much as a programming language encodes algorithms. Such a language is preferable to existing codes such as ANSI X.12 and UN EDIFACT because of its much greater versatility. *Previously published reports still available AI-1994-10 (available by FTP) Guo-Qiang Zhang and William C. Rounds Nonmonotonic Consequences in Default Model Theory This paper reconsiders some of the laws of nonmonotonic consequence, due to Gabbay and to Kraus, Lehmann, and Magidor, in the light of default model theory. Among other results, it has been proved that EVERY nonmonotonic consequence relation can be represented by a default structure. AI-1994-09 (available by FTP) Guo-Qiang Zhang and William C. Rounds Defaults in Domain Theory This paper uses ideas from artificial intelligence to show how default notions can be defined over Scott domains. These ideas are combined with ideas arising in domain theory to shed some light on the properties of nonmonotonicity in a general model-theoretic setting. AI-1994-08 (available by FTP) William C. Rounds and Guo-Qiang Zhang Attunement to Constraints in Nonmonotonic Reasoning After a brief introduction to default model theory, this paper presents a first order positive logic interpreted by default models with background constraints. A notion of conditional degree of belief is introduced, and several examples are treated. AI-1994-07 (available by FTP) William C. Rounds and Guo-Qiang Zhang Logical Considerations on Default Semantics This paper presents a first order logic with a partial semantics based on default models. As an application, this semantics is shown to give a partial solution to the conceptual problems with open defaults pointed out by Lifschitz, and Baader and Hollunder. AI-1994-06 (available by FTP) Michael A. Covington GULP 3.1: An Extension of Prolog for Unification-Based Grammar AI-1994-05 (available by FTP) Sven Hartrumpf IBL: An Inheritance-Based Lexicon Formalism AI-1994-04 (available by FTP) Laurel Kathleen Graham An Implementation of Plurality in Discourse Representation Theory AI-1994-03 (Available by FTP) Daniel Wayne Brown A Natural Language Querying System Based on Discourse Representation Theory and Incorporating Event Semantics AI-1994-02 (Available by FTP) Michael Covington Discontinuous Dependency Parsing of Free and Fixed Word Order: Work in Progress AI-1994-01 (Available by FTP) Michael Covington An Empirically Motivated Reinterpretation of Dependency Grammar AI-1993-06 (available by FTP) Greg Izzo Incorporating Defeasible Reasoning into an Implementation of Discourse Representation Theory AI-1993-05 (available by FTP) Mark Juric Exploring Optimal Parameters for Multiple Fault Diagnosis Using the Simple Genetic Algorithm AI-1993-04 (available by FTP) Donald Nute Defeasible Prolog AI-1993-03 (available by FTP) Ulrich Koch The Enhancement of a Dependency Parser for Latin AI-1993-02 (available by FTP) F. James Eisenhart A Connectionist Model of Language from Sensorimotor Preadaptation AI-1993-01 (available by FTP) F. James Eisenhart Instantiating Thematic Roles with a Recurrent Neural Network AI-1992-03 Michael A. Covington GB Theory as Dependency Grammar AI-1992-02 (available by FTP) Katarzyna J. Macura, Robert T. Macura, Donald E. Nute Design and Evaluation of a Tutoring Module for Computerized Reference System MacLib to Assist in Differential Diagnosis of Primary Brain Tumors AI-1992-01 (available by FTP) Henry Hexmoor and Donald Nute Methods for Deciding What to Do Next and Learning AI-1991-02 (available by FTP) Donald Nute Tense and Conditionals AI-1991-01 (available by FTP) Gregg H. Rosenberg SALMON: a TEMPERAMENTAL Program that Learns AI-1990-02 (available by FTP) William H. Smith Handling Constrained Clauses in Discourse Representation Theory AI-1990-01 (available by FTP) Michael A. Covington A Dependency Parser for Variable-Word-Order Languages AI-1989-09 David Billington Some Results on Defeasible Logic AI-1989-08 (available by FTP) Michael A. Covington Efficient Prolog: A Practical Guide AI-1989-07 John E. McEneaney Implementing Set Theory in Prolog AI-1989-06 W. D. Potter, A. D. Wright, A. M. Morton, and V. C. Kessler Handling Uncertainty and Exceptions with Defeasible Dependencies AI-1989-05 David Billington, Koen De Coster, Donald Nute A Modular Translation from Defeasible Nets to Defeasible Logics AI-1989-04 (available by FTP) William H. Smith Problems in Applying Discourse Representation Theory AI-1989-03 David Goodman An Implementation of an Extension to Discourse Representation Theory AI-1989-02 (available by FTP) Michael A. Covington A Numerical Equation Solver in Prolog AI-1989-01 (available by FTP) Michael A. Covington GULP 2.0: An Extension of Prolog for Unification-Based Grammar 01-0027 Tsanming J. Chou A Comparative Performance Study on Various Parsers Written in Prolog 01-0026 Martin Volk Parsing German with GPSG: The Problem of Separable-Prefix Verbs 01-0025 John E. McEneaney READ.PRO: A Pattern-Matching Approach to Perceptual Learning in Reading 01-0024 (available by FTP) M. Covington, D. Nute, N. Schmitz, and D. Goodman From English to Prolog via Discourse Representation Theory 01-0023 (available by FTP) Michael A. Covington and Nora Schmitz An Implementation of Discourse Representation Theory 01-0022 Michael A. Covington Parsing Variable Word Order Languages With Unification-Based Dependency Grammar -- No longer available. Use report AI-1990-01 instead. 01-0021 Michael A. Covington GULP 1.1: An Extension of Prolog for Unification-Based Grammar -- No longer available. Use report AI-1989-01 instead. 01-0020 S. Karickhoff, A. Vellino, L. Carreira, V. McDaniel, and D. Nute Predicting Chemical Parameters with Prolog 01-0019 Robert E. Stearns and Michael A. Covington Prolog on the CYBERPLUS: A Feasibility Study 01-0018 Andre N. Vellino Searching Chemical Substructures Using Prolog 01-0017 Donald Nute and Michael Lewis A User's Manual for d-Prolog 01-0016 Michael Lewis Defeasible Reasoning in the Expert System Shell TOPSI 01-0015 Donald Nute and Michael Covington Implicature, Disjunction, and Non-monotonic Logic 01-0014 Michael Lewis The Automation of a Practical Reasoning System Based on Concepts in Deontic Logic 01-0009 Terry L. Rankin Could Nonmonotonic Inference Ever Be Deductively Valid? 01-0007 Donald Nute A Non-Monotonic Logic Based on Conditional Logic 01-0003 Terry L. Rankin AI Artifacts and Applied Epistemology 01-0002 Donald Nute Non-Monotonic Reasoning and Conditionals *Software A large archive of software is available by anonymous FTP from ai.uga.edu (128.192.12.9). Arrangements can be made to supply software on diskettes to those who are unable to use FTP. -end-