[mod.conferences] Call-For-Papers: Ohio University Inference Conference

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