Filters








2,938 Hits in 1.2 sec

Defeasible Modalities [article]

Katarina Britz, Ivan Varzinczak
2013 arXiv   pre-print
The resulting family of modal logics allow for the elegant expression of defeasible modalities.  ...  In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obligations and knowledge.  ...  Here we have investigated defeasible modalities in the system K.  ... 
arXiv:1310.6409v1 fatcat:xxbgo543njdftmyyy2322ga7pq

Conceivability and Defeasible Modal Justification

H. Geirsson
2005 Philosophical Studies  
Second, the justification is defeasible by additional evidence.  ...  Modal justification. van Inwagen's criticism of modal knowledge rests on the suggestion that modal judgment is imperfect and emphasizes that it is unreliable when it comes to philosophically interesting  ... 
doi:10.1007/s11098-005-6522-9 fatcat:po35zfoncrdvbebc7fq3lefmry

On Extending RuleML for Modal Defeasible Logic [chapter]

Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur
2008 Lecture Notes in Computer Science  
The paper presents an extension of RuleML to capture Modal Defeasible Logic.  ...  In this paper we present a general methodology to extend Defeasible Logic with modal operators.  ...  defeasibly provable.  ... 
doi:10.1007/978-3-540-88808-6_12 fatcat:b3bvqlloongu7np4bgwuvnlt3q

A system for modal and deontic defeasible reasoning

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
The main objective of this paper is to extend defeasible logic with modal and deontic operators, and to report on an implementation.  ...  As already stated, the aim of this paper is to propose modal and deontic extensions of defeasible logic, and to describe the basic characteristics of an implemented system.  ...  The next clauses define defeasible provability: a literal is defeasibly provable in a modality, either if it is strictly provable in the same modality, or if the literal, for this modality, is consistent  ... 
doi:10.1145/1363686.1364226 dblp:conf/sac/AntoniouDG08 fatcat:fdu6v2dkrfd5xie7kgoytvzesa

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2008 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology  
Modal logic deals with necessity and possibility, exhibiting defeasibility; thus, it is possible to combine defeasible logic with modal operators.  ...  This paper reports on the extension of the DR-DEVICE defeasible reasoner with modal and deontic logic operators.  ...  Thus, such a conclusion can have one of four forms: " ±" X q: q is (not) definitely provable in modality X. " ±! X q: q is (not) defeasibly provable in modality X.  ... 
doi:10.1109/wiiat.2008.164 dblp:conf/iat/KontopoulosBGA08 fatcat:dlpeeo36e5hldaue5r57pozhmu

Evidential Modals at the Semantic-Argumentative Interface: Appearance Verbs as Indicators of Defeasible Argumentation

Elena Musi
2014 Informal Logic  
This contribution aims at providing an argumentative method to account for epistemic modality and evidentiality.  ...  I claim that these two linguistic categories can work as semantic components of defeasible argumentative schemes based on classification processes.  ...  The B Dox argument, which reveals the modal nature of apparire, can be traced back to Kratzer's (1981) Relative Modality 6 following which, modals are relational predicates whose components are prejacent  ... 
doi:10.22329/il.v34i4.4107 fatcat:5wnkgcfrxzhw5lqw6eyh4sifka

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2011 International Journal on Semantic Web and Information Systems (IJSWIS)  
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, while modal logic deals with the concepts of necessity and possibility.  ...  Defeasible and modal logics, in general, and, particularly, deontic logic can assist by providing means for modeling agent communities, where each agent is characterized by its own cognitive profile and  ...  D. • + ¶ X q: q is defeasibly provable in modality X in the defeasible theory D. • - ¶ X q: q is not defeasibly provable in modality X in the defeasible theory D.  ... 
doi:10.4018/jswis.2011010102 fatcat:ec7a23vkqvfq5mlh4hiranmi2e

A System for Modal and Deontic Defeasible Reasoning [chapter]

Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
AI 2007: Advances in Artificial Intelligence  
The main objective of this paper is to extend defeasible logic with modal and deontic operators, and to report on an implementation.  ...  As already stated, the aim of this paper is to propose modal and deontic extensions of defeasible logic, and to describe the basic characteristics of an implemented system.  ...  The next clauses define defeasible provability: a literal is defeasibly provable in a modality, either if it is strictly provable in the same modality, or if the literal, for this modality, is consistent  ... 
doi:10.1007/978-3-540-76928-6_62 dblp:conf/ausai/AntoniouDG07 fatcat:eds26op5jbgtdh4iaqcs73sdni

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web [chapter]

Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
Semantic Web  
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, while modal logic deals with the concepts of necessity and possibility.  ...  Defeasible and modal logics, in general, and, particularly, deontic logic can assist by providing means for modeling agent communities, where each agent is characterized by its own cognitive profile and  ...  D. • + ¶ X q: q is defeasibly provable in modality X in the defeasible theory D. • - ¶ X q: q is not defeasibly provable in modality X in the defeasible theory D.  ... 
doi:10.4018/978-1-4666-3610-1.ch007 fatcat:odsx6kk54jcfxp5s562whhd7oe

DOTTORATO DI RICERCA IN INFORMATICA GIURIDICA E DIRITTO DELL'INFORMATICA INTERACTIONS BETWEEN NORMATIVE SYSTEMS AND SOFTWARE COGNITIVE AGENTS. A FORMALIZATION IN TEMPORAL MODAL DEFEASIBLE LOGIC

Ciclo Xx, Coordinatore Tutor, Chiar Mo, Pattaro Enrico, Chiar, Monica Ma, Chiar Palmirani, Antonino Mo, Rotolo
unpublished
Temporal modal defeasible logic Temporal modal defeasible logic extends modal defeasible logic with time.  ...  Logic formalization Logic formalization Logic formalization Defeasible logic Defeasible logic Defeasible logic Defeasible logic Modal defeasible logic Modal defeasible  ... 
fatcat:rwpgja7y4za2zn7pnd4wh74qbu

The Making of SPINdle [chapter]

Ho-Pun Lam, Guido Governatori
2009 Lecture Notes in Computer Science  
The implementation covers both the standard and modal extensions to defeasible logics.  ...  We present the design and implementation of SPINdle -an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic theories (including theories  ...  logic and modal defeasible logic.  ... 
doi:10.1007/978-3-642-04985-9_29 fatcat:c5lms2sjuveg5m6jsgrrmdj3ii

Possible World Semantics for Defeasible Deontic Logic [chapter]

Guido Governatori, Antonino Rotolo, Erica Calardo
2012 Lecture Notes in Computer Science  
(Defeasible Multi-modal Logic), based on DL, which covers all existing variants of Defeasible Deontic Logic.  ...  Defeasible Deontic Logic is a family of logics that extend DL by adding deontic and other modal operators.  ...  Defeasible Multi-modal Logic In this section we present a general multi-modal logical framework, called Defeasible Multi-modal Logic, which covers all existing variants of Defeasible Deontic Logic.  ... 
doi:10.1007/978-3-642-31570-1_4 fatcat:eixxckbqtngkxhqshc3gwkjewu

Preferential Reasoning for Modal Logics

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2011 Electronical Notes in Theoretical Computer Science  
Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence.  ...  In this paper we fill this gap by providing a natural and intuitive semantics for preferential and rational modal consequence.  ...  Definition 3.8 A modal defeasible knowledge base K |∼ is a finite set of statements α |∼ β, where α, β ∈ L.  ... 
doi:10.1016/j.entcs.2011.10.006 fatcat:4bhmdz76ufa7rh7dho3zlpm3uq

Normal Modal Preferential Consequence [chapter]

Katarina Britz, Thomas Meyer, Ivan Varzinczak
2012 Lecture Notes in Computer Science  
In recent work we provided the semantic foundation for extending defeasible consequence relations to modal logics and description logics.  ...  In this paper we continue that line of investigation by going beyond the basic (propositional) KLM postulates, thereby making use of the additional expressivity provided by modal logic.  ...  framework for modal defeasible reasoning.  ... 
doi:10.1007/978-3-642-35101-3_43 fatcat:gzjwcuhxmze67oqvpuhncvwdku

Defeasible Logic: Agency, Intention and Obligation [chapter]

Guido Governatori, Antonino Rotolo
2004 Lecture Notes in Computer Science  
Our claim is to We develop a constructive account of BDI multi-modal logics where the rules are meant to devise suitable logical conditions for introducing modalities.  ...  In particular, it is developed in the setting of Defeasible Logic. All components are represented as defeasible conditionals.  ...  The conditions under which a rule can be converted are that all impersonal literals are (defeasibly) provable in K and all personal literals are (defeasibly) provable in the modalities required by the  ... 
doi:10.1007/978-3-540-25927-5_8 fatcat:jgpm4ugtj5djnkoe42tv5fc5oi
« Previous Showing results 1 — 15 out of 2,938 results