Filters








1,505 Hits in 2.7 sec

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

1994 Mathematical Reviews  
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.  ...  inheritance.  ... 

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract)

Loris Bozzato, Thomas Eiter, Luciano Serafini
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
In many practical cases, it is desirable that inherited global knowledge can be "overridden" at the local level.  ...  In order to address this need, we present an extension of CKR with global defeasible axioms: these axioms locally apply to (tuples of) individuals unless an exception for overriding exists; such an exception  ...  In inheritance logic programs the idea is that special rules recognize exceptional facts at the local level and others propagate global facts only if they are not proved to be overridden at the local level  ... 
doi:10.24963/ijcai.2018/786 dblp:conf/ijcai/BozzatoES18 fatcat:orzgovzmtzf4pprqk3q4kvg77e

A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web [chapter]

Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis Vlahavas
2005 Lecture Notes in Computer Science  
In this paper we present a graphical authoring tool for defeasible logic rules that acts as a shell for the DR-DEVICE defeasible reasoning system over RDF metadata.  ...  The tool helps users to develop a rule base using the OO-RuleML syntax of DR-DEVICE rules, by constraining the allowed vocabulary through analysis of the input RDF namespaces, so that the user does not  ...  The atom element has a special treatment because it can be either negated or not.  ... 
doi:10.1007/11573036_38 fatcat:eoqqak6lbrcxlkecqlbca3rnve

A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web [chapter]

Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou
2005 Lecture Notes in Computer Science  
VDR-Device integrates in a user-friendly graphical shell, a visual RuleML-compliant rule editor that constrains the allowed vocabulary through analysis of the input RDF ontologies and a defeasible reasoning  ...  However, the RuleML syntax of defeasible logic may appear too complex for many users.  ...  Some components that also need "special treatment" are the rule IDs, each of which uniquely represents a rule within the rule base.  ... 
doi:10.1007/11580072_14 fatcat:fue2sdumhze75ggy5pyeymrsfe

Defeasible inheritance with doubt index and its axiomatic characterization

Erik Sandewall
2010 Artificial Intelligence  
This article introduces and uses a representation of defeasible inheritance networks where links in the network are viewed as propositions, and where defeasible links are tagged with a quantitative indication  ...  Traditional concepts, assumptions and issues in research on nonmonotonic or defeasible inheritance are reviewed in the perspective of this approach.  ...  RE and through CE using Axiom 7:1.  ... 
doi:10.1016/j.artint.2010.09.001 fatcat:57pwhhzemfdk5c4ehptezcvgru

Edited transcription of the workshop on defeasible reasoning with specificity and multiple inheritance St. Louis, April 1989

Jennie Dorosh, Ronald P. Loui
1990 ACM SIGART Bulletin  
What about inheritance? I do not know what I think now but I did think that the property inheritance or subclass-superclass inheritance was a simple but special case of defeasible reasoning.  ...  Bacchus: If you have a strict link and then a defeasible link, you can go through any chain as long as you only have one defeasible link. The place of the defeasible link doesn't matter.  ... 
doi:10.1145/122388.122389 fatcat:xqpkc37n75biheym7vydc6w5zi

Ontological commitments in FunGramKB

Carlos Periñán-Pascual, Francisco Arcas-Túnez
2010 Revista de Procesamiento de Lenguaje Natural (SEPLN)  
A sample of complex multiple inheritance. DGI, Spanish Ministry of Education and Science, grant FFI2008-05035-C02-01/FILO. The research has been cofinanced through FEDER funds.  ...  There are usually three types of rules in a defeasible theory: strict rules, defeasible rules and defeaters.  ... 
dblp:journals/pdln/Perinan-PascualA10 fatcat:phxoqmkgynhhje7gourfzj3cyu

Nonmonotonic reasoning by monotonic inferences with priority constraints [chapter]

Xianchang Wang, Jia-Huai You, Li Yan Yuan
1997 Lecture Notes in Computer Science  
As applications, we recast default reasoning by priority reasoning, and show that Horty's defeasible inheritance networks can be represented by priority logic.  ...  Nonmonotonic Inheritance Networks In this section we show that Horty's defeasible inheritance networks 15] can be expressed as priority logic programs. A defeasible inheritance network ?  ...  The credulous semantics of a consistent defeasible inheritance network ? is regarded as a path set of ?, , in which every path is regarded as a defeasible inheritance path.  ... 
doi:10.1007/bfb0023803 fatcat:n7au6btikjhcleg6idcbif56hi

Compiling defeasible inheritance networks to general logic programs

Jia-Huai You, Xianchang Wang, Li Yan Yuan
1999 Artificial Intelligence  
We present a method of compiling arbitrary defeasible (inheritance) networks to general logic programs.  ...  inheritance. : S 0 0 0 4 -3 7 0 2 ( 9 9 ) 0 0 0 5 5 -7 248 J.  ...  Definition 2.3 (Defeasible inheritability).  ... 
doi:10.1016/s0004-3702(99)00055-7 fatcat:ty7jlqii3vd2nh2ecvmmrp4txi

Skepticism and floating conclusions [chapter]

John F. Horty
2012 Reasons as Defaults  
Most of what we know, we know through sources of information that are, in fact, defeasible.  ...  The point is not that floating conclusions might be wrong; any conclusion drawn through defeasible reasoning might be wrong.  ... 
doi:10.1093/acprof:oso/9780199744077.003.0007 fatcat:2vz7fbncubbura3qfqdx7ed3sq

Skepticism and floating conclusions

John F. Horty
2002 Artificial Intelligence  
Most of what we know, we know through sources of information that are, in fact, defeasible.  ...  The point is not that floating conclusions might be wrong; any conclusion drawn through defeasible reasoning might be wrong.  ... 
doi:10.1016/s0004-3702(01)00160-6 fatcat:vnp3tmkttzas3k7zyzbeo7ensi

Deploying defeasible logic rule bases for the semantic web

Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou
2008 Data & Knowledge Engineering  
Default Inheritance in Ontologies Default inheritance is a well-known feature of certain knowledge representation formalisms.  ...  Grosof and Poon present some ideas for possible applications of default inheritance in ontologies [32] .  ...  The user can access the results through a web browser or through specialized software that can customize the visualization.  ... 
doi:10.1016/j.datak.2008.02.005 fatcat:kybovim7vbdqjpaszql7oqkghu

Defeasible Logics [chapter]

P. Geerts, E. Laenens, D. Vermeir
1998 Reasoning with Actual and Potential Contradictions  
Default rules in these systems involve a special condition for application, which is explained in the proof theory.  ...  However, some of the weaknesses of system Z are inherited, among which the inability to sanction inheritance across exceptional subclasses.  ... 
doi:10.1007/978-94-017-1739-7_6 fatcat:ja3dekdbcfg57gzvtlvazdzy4q

A Context-Based Institutional Normative Environment [chapter]

Henrique Lopes Cardoso, Eugénio Oliveira
2009 Lecture Notes in Computer Science  
A suitable semantics regarding the use of norms within a hierarchical context structure is given, based on norm activation conflict and defeasibility.  ...  We address the inheritance of norms and provide a means to override norm activations based on their defeasibility.  ...  A question that may arise when going through the previous definitions can jeopardize the purpose of having defeasible norms as those in the model presented.  ... 
doi:10.1007/978-3-642-00443-8_10 fatcat:xeoxo6gnvjf4ffcmnlkxwhdmfa

Dyadic Deontic Logic and Contrary-to-Duty Obligations [chapter]

Henry Prakken, Marek Sergot
1997 Defeasible Deontic Logic  
A7 and A8 are special cases of 'downward inheritance'. A7 is equivalent to the scheme Oy A above, valid in all models. Since y ! ' % w y ! d y !  ...  The point is that they are conditional in a special sense.  ... 
doi:10.1007/978-94-015-8851-5_10 fatcat:hhr2ryvlfnd7vbo562q3sxnhmm
« Previous Showing results 1 — 15 out of 1,505 results