Results 1  10
of
12,726
The logical way to be artificially intelligent
 Computational Logic in MultiAgent Systems (CLIMA VI PostProceedings), LNAI 3900
, 2006
"... Abstract. Abductive logic programming (ALP) can be used to model reactive, proactive and preactive thinking in intelligent agents. Reactive thinking assimilates observations of changes in the environment, whereas proactive thinking reduces goals to subgoals and ultimately to candidate actions. Pre ..."
Abstract

Cited by 13 (3 self)
 Add to MetaCart
. Preactive thinking generates logical consequences of candidate actions, to help in deciding between the alternatives. These different ways of thinking are compatible with any way of deciding between alternatives, including the use of both decision theory and heuristics. The different forms
THE LOGICAL WAY OF BEING TRUE:
"... Truth values and the ontological foundation of logic Abstract. In this paper I reject the normative interpretation of logic and give reasons for a realistic account based on the ontological treatment of logical values. ..."
Abstract
 Add to MetaCart
Truth values and the ontological foundation of logic Abstract. In this paper I reject the normative interpretation of logic and give reasons for a realistic account based on the ontological treatment of logical values.
Molecular Logic: Ways Forward
, 2010
"... The development of molecules that process data befits our information age.[1–11] As people’s fascination with the internet and mobile communications grows, the transformational nature of computing on society is becoming clear. It is also dawning on people that their most personal computer sits betw ..."
Abstract
 Add to MetaCart
reactions can be viewed as a reagent input joining with a substrate device resulting in an observable change as the output. The field of molecular logic has grown from small beginnings to encompass workers from widely different places and backgrounds (Fig. 1). Herein lies the vibrancy of the field. How
Dynamic Logic
 Handbook of Philosophical Logic
, 1984
"... ed to be true under the valuation u iff there exists an a 2 N such that the formula x = y is true under the valuation u[x=a], where u[x=a] agrees with u everywhere except x, on which it takes the value a. This definition involves a metalogical operation that produces u[x=a] from u for all possibl ..."
Abstract

Cited by 1012 (7 self)
 Add to MetaCart
possible values a 2 N. This operation becomes explicit in DL in the form of the program x := ?, called a nondeterministic or wildcard assignment. This is a rather unconventional program, since it is not effective; however, it is quite useful as a descriptive tool. A more conventional way to obtain a
Learning Stochastic Logic Programs
, 2000
"... Stochastic Logic Programs (SLPs) have been shown to be a generalisation of Hidden Markov Models (HMMs), stochastic contextfree grammars, and directed Bayes' nets. A stochastic logic program consists of a set of labelled clauses p:C where p is in the interval [0,1] and C is a firstorder r ..."
Abstract

Cited by 1194 (81 self)
 Add to MetaCart
Stochastic Logic Programs (SLPs) have been shown to be a generalisation of Hidden Markov Models (HMMs), stochastic contextfree grammars, and directed Bayes' nets. A stochastic logic program consists of a set of labelled clauses p:C where p is in the interval [0,1] and C is a first
Classical negation in logic programs and disjunctive databases
 New Generation Computing
, 1991
"... An important limitation of traditional logic programming as a knowledge representation tool, in comparison with classical logic, is that logic programming does not allow us to deal directly with incomplete information. In order to overcome this limitation, we extend the class of general logic progra ..."
Abstract

Cited by 1044 (73 self)
 Add to MetaCart
programs by including classical negation, in addition to negationasfailure. The semantics of such extended programs is based on the method of stable models. The concept of a disjunctive database can be extended in a similar way. We show that some facts of commonsense knowledge can be represented by logic
A Theory of Diagnosis from First Principles
 ARTIFICIAL INTELLIGENCE
, 1987
"... Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain ..."
Abstract

Cited by 1120 (5 self)
 Add to MetaCart
Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally
The EntityRelationship Model: Toward a Unified View of Data
 ACM Transactions on Database Systems
, 1976
"... A data model, called the entityrelationship model, is proposed. This model incorporates some of the important semantic information about the real world. A special diagrammatic technique is introduced as a tool for database design. An example of database design and description using the model and th ..."
Abstract

Cited by 1829 (6 self)
 Add to MetaCart
ambiguities in these models are analyzed. Possible ways to derive their views of data from the entityrelationship model are presented. Key Words and Phrases: database design, logical view of data, semantics of data, data models, entityrelationship model, relational model, Data Base Task Group, network model
Efficient SoftwareBased Fault Isolation
, 1993
"... One way to provide fault isolation among cooperating software modules is to place each in its own address space. However, for tightlycoupled modules, this solution incurs prohibitive context switch overhead, In this paper, we present a software approach to implementing fault isolation within a sing ..."
Abstract

Cited by 777 (12 self)
 Add to MetaCart
One way to provide fault isolation among cooperating software modules is to place each in its own address space. However, for tightlycoupled modules, this solution incurs prohibitive context switch overhead, In this paper, we present a software approach to implementing fault isolation within a
A theory of timed automata
, 1999
"... Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see [23] for a survey). Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of ..."
Abstract

Cited by 2651 (32 self)
 Add to MetaCart
of realtime systems whose correctness depends on relative magnitudes of different delays. Consequently, timed automata [7] were introduced as a formal notation to model the behavior of realtime systems. Its definition provides a simple way to annotate statetransition graphs with timing constraints
Results 1  10
of
12,726