A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Logical Foundations for Reasoning about Transformations of Knowledge Bases
2013
International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications
Preserved Fulltext
This paper is about transformations of knowledge bases with the aid of an imperative programming language which is non-standard in the sense that it features conditions (in loops and selection statements ...
We therefore explicitly add substitution as a constructor of the logic and show how it can be eliminated by an interleaving with the rules of a traditional tableau calculus. ...
rewriting knowledge bases, and methods for reasoning about the correctness of these programs, by means of a Hoare-style calculus. ...
dblp:conf/icteri/ChaabaniES13
fatcat:lvvdh37tfvefljmpnqtfs2roou
Page 7797 of Mathematical Reviews Vol. , Issue 97M
[page]
1997
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Fisher], Michael Wooldridge and Clare Dixon, A resolution-based proof method for temporal logics of knowledge and belief (178-192); Dov Gabbay and Odinaldo Rodrigues, A methodology for iter- ated theory ...
Fuchs, An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations (174— 188); D. A. de Waal and M. ...
Remarks about a "General Science of Reasoning"
[chapter]
2004
Vienna Circle Institute Yearbook
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Such a problem can well be considered as a problem of foundation, not for logic but for reason. ...
Any « foundational program », and the logical one itself, is a program about a given knowledge and cannot ignore these dimensions of knowledge. ...
doi:10.1007/978-1-4020-2196-1_12
fatcat:nzptb2jf4rehdpjj44ei4y3sge
Logic-based remodeling of the Digital Anatomist Foundational Model
2003
AMIA Annual Symposium Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This paper describes a development cycle for the engineering of large knowledge bases: A graphical tool is used for editing and the content is transformed into a logic-based representation language. ...
Showing the usefulness of this approach, aspects of the Digital Anatomist Foundational Model will be transformed into a Description Logics representation. ...
Rosse and his research group at the University of Washington for providing the FM and many fruitful discussions. ...
pmid:14728136
pmcid:PMC1479995
fatcat:v3llsjwqwrf43jhzdaa2jpih5m
Conceptual Foundations of Interrogative Agents
2007
Workshop From Objects to Agents
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we present the conceptual foundations of interrogative agents, a new model of BDI architecture based on interrogative logic. ...
This model allows us to express the properties of agents in a natural way, and to use heuristics for reasoning. ...
A problem solver requires two kinds of knowledge: one about abstract problems and the other about concrete (already solved) problems. ...
dblp:conf/woa/DeufemiaPTV07
fatcat:2zktamm52nbddnptowej6ex6lu
Bridging the Paradigm Gap with Rules for OWL
2005
W3C Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
For such a logic we provide a reasoning procedure based on the translation of a description logic knowledge base into disjunctive datalog rules without losing interesting consequences. ...
F-Logic-based ontology languages, and should be based on firm logical foundations which allow to address extensions and scalability issues. ...
dblp:conf/w3c/HitzlerAMS05
fatcat:dqzshmu2mzcebjxcjh4pdorg5i
The digital anatomist foundational model: principles for defining and structuring its concept domain
1998
Proceedings. AMIA Symposium
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We define a foundational model as an abstraction of a body of knowledge that explicitly declares the principles and concepts necessary for coherently and consistently modelling a knowledge domain. ...
Principles for a foundational model of anatomy are defined and used to specify the components of such a model. ...
Acknowledgments This work was supported in part by contract LM13506 and grant LM06316, National Library of Medicine. ...
pmid:9929333
pmcid:PMC2232229
fatcat:jx2ea4jkrvf3hcp75dh56isu3q
Problem-Based Questions in the Development of Theoretical Thinking
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Problem-based questions (PBQs) are mastered in the process of learning the subject matter and developing the ability to think. ...
The booster of theoretical thinking helps to switch from declarative knowledge given by a teacher to its joint discovery with learners. ...
"Affordances of video-based professional development for supporting physics teachers' judgments about evidence of student thinking". ...
doi:10.5281/zenodo.4155743
fatcat:smjrpsdrmrgfdlrtk4pt5xdc3m
Knowledge Representation and Reasoning: What's Hot
2015
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This is an extended abstract about what is hot in the field of Knowledge Representation and Reasoning. ...
For example, in multi-agent reasoning where one may need to reason about agents' beliefs and knowledge, belief revision is needed (instead of belief updates) to characterize effect of actions that change ...
Description Logics. Description logics have become one of the main sub area of KR. However, description logics are transforming deeply in these years. ...
doi:10.1609/aaai.v29i1.9344
fatcat:5rjtbt5eqbbqljhxm32dd7oaqi
Forthcoming papers
1998
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We introduce the notion of an MBR transform, and discuss its utility for learning algorithms. We also provide several perspectives on memory-based reasoning from a multi-disciplinary point of view. ...
In this paper, we propose a probabilistic framework for memory-based reasoning (MBR). ...
As a result, we obtain a sound and complete algorithm for reasoning in non-recursive CARIN-ALCNR knowledge bases, and an algorithm for rule subsumption over ALCNR. ...
doi:10.1016/s0004-3702(98)90007-8
fatcat:kq2flquj35g4varimqe53txfym
Page 1668 of Mathematical Reviews Vol. , Issue 91C
[page]
1991
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
It is shown that the AE logical view of a stratified knowledge base yields a unique AE closure of the knowledge base.” ...
In this paper, we take such a logical view of a knowledge base by treating its contents as its beliefs about a world and its integrity constraints as its beliefs about its contents. ...
ByNowLife: A Novel Framework for OWL and Bayesian Network Integration
2019
Information
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Using ByNowLife, a system that already has separate ontologies and BN knowledge bases can integrate them into a single knowledge base and perform both logical and probabilistic reasoning through it. ...
An ontology-based system can currently logically reason through the Web Ontology Language Description Logic (OWL DL). ...
We also thank the Bogor Ibn Khaldun University for the material assistance provided as a validation case for our framework.
Conflicts of Interest: The authors declare no conflicts of interest. ...
doi:10.3390/info10030095
fatcat:fxwuhcmcpjccvapj3wc42gytfq
Scientific Breakthrough Study of Extenics
2016
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This research framework is based on the National Research Council's results in 2006, which identified five dimensions of scientific progress, which are Discovery, Analysis, Explanation, Integration, and ...
We provide guidelines for researcher's future advancement. ...
Acknowledgements This research was supported by the National Natural Science Foundation of China (#71271191,#70871111 ) and Zhejiang Natural Science Fund (#Y16G010035,Y14G010025). ...
doi:10.1016/j.procs.2016.07.134
fatcat:zne4qnjcjbernh2o7imqz6lese
Building Theories into Instantiation
1995
International Joint Conference on Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
deduction and logic programming, knowledge-base vivification, and database systems ...
Instantiation orderings over formulas (the relation of one formula bemg an instance of another) have long been central to the study of automated deduction and logic programming, and are of rapidly-growing ...
of least upper bounds for ordinary logic This foundational work has been extended by Fnsch and Page to cover sorted logic (based on Theorem 9) [Pnech and Page, 1990] , and then further to constraint logic ...
dblp:conf/ijcai/FrischP95
fatcat:2ukpnswqbvcy5bfsayvsiw4hia
Arguments and elements of realistic interpretation of mathematics: arithmetical component
2015
Liberal Arts in Russia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Based on the mathematical concepts and laws we transform the world, and the success of this transformation obtaining the expected results confirms the satisfaction of our knowledge of reality. ...
bases of mathematics to logic [5, p. 372 ]. ...
doi:10.15643/libartrus-2015.3.3
fatcat:336mxe34zzdzxeyx6uxvjmxf2m
« Previous
Showing results 1 — 15 out of 248,467 results