نتایج جستجو برای: interactive theory

تعداد نتایج: 865332  

1995
Ricardo Caferra Nicolas Peltier

We show how our former approach to model building can be extended into a uniied approach to model building and model checking, able to guide the discovery of theories in which a model can be built for a given formula. In contrast with other enumeration approaches used to decide some classes of rst-order formulae, our approach automatically discovers (in the best case) or strongly guides (in the...

2003
Jean-Raymond Abrial Dominique Cansell

In this article, we first briefly present a proof assistant called the Predicate Prover, which essentially offers two functionalities: (1) an automatic semi-decision procedure for First Order Predicate Calculus, and (2) a systematic translation of statements written within Set Theory into equivalent ones in First Order Predicate Calculus. We then show that the automatic usage of this proof assi...

2015
Yu Xiang

OF THE DISSERTATION Interactive Schemes in Information Theory and Statistics

2013
Moa Johansson

Theory exploration is an automated reasoning technique for discovering and proving interesting properties about some set of given functions, constants and datatypes. In this note we describe ongoing work on integrating the HipSpec theory exploration system with the interactive prover Isabelle. We believe that such an integration would be beneficial for several reasons. In an interactive proof a...

2006
Robert Bordley

Decision analysis and interactive planning appear to be two totally unrelated processes. As this paper shows, new results on the interpretation of utility functions and new ways of thinking about downstream decisions allows us to reinterpret interactive planning as a natural extension of decision analysis to complex organizational problems.

پایان نامه :0 1374

this thesis is going to delineate the concept of the reader as implied in 18th century literary theory; based on the study of the major reader oriented elements of criticism of the age-taste, the sublime, and aesthetic pleasure-its aim is to explain what sott of reader is implied and what kind of response on the part of the reader is proposed in 18th century english literary theory and aestheti...

2001
Charles Rich

An experiment is proposed which begins to systematically explore the potential contribution of discourse theory to the design of interactive systems. The experiment involves implementing and comparing two versions of a very simple system for planning air travel itineraries. One version of the system includes facilities based on discourse theory, the other does not. Neither system uses natural l...

Journal: :AI Magazine 1991
Alan M. Frisch Anthony G. Cohn

Ed.D. in Education, both from the University of Massachusetts. Elliot Soloway is an Associate Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor, MI. He directs the “HighlyInteractive Computing Environments” project located in the AI Lab. William J. Clancey is a Senior Research Scientist at the Institute for Research on Learning, an independent, no...

2001
Nancy L. Green

We are investigating techniques for supporting autonomous dialogue in interactive story telling. That is, instead of writing a script for every possible sequence of events, we would like to develop an approach in which story characters have more autonomy in deciding what to say when. We describe our current research on applying dialogue games theory to interactive story telling. We illustrate t...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید