423 Hits in 1.5 sec

Page 2531 of Mathematical Reviews Vol. , Issue 84g [page]

1984 Mathematical Reviews  
The author obtains a complete description of all intermediate logics which can be axiomatized by means of implicationless formulas (added to the axioms of intuitionistic propositional calculus).  ...  A set N of rules is said to be definitory if it is both separated (each logical operator occurs in at least one rule in N but no rule in N mentions more than one logical operator) and atomic-based with  ... 

Chapter 3 Description Logics [chapter]

Franz Baader, Ian Horrocks, Ulrike Sattler
2008 Foundations of Artificial Intelligence  
After reviewing some of the most prominent applications of description logics, in particular ontology language applications, we will conclude with an overview of other aspects of description logic research  ...  In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an application domain in a  ...  Description Logics . Description Logics  ... 
doi:10.1016/s1574-6526(07)03003-9 fatcat:wa2lwv7ywrhvpnk3emfqv2pgyu

Characterization of Quantum States in Predicative Logic

Giulia Battilotti
2011 International Journal of Theoretical Physics  
We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations  ...  We introduce the notion of random first order domain and find a characterization of pure states in predicative logic and mixed states in propositional logic, due to a focusing condition.  ...  It could represent a completion of the idea of quantum superposition.  ... 
doi:10.1007/s10773-011-0899-3 fatcat:jscvlozubnh5touyigjyta7epq

Interpreting Quantum Parallelism by Sequents

Giulia Battilotti
2009 International Journal of Theoretical Physics  
Our aim is to represent quantum parallelism in terms of logical proofs.  ...  We introduce an interpretation of quantum superposition in predicative sequent calculus, in the framework of basic logic. Then we introduce a new predicative connective for the entanglement.  ...  For the solution of the definitory equations we refer to basic logic.  ... 
doi:10.1007/s10773-009-0099-6 fatcat:66raox43mrbdhi3ppwrfk6ewxy

A Predicative Characterization of Quantum States and Matte Blanco's Bi-logic [chapter]

G. Battilotti
2014 Lecture Notes in Computer Science  
Matte Blanco in order to describe the logic of the unconscious.  ...  We show a correspondence between a predicative characterization of quantum states, we have recently introduced, and bi-logic, a logical setting proposed by the Chilean psychoanalist I.  ...  The proposal of Matte Blanco is performed in a completely descriptive, not formalized way, since it comes out as a synthesis of the logical common traits he had been observing for thirty years in his clinical  ... 
doi:10.1007/978-3-642-54943-4_16 fatcat:mm6lozvgvbfghk3eoxnn7mkiv4

Towards Distributed Ontology Reasoning for the Web

Anne Schlicht, Heiner Stuckenschmidt
2008 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology  
The use of description logics as one of the primary logical languages for knowledge representation on the Web has created new challenges with respect to reasoning in these logics.  ...  The method is complete for first order logic, terminates for ALC ontologies and avoids duplication of axioms and inferences.  ...  Introduction Currently, almost all the work on description logic reasoning still assumes a centralized approach where the complete terminology has to be present on a single system and all inference steps  ... 
doi:10.1109/wiiat.2008.396 dblp:conf/webi/SchlichtS08a fatcat:dcffpwnlnrf6bfzk3e6erhc7lm

Strategies of inquiry

Emmanuel J. Genot
2017 Synthese  
Thus, in spite of their disagreement on the 'logic of justification' (deductive logic for Popper, probabilistic for Reichenbach), they agreed that there could be no 'logic of discovery'.  ...  It is argued that the latter better supports the claim that the imi provides a 'logic of discovery', and safeguards its empirical adequacy.  ...  Appendix: Formal proofs Deductive completeness theorem Proof [⇒] Assume that S : Γ C.  ... 
doi:10.1007/s11229-017-1319-x fatcat:5gddjy55njc4hcmryup6hbxdtu

Semiotic impacts of the supreme court's Mayo/Biosig/Alice decisions on legally analyzing emerging technology claimed inventions (ET CIs)

Sigram Schindler
2015 2015 SAI Intelligent Systems Conference (IntelliSys)  
The Supreme Court thus required that, in legally analyzing an ET CI, it is necessary to become aware of the definitorial peculiarities coming along with them.  ...  from an Advanced IT [4] point of view Semiotic_Impacts_on_SPL_Precedents_V.8 p. 2 of 12 properties of being a "natural phenomenon", an "abstract idea", and "preemptive"confirmed in Alice by a detailed description  ...  These are a fundamental theorem -summarizing how much this process has increased the refined legal understanding of ET CIs -and 14 definitions of (almost completely) new legal meanings in mathematical  ... 
doi:10.1109/intellisys.2015.7361254 fatcat:ajndgme5irawphaycx4qmgk6yu

Description Logics for Ontologies [chapter]

Ulrike Sattler
2003 Lecture Notes in Computer Science  
After a brief introduction to ontologies, we introduce the basic description logic ALC and describe how DLs can be used as ontology languages.  ...  Im Appendix B ist der Beitrag der Autorin an gemeinschaftlichen Arbeiten beschrieben. i ii Contents Abstract v A References 41 iii iv Abstract Description Logics (DLs) are a family of knowledge representation  ...  Some DLs only allow for the definitorial part and possibly require this part to be free of "definitorial cycles".  ... 
doi:10.1007/978-3-540-45091-7_7 fatcat:k6yz5bk5zveffiorjohakrqfay

Formal representation of complex SNOMED CT expressions

Stefan Schulz, Kornél Markó, Boontawee Suntisrivaraporn
2008 BMC Medical Informatics and Decision Making  
SNOMED CT claims to support formal reasoning by description-logic based concept definitions.  ...  Typical complex SNOMED CT concepts, including negations or not, can be expressed in full first-order logics. Negations cannot be properly expressed in the description logic EL underlying SNOMED CT.  ...  In contrast, the description logic representation for this and similar clinical situations would hold true even if there were two different stomachs and also if the two subprocesses were part of two completely  ... 
doi:10.1186/1472-6947-8-s1-s9 pmid:19007446 pmcid:PMC2582796 fatcat:tjkhgxzdizg35f7pllfd6ftbym

Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?

Ana Ozaki
2020 Künstliche Intelligenz  
We highlight classical machine learning and data mining approaches that have been proposed for (semi-)automating the creation of description logic (DL) ontologies.  ...  These are based on association rule mining, formal concept analysis, inductive logic programming, computational learning theory, and neural networks.  ...  Description Logic Ontologies We introduce ALC [3] , a prototypical DL which features basic ingredients found in many DL languages.  ... 
doi:10.1007/s13218-020-00656-9 fatcat:styfgvgsjbb5vl3vfo6kn3drzu

Constructing an intelligent dictionary help system

1996 Natural Language Engineering  
The information attached in the DDB to each word occurrence in meaning descriptions was completed, following a mainly automatic tagging process.  ...  Both the conceptual model and the sources have been described and implemented using a description logic language, and an algorithm that translates queries from the general model into each particular source  ... 
doi:10.1017/s1351324997001356 fatcat:3hdub4627fegrkfey544c3ou2y

The interrogative model of inquiry meets dynamic epistemic logics

Yacin Hamami
2014 Synthese  
: dynamic logics of questions and dynamic logics of inferences. iv define notions of informativity and relevance using tools from information theory and decision theory can also be exploited to investigate  ...  On the other hand, DELs is a family of logics concerned with reasoning about information change.  ...  period of the master thesis, for his precious comments and suggestions and for teaching the DEL project in January, with Davide Grossi, which provided me with the necessary background on dynamic epistemic logics  ... 
doi:10.1007/s11229-014-0460-z fatcat:dpqqfohprva3rdrm4u6xjwcrp4

Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs [chapter]

Oliver Kutz, Janna Hastings, Till Mossakowski
2012 Lecture Notes in Computer Science  
In an effort to relax these limitations, a radically different semantics has recently been proposed, based on logic programming: description graph logic programs [14] .  ...  Although the general problem is NP-complete, monadic second-order logic for graphs can be model-checked quite efficiently; indeed, for graphs with bounded tree-width, model checking can be done in linear  ... 
doi:10.1007/978-3-642-33185-5_11 fatcat:4zftzfldvvd33iaykoe3aindmq

The Cartographer Algorithm for Processing and Querying Description Logics Ontologies [chapter]

Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki
2005 Lecture Notes in Computer Science  
One of the most popular formalisms of describing knowledge is Description Logics. It has become even more popular when OWL standard has emerged.  ...  Although OWL is based on Description Logics (DL) [3] , it has some new features adjusting DL to practical Web environment.  ...  It is worth stressing that a terminology need not to be definitorial.  ... 
doi:10.1007/11495772_26 fatcat:y2toqiwarbdedhdfcgi4cr7vsa
« Previous Showing results 1 — 15 out of 423 results