http://biblioteca.universia.net/vernivel.do?start=60&nivel=11 Mostrando recursos 61 - 80 de 88,631 es http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ http://biblioteca.universia.net/ficha.do?id=41865278 This paper is not intended to undermine this theoretical and applied work. It aims merely to illustrate some problems with the informal intuitions that purport to explain and justify the formal theory of EL. In particular, this paper criticises the view that we should think of events as situations (episodes) which can be completely characterised by natural language sentences. I argue that: (1) there are no genuine natural language examples which require it; (2) it results in a loss of express... Lenhart K. Schubert's,Chris Fox,Episodic Logic (el http://biblioteca.universia.net/ficha.do?id=47819684 s depending on the characteristics of the language. A program in this setting is simply a collection of propositions that, through their form, will lead the proof search engine down a particular path, thereby achieving a particular computation. In order to make this both feasible from the point of view of an implementation and predictable to the programmer, we need to full linear logic. We would like to emphasize that even on this fragment (called LHHF for Linear Hereditary Harrop Formulas), ... Linear Logic Programming http://biblioteca.universia.net/ficha.do?id=45647925 oofs depending on the characteristics of the language. A program in this setting is simply a collection of propositions that, through their form, will lead the proof search engine down a particular path, thereby achieving a particular computation. In order to make this both feasible from the point of view of an implementation and predictable to the programmer, we need to full linear logic. We would like to emphasize that even on this fragment (called LHHF for Linear Hereditary Harrop Formulas... Linear Logic Programming http://biblioteca.universia.net/ficha.do?id=47219218 A logic LP # for reasoning about change is presented. The logic, an extension of the logic of predicates with equalitu, is based on the idea that explicit substitutions can be seen as atomic formulae describing basic change of the state of a system. The logic is substructural: non-monotone and non-commutative. Its Platonic, i.e., predicate part is governed by the additive connectives, while the identity substitution and the composition of substitutions are multiplicative truth and conj... Non-Monotone Logic For; Marek A. Bednarczyk http://biblioteca.universia.net/ficha.do?id=35524601 Ejercicio para practicar los conceptos de lógica (Tema 2: Conceptos Genéricos) sobre una hoja de cálculo (por ejemplo, Excel). Saiz Noeda, Maximiliano http://biblioteca.universia.net/ficha.do?id=35524601 Ejercicio para practicar los conceptos de lógica (Tema 2: Conceptos Genéricos) sobre una hoja de cálculo (por ejemplo, Excel). Saiz Noeda, Maximiliano http://biblioteca.universia.net/ficha.do?id=46245160 Many different "and"- and "or"-operations have been proposed for use in fuzzy logic; 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 fastestto -compute). In reasoning applica... Pratit Santiprabhob Hung; Witold Pedrycz; Vladik Kreinovich http://biblioteca.universia.net/ficha.do?id=46575591 In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in their bodies but also in their heads.We start by introducing the notion of an update P \Phi U of a logic program P by another logic program U . Subsequently, we provide a precise semantic characterization of P \Phi U , and study some basic properties of program updates. In particular, we sh... J. J. Alferes; Dep Matem#tica; J. A. Leite; L. M. Pereira; H. Przymusinska and T. C. Przymusinski; T. C. Przymusinski http://biblioteca.universia.net/ficha.do?id=46575894 In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not only in their bodies but also in their heads. We start by introducing the notion of an update P \Phi U of a logic program P by another logic program U . Subsequently, we provide a precise semantic characterization of P \PhiU , and study some basic properties of program updates. In particular, we sh... J. J. Alferes; J. A. Leite; L. M. Pereira; H. Przymusinska and T. C. Przymusinski; T. C. Przymusinski http://biblioteca.universia.net/ficha.do?id=45687710 Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system “à la Hilbert”. We present in this paper a combinatory logic which corresponds to propositional classical logic. This system is equivalent to the system of Barbanera and Berardi. λ Sym ... Karim Nour http://biblioteca.universia.net/ficha.do?id=47995099 Ejercicio para practicar los conceptos de lógica (Tema 2: Conceptos Genéricos) de la asignatura Técnicas Informáticas de la Diplomatura en Gestión y Administración Pública de la Universidad de Alicante. Saiz Noeda, Maximiliano http://biblioteca.universia.net/ficha.do?id=570319 We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive logic frame is called recursively (countably) compact, if every recursive (respectively, countable) finitely consistent theory has a model. We show that for logic frames built from the cardinality quantifiers ''there exists at least lambda'' recursive compactn... Shelah, Saharon; Väänänen, Jouko http://biblioteca.universia.net/ficha.do?id=46854885 Clocked temporal logic programming(CTLP) is an extension of logic programming based on a clocked temporal logic(CTL). In CTL, predicates are associated with local clocks. Local clocks can be used to model multiple granularity of time, thus the resulting temporal logic programming language, called Chronolog(MC), has a stronger modeling power. This paper discusses the logical basis of the language and outlines its operational semantics. Also, a parallel execution model for Chronolog(MC) program... Chuchang Liu; Mehmet A. Orgun http://biblioteca.universia.net/ficha.do?id=47820435 We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explicit declarations of program properties. Logic Programs Yasuhiro; Yasuhiro Ajiro; Kazunori Ueda http://biblioteca.universia.net/ficha.do?id=41604665 . We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their specifications. We illustrate this using Paulson's Isabelle system to derive and use a simple synthesis calculus based on equivalence preserving trans... David A. Basin http://biblioteca.universia.net/ficha.do?id=46366026 Th'erien and Wilke characterized the Until hierarchy of linear temporal logic in terms of aperiodic monoids. Here, a temporal operator able to count modulo q is introduced. Temporal logic augmented with such operators is found decidable as it is shown to express precisely the solvable regular languages. Natural hierarchies are shown to arise when modular and conventional operators are interleaved. Modular operators are then cast as special cases of more general "group" temporal... Augustin Baziramwabo; Pierre Mckenzie; Denis Thérien http://biblioteca.universia.net/ficha.do?id=46268903 Signed Interval Logic (SIL) is an extension of Interval Temporal Logic (ITL) with the introduction of the notion of a direction of an interval. We develop syntax, semantics, and proof system of SIL, and show that this proof system is sound and complete. The proof system of SIL is not more complicated than that of ITL but SIL is (contrary to ITL) capable of specifying liveness properties. Other interval logics capable of this (such as Neighbourhood Logic) have more complicated proof systems. W... Thomas Marthedal Rasmussen http://biblioteca.universia.net/ficha.do?id=47201427 Webeginwithareviewofordered linear logic (OLL) 1, a refinement of linear logic with an inherent notion of order proposed by the authors in prior work. We then develop a logic programming interpretation for OLL in two steps: (1) we give a system of ordered uniform derivations which is sound and complete with respect to OLL, and (2) we present a model of resource consumption which removes non-determinism from ordered resource allocation during search for uniform derivations. We also illustrate ... Frank Pfenning; Jeff Polakow; Jeff Polakow http://biblioteca.universia.net/ficha.do?id=37476034 We show the faithful embedding of common knowledge logic CKL into game logic GL, that is, CKL is embedded into GL and GL is a conservative extension of the fragment obtained by this embedding. Then many results in GL are available in CKL, and vice versa. For example, an epistemic consideration of Nash equilibrium for a game with pure strategies in GL is carried over to CKL. Another important application is to obtain a Gentzen-style sequent calculus formulation of CKL and its cut-elimination. ... Kaneko, Mamoru http://biblioteca.universia.net/ficha.do?id=47269904 Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical evidence of the quantum world. We give a brief outline of quantum logic, and some of its algebraic properties, such as nondistributivity, whereby emphasis is given to concrete experimental setups related to quantum logical entities. A probability theory based ... Karl Svozil