Filters








163,047 Hits in 1.8 sec

Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages

W. May
2001 Journal of Logic and Computation  
Deductive object-oriented frameworks integrate logic rules and inheritance.  ...  This construction is compared with a solution as implemented in the F-Logic system Florid which i s b a s e d on a combination of classical deductive xpoints and an inheritance-trigger mechanism.  ...  models of F-Logic programs are de ned, here we reformulate the de nition for nite computations:De nition 10 (Inheritance-Canonic Model) (Finite variant)For an F-Logic program P, a sequence M 0 M 1 : :  ... 
doi:10.1093/logcom/11.4.499 fatcat:cadwxzgaane23e7xev6qnq6dta

NETL and subsequent path-based inheritance theories

Richmond H. Thomason
1992 Computers and Mathematics with Applications  
This theory, in which paths through networks are analogous to proofs in logic, has become an active area of research in knowledge representation.  ...  David Touretzky's later work, completed in 1984 as a CMU dissertation, exhibits conceptual and computational problems in NETL, and a~idresses these by developing a theory of inheritance reasoning and associated  ...  For this reason, the logical work in the LINKUP project has concentrated on motivating inheritance definitions, proving foundational theories, exploring the space of reasonable inheritance theories, and  ... 
doi:10.1016/0898-1221(92)90140-d fatcat:grujl4aefbgi5j5ivr4esm2qse

Page 4771 of Mathematical Reviews Vol. , Issue 94h [page]

1994 Mathematical Reviews  
Summary: “Default logic is the most popular nonmonotonic for- malism.  ...  Subsequently, there have been a number of proposals for semantics of inheritance networks—done either through a translation into a general logical formalism, or by special path-based techniques.  ... 

Page 6223 of Mathematical Reviews Vol. , Issue 95j [page]

1995 Mathematical Reviews  
Contents: Introduction (Back- ground, Overview, Basic concepts); Theories of defeasible inheri- tance (Defeasible inheritability, Constructing extensions); Theories of mixed inheritance (Strict inheritability  ...  {For the entire collection see MR 95b:03002. } Xiang Li (PRC-GUIZ; Guiyang) 95j:68146 68T27 03B60 03B70 Horty, John F. (1-MD-Q; College Park, MD) Some direct theories of nonmonotonic inheritance.  ... 

Page 1595 of Mathematical Reviews Vol. , Issue 92c [page]

1992 Mathematical Reviews  
Sci. 82 (1991), no. 2 Logic Semantics Theory Program., 373-388.  ...  Summary: “We present a method for providing semantic inter- pretations for languages with a type system featuring inheritance polymorphism.  ... 

Human and Unhuman Commonsense Reasoning [chapter]

Michael J. Maher
2010 Lecture Notes in Computer Science  
We define here a defeasible logic FDL based on Ford's logic, and in doing so identify some similarities and differences between Ford's logic and existing defeasible logics.  ...  Ford has introduced a non-monotonic logic, System LS, inspired by an empirical study of human non-monotonic reasoning.  ...  Acknowledgments My thanks to Marilyn Ford for discussions and several drafts of her work developing the logic LS, and to Grigoris Antoniou, David Billington, and Guido Governatori for their collaboration  ... 
doi:10.1007/978-3-642-16242-8_3 fatcat:5rnr7tm7mbc5jpzuwq4457jfji

Forthcoming Papers

2001 Journal of Logic and Computation  
This construction is compared with the semantics for F-Logic (and implemented in the FLORID system) which is based on a combination of classical deductive fixpoints and an inheritance-trigger mechanism  ...  Deductive object-oriented frameworks integrate logic rules and inheritance.  ...  This theory generalizes the work by Goguen and Burstall, where specifications written in an arbitrary logical system (institution) are structured as combinations of theories.  ... 
doi:10.1093/logcom/11.3.497 fatcat:nwuzq56fcjetpokbb3tmxrs4pe

Page 3541 of Mathematical Reviews Vol. , Issue 2004e [page]

2004 Mathematical Reviews  
Symbolic Logic 65 (2000), no. 4, 1556-1575; MR 2001k:03029] I made use of a version of dynamic doxastic logic (DDL), roughly, a propositional logic containing a belief operator, dynamic operators for belief  ...  (English summary) Beyond two: theory and applications of multiple-valued logic, 181-192, Stud. Fuzziness Soft Comput., 114, Physica, Heidelberg, 2003.  ... 

Inheritance hierarchies in knowledge representation and programming languages

Tom Østerby
1992 Science of Computer Programming  
Horty (no. 2) describes a credulous theory for inheritance in defeasible and strict networks and proposes a credulous theory for networks with both strict and defeasible links. L.A.  ...  The inheritance is simple, mainly because it is relying on a tree-like hierarchy. P. Mello's paper, "Inheritance as Combination of Horn Clause Theories" (no. 17), is also extending logic programming.  ... 
doi:10.1016/0167-6423(92)90012-z fatcat:4ku7bh5qa5ejxdzggut4zkjwsi

Page 2964 of Mathematical Reviews Vol. , Issue 95e [page]

1995 Mathematical Reviews  
In this paper, we propose a survey of the different models of nonmonotonic inheritance sys- tems by means of default logic. A comparison between default theories and inheritance mechanisms is made.  ...  for the existence of extensions.” 95e:68197 68T27 03B60 03B70 Garlatti, Serge (F-ENST2-AI; Brest) Default logic models of certain inheritance systems with exceptions.  ... 

Nonmonotonic reasoning by monotonic inferences with priority constraints [chapter]

Xianchang Wang, Jia-Huai You, Li Yan Yuan
1997 Lecture Notes in Computer Science  
We thus present a formal system for representing common sense knowledge, and call it priority logic.  ...  As applications, we recast default reasoning by priority reasoning, and show that Horty's defeasible inheritance networks can be represented by priority logic.  ...  In each case, we show a transformation from a default theory or an inheritance network to a priority logic program.  ... 
doi:10.1007/bfb0023803 fatcat:n7au6btikjhcleg6idcbif56hi

Page 1766 of Mathematical Reviews Vol. , Issue 95c [page]

1995 Mathematical Reviews  
We introduce a notion of generalizations by an analogy, which makes it possible to construct rules necessary for domain theories.  ...  This re- sult is important, since it concerns the very essence of inheritance theory. (Both notions already give different results on simple net- works such as the so-called double diamond.)  ... 

SILO: INTEGRATING LOGIC IN OBJECTS FOR KNOWLEDGE REPRESENTATION AND REASONING

IOANNIS HATZILYGEROUDIS
1996 International journal on artificial intelligence tools  
There have been a large number of systems that integrate logic and objects (frames or classes) for knowledge representation and reasoning.  ...  A kind of many-sorted logic is used to express object internal knowledge. Message passing, alongside inheritance, plays a significant role in the reasoning process.  ...  Acknowledgements I would like to thank Han Reichgelt for useful discussions and Tony Cohn for some useful remarks on an earlier version of this work.  ... 
doi:10.1142/s0218213096000250 fatcat:n3thp7hfvvbkldmefhfguvrgmy

A conceptual space approach to semantic networks

Antti Hautamäki
1992 Computers and Mathematics with Applications  
In this way inheritance problems turn out to be logical inference problems, and they can be solved in sound proof theory. (z)p, are formulas.  ...  Such descriptions form a conceptual space, that is, an intensional space of concepts for which spatial inclusion corresponds to strict logical implication.  ...  ., they are theories in the logic of concepts.  ... 
doi:10.1016/0898-1221(92)90121-w fatcat:vmlv7fs5xzfobio2hwt7xeq7tm

Structure and Dynamics of Darwinian Evolutionary Theory

J. Tuomi
1981 Systematic Biology  
However, this logical conclusion has little value as a critical prediction for testing the theory of natural selection (Tuomi and Haukioja, 1979a) .  ...  Darwinian theory is a logically organized body * Anmerkung_vgo: Autor siehe http://cc.oulu.fi/~jtuomi/cv.htm of sub-theories.  ...  Stearns, and Paavo Voipio for critical comments, and Miss Terttu Laurikainen for drawing the figures. The work was supported by the Academy of Finland.  ... 
doi:10.1093/sysbio/30.1.22 fatcat:jdlyj2psurefvfhhxrbphik4u4
« Previous Showing results 1 — 15 out of 163,047 results