2,226 Hits in 2.1 sec

A test battery for rational database updating

Sven O. Hansson
1996 Artificial Intelligence  
These postulates are arranged into seven sequences with increasing strength, each of which measures the degree of conformity with a basic desideratum for database updating.  ...  The battery is based on 20 rationality postulates of the types developed in studies of theory change and nonmonotonic reasoning.  ...  Thus, K denotes the state of the database before update, and K*a its state after the update that results from an instruction to accept (Y.  ... 
doi:10.1016/0004-3702(95)00127-1 fatcat:a23jer2jorhpzpcc632luox67e

A natural semantics for modal logic over databases

W. Marek
1988 Theoretical Computer Science  
The resulting logic is related to the theory of updates in databases.  ...  Using mode1 theoretic forcing we give two interpretations of modal logic with nonmonotone, semantically defined, consequence operations.  ...  The other one, m, refers to 'possible history of the database'. As can easily be guessed, this modal language is related to updates of the database (cf. Theorem 4.10).  ... 
doi:10.1016/0304-3975(88)90077-1 fatcat:o4iv3xgnobasvedi5i54rrqofa

Page 5902 of Mathematical Reviews Vol. , Issue 98I [page]

1998 Mathematical Reviews  
: (1) The first approach allows a nonmonotonic negation operator to appear in pf -clauses.  ...  981:68256 author provides, as a first step, a semantical foundation for prob- abilistic deductive databases (PDDs) based on p-clauses which allow conjunctions and disjunctions to be annotated with proba  ... 

Nonmonotonic Reasoning in FLORA-2 [chapter]

Michael Kifer
2005 Lecture Notes in Computer Science  
These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics. 2 2 Overview of F-logic F-logic extends predicate calculus both syntactically and semantically  ...  In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2.  ...  If these conditions are met, the database will be updated accordingly.  ... 
doi:10.1007/11546207_1 fatcat:zyshs2f7mzabnb4zlfe34zlnz4

Page 1031 of Mathematical Reviews Vol. , Issue 92b [page]

1992 Mathematical Reviews  
Stafylopatis, On the mean execution time of recursive definitions on relational databases (pp. 119-133); M. E. Iofinova, Updating hierarchical databases by complex forms (pp. 134-145); Stephen  ...  Meyer, Actor-oriented specification of de- ontic integrity constraints (pp. 89-103); Paolo Atzeni and Riccardo Torlone, Solving ambiguities in updating deductive databases (pp. 104-118); W.  ... 

Handling Expiration of Multigranular Temporal Objects

E. Camossi
2004 Journal of Logic and Computation  
Multigranular temporal databases enhance the expressive power of temporal databases by supporting temporal attributes at different levels of detail.  ...  A well-known problem of temporal databases is that the amount of stored data tends to increase very fast.  ...  First of all, we must consider the management of nonmonotonic updates. The possibility to update values already inserted in the database complicates the management of the expiration operations.  ... 
doi:10.1093/logcom/14.1.23 fatcat:4vo3fs66dvfmxh27nds5afllp4

Deterministic nonmonotone strategies for effective training of multilayer perceptrons

V.P. Plagianakos, G.D. Magoulas, M.N. Vrahatis
2002 IEEE Transactions on Neural Networks  
The nonmonotone strategy can be incorporated in any batch training algorithm and provides fast, stable, and reliable learning.  ...  Index Terms-Adaptive learning rate algorithms, backpropagation (BP) algorithm, multilayer perceptrons (MLPs), nonmonotone minimization, unconstrained minimization.  ...  In this experiment, a digit database has been assembled by collecting 250 samples from 44 independent writers.  ... 
doi:10.1109/tnn.2002.804225 pmid:18244526 fatcat:5o5jlzb3wrbkjowj6xse5u54jy

Belief revision: A vade-mecum [chapter]

Peter Gärdenfors
1992 Lecture Notes in Computer Science  
This paper contains a brief survey of the area of belief revision and its relation to updating of logical databases as it has developed during the last years.  ...  Finally, the relation between belief revision and nonmonotonic logic is explored.  ...  This means that you want to add the negation of E to the database. But then the database becomes inconsistent. If you want to keep the database consistent you need to revise it.  ... 
doi:10.1007/3-540-56282-6_1 fatcat:lrm4tldudjd5ng36jueu7243d4

In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002

Jack Minker
2002 Theory and Practice of Logic Programming  
In 1992 he developed a theory of database updates based on the situation calculus (Reiter, 1992) .  ...  This work borrows from a variety of AI planning ideas in the situation calculus to yield an approach to the formalization of database updates.  ... 
doi:10.1017/s1471068402001564 fatcat:v5wnpeuif5ddjjn7zclvobpgq4

Page 1072 of Mathematical Reviews Vol. , Issue 88b [page]

1988 Mathematical Reviews  
As a result, the theory accommodates diagnostic rea- soning in a wide variety of practical settings, including digital and analog circuits, medicine, and database updates.  ...  Summary: “In recent years, there has been considerable interest in nonmonotonic reasoning systems.  ... 

Page 4524 of Mathematical Reviews Vol. , Issue 97G [page]

1997 Mathematical Reviews  
Summary: “Traditional databases commonly support efficient query and update procedures that operate in time which is sublin- ear in the size of the database.  ...  Both of the main inference paradigms for nonmonotonic logic, credulous and sceptical reasoning, are treated in this paper.  ... 

Locally monotonic diffusion

S.T. Acton
2000 IEEE Transactions on Signal Processing  
Observation 2: The LOMO diffusion update will decrement a positive-going nonmonotone point (by unity) and will increment a negative-going nonmonotone point unless the overshoot expression in (11) is  ...  RESULTS AND CONCLUSIONS In the empirical study, we selected 100 unique signals of length from a database of signals acquired via an optical scanner.  ... 
doi:10.1109/78.839984 fatcat:i4fxtioqevha3bmvxaa5b5inve

Page 7826 of Mathematical Reviews Vol. , Issue 97M [page]

1997 Mathematical Reviews  
(English summary) Non-determinism in databases. Ann. Math. Artificial Intelligence 19 (1997), no. 1-2, 27-58.  ...  S. (1-MD-C; College Park, MD); Zaniolo, Carlo (1-UCLA-C; Los Angeles, CA) The logic of totally and partially ordered plans: a deductive database approach.  ... 

A Reason Maintenace System Dealing with Vague Data [article]

B. Fringuelli, S. Marcugini, A. Milani, S. Rivoira
2013 arXiv   pre-print
It supports a problem solver in situations affected by incomplete information and vague data, by allowing nonmonotonic inferences and the revision of previous conclusions when contradictions are detected  ...  If the newly justified node is falsity , the consistency of each environment in the label is computed and the environment database is updated.  ...  Only the minimal environment database (MEDB) is maintained in the sense that an environment Ez is recorded in the database only if no environment E 1 exists such that: (E 1 c Ez) and (cs(E l ) > cs(Ez)  ... 
arXiv:1303.5717v1 fatcat:fcfvhygpffcyld5grtwkrvhtkm

Forthcoming Papers

2002 Artificial Intelligence  
Applications of this method to planning are related to the line of research on the frame problem that started with the invention of formal nonmonotonic reasoning in 1980.   ...  Truszczyński, Annotated revision programs Revision programming is a formalism to describe and enforce updates of belief sets and databases.  ...  Sideri, Fixed-parameter complexity in AI and nonmonotonic reasoning Many relevant intractable problems become tractable if some problem parameter is fixed.  ... 
doi:10.1016/s0004-3702(02)00216-3 fatcat:iqng4adjcbanxh46bjczyyedaa
« Previous Showing results 1 — 15 out of 2,226 results