Results 1  10
of
40
Syntactic Control of Interference Revisited
, 1995
"... In "Syntactic Control of Interference" (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algollike languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative conc ..."
Abstract

Cited by 40 (6 self)
 Add to MetaCart
In "Syntactic Control of Interference" (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algollike languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as pcf) and simple imperative languages (such as the language of while programs). However, Reynolds points out that the "obvious" syntax for interference control has the unfortunate property that fireductions do not always preserve typings. Reynolds has subsequently presented a solution to this problem (ICALP, 1989), but it is fairly complicated and requires intersection types in the type system. Here, we present a much simpler solution which does not require intersection types. We first describe a new type system inspired in part by linear logic and verify that reductions preserve typings. We then define a class...
Conceptual Modelling of Database Applications Using an Extended ER Model
, 1992
"... In this paper, we motivate and present a data model for conceptual design of structural and behavioural aspects of databases. We follow an object centered design paradigm in the spirit of semantic data models. The specification of structural aspects is divided into modelling of object structures and ..."
Abstract

Cited by 40 (8 self)
 Add to MetaCart
In this paper, we motivate and present a data model for conceptual design of structural and behavioural aspects of databases. We follow an object centered design paradigm in the spirit of semantic data models. The specification of structural aspects is divided into modelling of object structures and modelling of data types used for describing object properties. The specification of object structures is based on an Extended EntityRelationship (EER) model. The specification of behavioural aspects is divided into the modelling of admissible database state evolutions by means of temporal integrity constraints and the formulation of database (trans)actions. The central link for integrating these design components is a descriptive logic based query language for the EER model. The logic part of this language is the basis for static constraints and descriptive action specifications by means of pre and postconditions. A temporal extension of this logic is the specification language for tem...
Parallel nonbinary planning in polynomial time
 In Reiter and Mylopoulos [ 1991
, 1991
"... This paper formally presents a class of planning problems which allows nonbinary state variables and parallel execution of actions. The class is proven to be tractable, and we provide a sound and complete polynomial time algorithm for planning within this class. This result means that we are gettin ..."
Abstract

Cited by 31 (12 self)
 Add to MetaCart
This paper formally presents a class of planning problems which allows nonbinary state variables and parallel execution of actions. The class is proven to be tractable, and we provide a sound and complete polynomial time algorithm for planning within this class. This result means that we are getting closei to tackling realistic planning problems in sequential control, where a restricted problem representation is often sufficient, but where the size of the problems make tractability an important issue. 1
Logicbased Knowledge Representation
 Artificial Intelligence Today, Recent Trends and Developments, number 1600 in Lecture Notes in Computer Science
, 1996
"... . After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, timedependent or subjective knowledge, and incomplete knowledge res ..."
Abstract

Cited by 27 (0 self)
 Add to MetaCart
. After a short analysis of the requirements that a knowledge representation language must satisfy, we introduce Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for representing terminological knowledge, timedependent or subjective knowledge, and incomplete knowledge respectively. At the end of each section, we briefly comment on the connection to Logic Programming. 1 Introduction This section is concerned with the question under which conditions one may rightfully claim to have represented knowledge about an application domain, and not just stored data occurring in this domain. 1 In the early days of Artificial Intelligence and Knowledge Representation, there was a heated discussion on whether logic can at all be used as a formalism for Knowledge Representation (see e.g. [135, 91, 92]). One aspect of the requirements on knowledge representation formalisms that can be derived from the considerations in this section is very well satisfied by logical for...
Equivalence and Tractability Results for SAS+ Planning
 Proceedings of the 3rd International Conference on Principles on Knowledge Representation and Reasoning (KR92
, 1992
"... We define the SAS + planning formalism, which generalizes the previously presented SAS formalism. The SAS + formalism is compared with some betterknown propositionalplanning formalisms with respect to expressiveness. Contrary to intuition, all formalisms turn out to be equally expressive in a v ..."
Abstract

Cited by 24 (6 self)
 Add to MetaCart
We define the SAS + planning formalism, which generalizes the previously presented SAS formalism. The SAS + formalism is compared with some betterknown propositionalplanning formalisms with respect to expressiveness. Contrary to intuition, all formalisms turn out to be equally expressive in a very strong sense. We further present the SAS + PUS planning problem which generalizes the previously presented, tractable SASPUS problem. We prove that also the SAS +  PUS problem is tractable by devising a provably correct polynomial time algorithm for this problem. 1 Introduction Much effort has gone into finding more and more general formalisms, mainly logicbased, for plans and actions and also into finding reasoning methods for these. Although such formalisms may be important for modelling problems and comparing different approaches we most probably have to identify subproblems and devise tailored algorithms for these in order to overcome the computational difficulties involved. ...
On Deductive Planning and the Frame Problem
 PROCEEDINGS OF THE CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING
, 1992
"... We review some logic formalisms which were designed in order to reason about situations, goals, and actions. In particular, we focuss on the socalled frame problem, i.e. the technical problem of how to formalize the assumption that unless an action explicitly causes a certain fact to hold or not to ..."
Abstract

Cited by 19 (7 self)
 Add to MetaCart
We review some logic formalisms which were designed in order to reason about situations, goals, and actions. In particular, we focuss on the socalled frame problem, i.e. the technical problem of how to formalize the assumption that unless an action explicitly causes a certain fact to hold or not to hold, the facts are preserved by the action. It is shown that there is no need to explicitly state frame axioms, ie. axioms which deal with the frame problem, if the logic formalism treats facts as resources which are produced and consumed. The linear connection method, the linear logic as well as a particular equational logic are such formalisms. Moreover, we demonstrate that these three formalisms are equivalent for a large class of planning problems.
On The Nonparametric Identification Of Nonlinear Simultaneous Equations Models: Comment On Brown
 Econometrica
, 2006
"... This note revisits the identification theorems of B. Brown (1983) and Roehrig (1988). We describe an error in the proofs of the main identification theorems in these papers, and provide an important counterexample to the theorems on the identification of the reduced form. Specifically, contrary to t ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
This note revisits the identification theorems of B. Brown (1983) and Roehrig (1988). We describe an error in the proofs of the main identification theorems in these papers, and provide an important counterexample to the theorems on the identification of the reduced form. Specifically, contrary to the theorems, the reduced form of a nonseparable simultaneous equations model is not identified even under the assumptions of those papers. We conclude the note with a conjecture that it may be possible to use classical exclusion restrictions to recover some of the key implications of the theorems. ∗We have had very helpful conversations with Pat Bayer, Don Brown, Yossi Feinberg, Guido Imbens, Yuliy Sannikov, Andy Skrzypacz, and Chris Timmons. Any remaining In this note, we reconsider the nonparametric identification of nonlinear simultaneous equations models, as in B. Brown (1983) and Roehrig (1988). We
Linear deductive planning
 JOURNAL OF LOGIC AND COMPUTATION
, 1996
"... Recently, three approaches to deductive planning were developed, which solve the technical frame problem without the need to state frame axioms explicitly. These approaches are based on the linear connection method, an equational Horn logic, and linear logic. At first glance these approaches seem to ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
Recently, three approaches to deductive planning were developed, which solve the technical frame problem without the need to state frame axioms explicitly. These approaches are based on the linear connection method, an equational Horn logic, and linear logic. At first glance these approaches seem to be very different. In the linear connection method a syntactical condition  each literal is connected at most once  is imposed on proofs. In the equational logic approach situations and plans are represented as terms and SLDEresolution is applied as an inference rule. The linear logic approach is a Gentzen style proof system without weakening and contraction rules. On second glance, however, and as a consequence of the results rigourously proved in this paper, it will turn out that the three approaches are equivalent. They are based on the very same idea that facts about a situation are taken as resources which can be consumed and produced.
A Survey of Literature on Function Decomposition  Version IV
, 1995
"... This report surveys the literature on decomposition of binary, multiplevalued, and fuzzy functions. It gives also references to relevant basic logic synthesis papers that concern topics important for decomposition, such as for instance representation of Boolean functions, or symmetry of Boolean f ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
This report surveys the literature on decomposition of binary, multiplevalued, and fuzzy functions. It gives also references to relevant basic logic synthesis papers that concern topics important for decomposition, such as for instance representation of Boolean functions, or symmetry of Boolean functions. As a result of the analysis of the most successful decomposition programs for AshenhurstCurtis Decomposition, several conclusions are derived that should allow to create a new program that will be able to outperform all the existing approaches to decomposition. Creating such a superior program is necessary to make it practically useful for applications that are of interest to Pattern Theory group at Avionics Labs of Wright Laboratories. In addition, the program will be also able to solve problems that have been never formulated before. It will be a testbed to develop and compare several known and new partial ideas related to decomposition. Our emphasis is on the following topics: 1. representation of data and efficient algorithms for data manipulation, 2. variable ordering methods for variable partitioning to create bound and free sets of input variables; heuristic approaches and their comparison, 3. column compatibility problem, 4. subfunction encoding problem, 5. use of partial and total symmetries in data to decrease the decomposition search space, 6. methods of dealing with strongly unspecified functions which are typical for machine learning applications, 7. special types of decomposition, that can be efficiently handled (cascades, trees without variable repetition).
Identification in Differentiated Products Markets Using Market Level Data
, 2009
"... We consider nonparametric identification in models of differentiated products markets, using only market level observables. On the demand side we consider a nonparametric random utility model nesting random coefficients discrete choice models widely used in applied work. We allow for product/market ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
We consider nonparametric identification in models of differentiated products markets, using only market level observables. On the demand side we consider a nonparametric random utility model nesting random coefficients discrete choice models widely used in applied work. We allow for product/marketspecific unobservables, endogenous product characteristics (e.g., prices), and highdimensional taste shocks with arbitrary correlation and heteroskedasticity. On the supply side we specify marginal costs nonparametrically, allow for unobserved firm heterogeneity, and nest a variety of equilibrium oligopoly models. We pursue two approaches to identification. One relies on instrumental variables conditions used previously to demonstrate identification in a nonparametric regression framework. With this approach we can show identification of the demand side without reference to a particular supply model. Adding the supply side allows identification of firms’ marginal costs as well. Our second approach, more closely linked to classical identification arguments for supply and demand models, employs a change of variables approach. This leads to constructive identification results relying on exclusion and support conditions. Our results lead to a testable restriction that provides the first general formalization of Bresnahan’s (1982) intuition for empirically discriminating between alternative models of oligopoly competition.