248,467 Hits in 6.0 sec

Logical Foundations for Reasoning about Transformations of Knowledge Bases

Mohamed Chaabani, Rachid Echahed, Martin Strecker
2013 International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications  
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  
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]

Michel Paty
2004 Vienna Circle Institute Yearbook  
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

Rainer Beck, Stefan Schulz
2003 AMIA Annual Symposium Proceedings  
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

Vincenzo Deufemia, Giuseppe Polese, Genoveffa Tortora, Mario Vacca
2007 Workshop From Objects to Agents  
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

Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer
2005 W3C Workshops  
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

C Rosse, L G Shapiro, J F Brinkley
1998 Proceedings. AMIA Symposium  
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  
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

Chitta Baral, Giuseppe De Giacomo
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  
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  
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

Foni Setiawan, Eko Budiardjo, Wahyu Wibowo
2019 Information  
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

Fangyao Liu, Xingsen Li, Yong Shi
2016 Procedia Computer Science  
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

Alan M. Frisch, C. David Page Jr.
1995 International Joint Conference on Artificial Intelligence  
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

E. I. Arepiev, V. V. Moroz
2015 Liberal Arts in Russia  
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