204 Hits in 3.3 sec

Reasoning with Axioms: Theory and Pratice [article]

Ian Horrocks, Stephan Tobies
2000 arXiv   pre-print
Reasoning with respect to an arbitrary set of axioms is hard, even for relatively inexpressive logics, and it is essential to deal with such axioms in an efficient manner if implemented systems are to  ...  When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse.  ...  To reason with this kind of TBox we must find a more efficient way to deal with axioms.  ... 
arXiv:cs/0005012v1 fatcat:lvorhlnddbfiddgrz6qybauare

Proof and Knowledge in Mathematics

Janet Folina, Michael Detlefsen
1996 The Philosophical Quarterly  
Imagine an ideal reasoner, beginning with a priori intuitions and proceeding by explanatory inference, déduction, and further intuition, without relying on science. Let us say (tendentiously!)  ...  -theories. At some point (usually ragher quickly) we reach an informal langage, a language to be used, not studied, and used without the benefit of more theory.  ... 
doi:10.2307/2956317 fatcat:6r7pzg7tdzhivdhcsftqytve7a

Different Methodologies in Treating Uncertainty

Areeg Abdalla
2019 Zenodo  
Uncertainty is unavoidable when dealing with data.  ...  However, for pratical reasons the non-standard unit interval is replaced by the unit interval [3] .  ...  In addition to the classical probability theory, uncertainty-based information is now very well understood in fuzzy set theory, possibility theory and others [9] .  ... 
doi:10.5281/zenodo.3050652 fatcat:u5unupjy2rfhfjponene6uuqdi

Page 220 of World Affairs Vol. 59, Issue 9 [page]

1897 World Affairs  
220 extinguished; the reason, which skilfully works out in practice the ideas of right in the way above indicated develops continually through advancing culture, and along with it also grows the sense  ...  It is, like an axiom, self- evident and also easy of application, as may be seen from the following examples in the field of public right.  ... 

Debugging OWL ontologies

Bijan Parsia, Evren Sirin, Aditya Kalyanpur
2005 Proceedings of the 14th international conference on World Wide Web - WWW '05  
Existing ontology development environments provide some limited support, in conjunction with a reasoner, for detecting and diagnosing errors in OWL ontologies.  ...  These cues, in conjunction with extensive undo/redo and Annotea based collaboration support in Swoop, significantly improve the OWL debugging experience, and point the way to more general improvements  ...  Most interesting subsets of OWL DL have proof theories, practical algorithms, and actual optimized implementations.  ... 
doi:10.1145/1060745.1060837 dblp:conf/www/ParsiaSK05 fatcat:mrpkdg65b5bxvnm2qaq5o7sxpq

Sheaves and prime model extensions

Marta Bunge
1981 Journal of Algebra  
The above observation lies at the basis of our transfer theorems, stated and proved in Section 1, along with some immediate applications.  ...  theory of the global sections of the sheaves in the representations.  ...  Because of Axiom (I), g*R E (9*, T). Let R -P S be an extension, with S E (9*, T). Then, by Axiom (C), B, *go B, is an extension, and B, E .3*.  ... 
doi:10.1016/0021-8693(81)90286-6 fatcat:vbdoiyqg7vclbfthjjz6y7qgvy

New results on rewrite-based satisfiability procedures

Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2009 ACM Transactions on Computational Logic  
Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting  ...  Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T.  ...  ACKNOWLEDGMENTS We thank Mnacho Echenim for several suggestions to improve preliminary versions of this article, and especially for helping us correcting the proofs of Section 3.2.  ... 
doi:10.1145/1459010.1459014 fatcat:q7ztkpc4lfbhzmkywvpk7fitoa

Expressiveness and the completeness of Hoare's logic

J.A. Bergstra, J.V. Tucker
1982 Journal of computer and system sciences (Print)  
for its Hoare logic to be complete, (2) complete number theory is the only extension of Peano Arithmetic which yields a logically complete Hoare logic and (3) a computable structure with enumeration is  ...  expressive if and only if its Hoare logic is complete.  ...  Assignment axiom scheme. For t E T(C) and x a variable of L, the asserted program And, in connection with 5: IP[t/x]Ix 6. Oracle axiom. Each member of Thm(T) is an axiom.  ... 
doi:10.1016/0022-0000(82)90013-7 fatcat:pnxlewbzszcddlstgrmsyaqh4a

Defeasible reasoning in Description Logics: an overview on DL^N [article]

Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2020 arXiv   pre-print
DL^N is a recent approach that extends description logics with defeasible reasoning capabilities.  ...  We also compare DL^N with some alternative nonmonotonic semantics, enlightening the relationships between the KLM postulates and DL^N.  ...  Conversely, in all DL fragments of pratical interest, DL N does not manifest a higher complexity with respect to the classical counterpart.  ... 
arXiv:2009.04978v2 fatcat:ppf7mbzloba6xlnnf4k6dh6bmy

The Use of Analogies in Geography*

Alan G. Wilson
2010 Geographical Analysis  
One simple reason can be put forward: a plethora of new methods have been employed in geography in relatively recent years and many of these have been based on analogies with other disci- plines, especially  ...  However, for the purposes of this paper, it is only neces- sary to set up working definitions which are in reasonable accord with our more intuitive understanding.  ... 
doi:10.1111/j.1538-4632.1969.tb00620.x fatcat:mbhu26wf2fdpbivyo52uxxxrm4

Some suggestions for a Theory of Legal concepts

1967 Philosophica  
It is well known indeed that many (quasi-) theories are developed in connection with a reasoning per analogiam.  ...  OPPENHEIM & SCHREIBER point to the discouraging number of axioms that the legal theory would contain.  ... 
doi:10.21825/philosophica.82782 fatcat:dhqiejpxxbcelbr6hdmxdqay6y

The kinematics of belief and desire

Richard Bradley
2007 Synthese  
The two are the brought together in the last section in a tentative model of pratical deliberation.  ...  Richard Je¤rey regarded the version of Bayesian decision theory he ‡oated in 'The Logic of Decision'and the idea of a probability kinematics -a generalisation of Bayesian conditioning to contexts in which  ...  A Note on Practical Reasoning A Paradox in Preference Theory?  ... 
doi:10.1007/s11229-006-9136-7 fatcat:23kbexqnnjfoxkgzuvygl2tpn4

Component-Based Synthesis of Dependable Embedded Software [chapter]

Arshad Jhumka, Martin Hiller, Neeraj Suri
2002 Lecture Notes in Computer Science  
Subsequently, we enhance the initial modular specification to deal with the wrapped components, and show that safety properties of the system are preserved under composition only if the wrappers are globally  ...  In this paper, we first present a modular specification approach using fault intolerant components, based on the concepts of category theory.  ...  In pratice, this means that hidden operations and hidden data domains are forgotten, i.e., not part of the export.  ... 
doi:10.1007/3-540-45739-9_9 fatcat:tmyasjwlyvcgxp4iqrpqkwvbjy

OWL-Full Reasoning from an Object Oriented Perspective [chapter]

Seiji Koide, Hideaki Takeda
2006 Lecture Notes in Computer Science  
In this paper, we explain the semantic gap between OWL and OOP languages, introduce the RDFS and OWL realization at SWCLOS, and discuss the OWL features from OOP perspectives.  ...  However it is very difficult in case of static OOP languages like Java and C#.  ...  the Ministry of Education, Culture, Sports, and Technology (MEXT).  ... 
doi:10.1007/11836025_27 fatcat:b3nfwt3u4bg65gc4bfdibzrjom

A Poetics of Simulation for Audiovisual Performance [article]

Randy Jones
2007 Computational Aesthetics in Graphics  
This approach to a systematic study, or poetics, of the medium is drawn from the study of successful works as well as from film theory and cognitive psychology.  ...  Recent audiovisual work by the author is discussed, and technical details are presented.  ...  Introduction The term "visual music" refers to a broad range of artistic pratices united by a common thread: that abstract moving imagery can have the dynamics and structure of musical sound.  ... 
doi:10.2312/compaesth/compaesth07/157-162 fatcat:lqpczgf4cjeu7jogudmsob4chi
« Previous Showing results 1 — 15 out of 204 results