taylor@hplabsc.UUCP (Dave Taylor) (07/11/86)
This article is from tgt@cbosgd.ATT.COM (Timothy G. Thompson) and was received on Thu Jul 10 11:49:00 1986 [slightly reformatted to fit standard format] CALL FOR PAPERS 1986 Ohio University Interdisciplinary Conference On Inference Oct. 9 - 11, 1986 Ohio University, Athens, Ohio TUTORIALS Tutorials in Computer Science, Linguistics, Mathematics, Philosophy, Psychology Lead Tutorial: John Corcoran, Suny at Buffalo, Concepts and Principles of 2nd Order Reasoning PAPERS We invite original, unpublished papers dealing with inference (modes, mechanisms, processes, paradigms, contexts, engines) as it impacts or involves research in computer science, linguistics, mathematics, philosophy, and psychology. Papers on 2nd order reasoning are encouraged. The following are topic suggestions: COMPUTER SCIENCE: Inference Strategies, Inference Engines, Search Strategies, Alternative AI Languages (LISP vs. PROLOG, SNOBOL, ICON, etc.), Inference Paradigms, Scruffies vs. Neats, Scenario Logic, Fuzzy Logic; SPECIAL TOPIC: 2nd Order Logic Engines. LINGUISTICS: Inference in Natural Language Processing (Parsing, Knowledge Organization, Ambiguity); Application (Machine Aided Translation, Natural Language Interface, Intelligent Computer Assisted Instruction); Speech Recognition and Speech Production. MATHEMATICS: 2nd Order Logic vs. Set Theory, Fuzzy Set Theory, Non-Standard Models, Forcing, Large Cardinals, Lambda Calculus, Non-Effective Proof Procedures, Semantics of 2nd Order Logic, The History of the Role of Inference in Mathematics. PHILOSOPHY: Inference Forms in Science (Probabilistic, Bayesian, Aesthetic, Deductive-Nomological), In Ethics (Facts to Values, Moral Theory to Applied Ethics), In Aesthetics (Non-aesthetic to Aesthetic Descriptions, Contextual Understanding of Fictional Narrative), In Philosophy of Religion (Existence Arguments, Evidence for the Efficacy of Prayer, Hermeneutics); SPECIAL TOPIC: 2nd Order Logic vs. Quine PSYCHOLOGY: Inference in Language Comprehension, Semantic Memory, Reasoning, Problem Solving, Decision Making and Judgement. SUBMISSION INFORMATION: Please submit 3 copies of a one-to-two page anonymous abstract, along with a 3 by 5 card with your name, affiliation, address, and phone number. Presentations may range from 12 to 40 minutes plus a discussion period. The conference-tutorial fee is $30 and includes a volume of selected papers from the conference. DEADLINE FOR RECEIPT OF ABSTRACTS: August 6, 1986. Notification of acceptance will be sent by September 1, 1986. SEND SUBMISSIONS TO: OUIC 86 Dept. Name (e.g., Psychology) Ohio University Athens, Ohio 45701