http://biblioteca.universia.net/vernivel.do?start=140&nivel=11 Mostrando recursos 141 - 160 de 88,631 es http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ http://biblioteca.universia.net/ficha.do?id=47221089 This paper describes an extension of WAM instruction set for a logic programming language called LLP which is based on intuitionisic linear logic. LLP includes additive and multiplicative conjunction, linear implication in a goal, exponential (!) for atomic resource formula, and the constant 1. The extension of WAM is mainly for efficient resource management: especially for resource look-up and deletion. In our design, only one table is maintained to keep resources during the execution... Yukio Kaneda; Naoyuki Tamura; Naoyuki Tamura http://biblioteca.universia.net/ficha.do?id=38555168 En: Frontiers of Paraconsistent Logic ed. por D. Batens, Ch. Mortensen, G. Priest & J.-P. van Bendegem Baldford (England): Research Studies Press Ltd. (RSP) [Logic and Computation Series], 2000. ISBN 086302532, pp. 29-47 Peña, Lorenzo; Ausín, Txetxu http://biblioteca.universia.net/ficha.do?id=17543836 Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que “um... Luiz Henrique da Cruz Silvestrini http://biblioteca.universia.net/ficha.do?id=41895913 Many different "and"- and "or"-operations have been proposed for use in fuzzy logic; ; see, e.g., [4], [13]. It is therefore important to select, for each particular application, the operations which are the best for this particular application. Several papers discuss the optimal choice of "and"- and "or"-operations for fuzzy control, when the main criterion is to get the stablest control (or the smoothest or the most robust or the fastest-tocompute) . In reasoning applications, however, it i... http://biblioteca.universia.net/ficha.do?id=48033778 In this note we present a method for the calculational derivation of logic programs, employing techniques recently developed for the derivation of functional programs. It has been proposed [10] that the process of synthesizing logic programs should begin with a specification that is itself a (possibly inefficient) logic program; subsequently transformations A. Bijlsma http://biblioteca.universia.net/ficha.do?id=47191192 editor Neutrosophic Logic; Neutrosophic Set; Neutrosophic Probability http://biblioteca.universia.net/ficha.do?id=46318116 Game Logic (GL), introduced in [18], is examined from a game-theoretic perspective. A new semantics for GL is proposed in terms of untyped games which are closely related to extensive game forms of perfect information. An example is given of how GL can be used as a formal model of game situations, and some metatheoretic results are presented in the context of their game-theoretic relevance. 2000 Mathematics Subject Classification: 03B99, 91A10, 91A40 1998 ACM Computing Classification Sys... M. Pauly; Marc Pauly http://biblioteca.universia.net/ficha.do?id=46475502 | Research in non-monotonic reasoning has focused largely on the idea of representing knowledge about the world via rules that are generally true but can be defeated. Even if relational databases are nowadays the main tool for storing very large sets of data, the approach of using non-monotonic AI formalisms as relational database query languages has been investigated to a much smaller extent. In this work we propose a novel application of Reiter's default logic by introducing a default ... Marco Cadoli; Thomas Eiter; Georg Gottlob http://biblioteca.universia.net/ficha.do?id=47456952 An important field of probability logic is the investigation of inference rules that propagate point probabilities or, more generally, interval probabilities from premises to conclusions. Conditional probability logic (CPL) interprets the common sense expressions of the form “if..., then... ” by conditional probabilities and not by the probability of the material implication. An inference rule is probabilistically informative if the coherent probability interval of its conclusion is not neces... Niki Pfeifer; Gernot D. Kleiter http://biblioteca.universia.net/ficha.do?id=47457491 Default logic can be regarded as a mechanism to represent families of belief sets of a reasoning agent. As such, it is inherently second-order. In this paper, we study the problem of representability of a family of theories as the set of extensions of a default theory. We give a complete solution to the representability by means of normal default theories. We obtain partial results on representability by arbitrary default theories. In particular, we construct examples of denumerable families ... V. Wiktor; Marek Jan Treur http://biblioteca.universia.net/ficha.do?id=979935 We show that, if a suitable intuitionistic metatheory proves that consistency implies satisfiability for subfinite sets of propositional formulas relative either to standard structures or to Kripke models, then that metatheory also proves every negative instance of every classical propositional tautology. Since reasonable intuitionistic set theories such as HAS or IZF do not demonstrate all such negative instances, these theories cannot prove completeness for intuitionistic propositional logi... McCarty, D. C. http://biblioteca.universia.net/ficha.do?id=46160961 Abstract # We introduce a new paradigm for the integration of functional and logic programming. Unlike most current research,our approach is not based on extending unification to general-purpose equation solving. Rather, we propose a computation delaying mechanism called residuation. This allows a clear distinction between functional evaluation andlogical deduction. The former is based on the *-calculus, and the latter on Horn clause resolution. In clear contrastwith equation-solving approach... Patrick Lincoln; Roger Nasr http://biblioteca.universia.net/ficha.do?id=46234005 We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for them via any selection rule. We o#er a declarative characterization of the class of programs and queries that have bounded nondeterminism by defining bounded programs and queries. The characterization is provided in terms of Herbrand interpretations and level mappings, in the style of existing characterizations of ... Dino Pedreschi; Salvatore Ruggieri http://biblioteca.universia.net/ficha.do?id=47166153 Abstract: The purpose of this work is to define a theorem prover that retains the procedural aspects of logic programing. The proof system we propose (SLWV 1 resolution) is defined for a set of clauses in the implicational form (keeping to the form of logic programs), not requiring contrapositives, and has an execution method that respects the execution order of literals in a clause, preserving the procedural flavor of logic programming. SLWV resolution can be seen as a combination of SL-reso... Luis Moniz Pereira; Luis Caires; José Alferes; Ai Centre Uninova http://biblioteca.universia.net/ficha.do?id=42355150 Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics. Specifically, we reveal a close relationship between mutual defeasibility and uniqueness of the answer set for a prioritized logic program. We then expl... Zhang, Yan, 1962- http://biblioteca.universia.net/ficha.do?id=46749518 Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics. Specifically, we reveal a close relationship between mutual defeasibility and uniqueness of the answer set for a prioritized logic program. We then expl... Zhang, Yan, 1962- http://biblioteca.universia.net/ficha.do?id=41878186 We introduce a new logic for nite rst-order structures with a linear odering. We study its expressive power. In particular we show that it is strictly stronger than rst-order logic on nite structures. We close with a list of open problems. 1 Peter H. Schmitt http://biblioteca.universia.net/ficha.do?id=622056 Discorremos sobre a teoria da lógica mental como hoje se apresenta, as controvérsias oriundas dos estudos que utilizam a Tabela de Verdade da Lógica Padrão e os estudos empíricos com crianças e adultos que dão suporte à lógica proposicional e à lógica predicativa. Dias,Maria da Graça Bompastor Borges; Roazzi,Antonio http://biblioteca.universia.net/ficha.do?id=46317498 We set up a framework for the study of extensionality in the context of higher-order logic programming. For simply typed logic programs we propose a novel declarative semantics, consisting of a model class with a semicomputable initial model, and a notion of extensionality. We show that the initial model of a simply typed logic program, in case the program is extensional, collapses into a simple, set-theoretic representation. Given the undecidability of extensionality in general, we develop a... Marc A. Bezem; Marc Bezem http://biblioteca.universia.net/ficha.do?id=47460410 There are several ways to extend the classical logical connectives for fuzzy truth degrees, in such a way that their behavior for the values 0 and 1 work exactly as in the classical one. For each extension of logical connectives the formulas which are always true (the tautologies) changes. In this paper we will provide a fuzzy interpretation for the usual connectives (conjunction, disjunction, negation, implication and bi-implication) such that the set of tautologies is exactly the set of cla... Benjamín René; Callejas Bedregal; Anderson Paiva Cruz