56,490 Hits in 4.4 sec

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation [article]

Marc Denecker and Bart Bogaerts and Joost Vennekens
2017 arXiv   pre-print
The definition is a common form of human expert knowledge, a building block of formal science and mathematics, a foundation for database theory and is supported in various forms in many knowledge representation  ...  This paper is a formal study of some of the most common forms of inductive definitions found in scientific text: monotone inductive definition, definition by induction over a well-founded order and iterated  ...  In knowledge representation, it is widely recognized that definitions are an important form of human expert knowledge that should be supported in knowledge representation and specification logics (Brachman  ... 
arXiv:1702.04551v1 fatcat:e5jnp72zprespgmnfvvf7qcm3e

Towards Query Evaluation in Inductive Databases Using Version Spaces [chapter]

Luc De Raedt
2004 Lecture Notes in Computer Science  
We then discuss the role of operations on version spaces (and their border sets) in computing the solution space w.r.t. a given query. We conclude by formulating some thoughts on query optimization.  ...  We study a novel type of inductive query that consists of arbitrary boolean expressions over monotonic and anti-monotonic primitives.  ...  The author is grateful to the cInQ partners for several interesting and inspiring discussions on this topic, in particular to Jean-Francois Boulicaut, Manfred Jaeger, Stefan Kramer, Sau Dan Lee and Heikki  ... 
doi:10.1007/978-3-540-44497-8_6 fatcat:bxyhtyshrretpiwrtdyl4g45tq

Ontology-based situation awareness

Mieczyslaw M. Kokar, Christopher J. Matheus, Kenneth Baclawski
2009 Information Fusion  
In addition, the ability to leverage knowledge of previous situations in order to extend the knowledge of current and future situations (using deductive, inductive, abductive reasoning) seems a promising  ...  "Situation awareness is the perception of elements in the environment within a volume of time and space, the comprehension of their meaning, and the projection of their status in the near future.  ... 
doi:10.1016/j.inffus.2007.01.004 fatcat:ykpqnn453fhj5ksjo3zzvjwhcq

Learning navigation Teleo-Reactive Programs using behavioural cloning

Blanca Vargas, Eduardo F. Morales
2009 2009 IEEE International Conference on Mechatronics  
Teleo-Reactive Programs (TRPs) have proved to be an effective framework to continuously perform a set of actions to achieve particular goals and react in the presence of unexpected events, however, their  ...  The learned TRPs were used to solve navigation tasks in different unknown and dynamic environments, both in simulation and in a service robot called Markovito.  ...  effort of skills in service robots and extends their applicability to achieve goals according to the user's needs.  ... 
doi:10.1109/icmech.2009.4957173 fatcat:ca5j6q6e2rcvrlmcaigelvzz3q

From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence [article]

Nicholas Roy, Ingmar Posner, Tim Barfoot, Philippe Beaudoin, Yoshua Bengio, Jeannette Bohg, Oliver Brock, Isabelle Depatie, Dieter Fox, Dan Koditschek, Tomas Lozano-Perez, Vikash Mansinghka (+8 others)
2021 arXiv   pre-print
Machine learning has long since become a keystone technology, accelerating science and applications in a broad range of domains.  ...  learning and deployment; (iii) do not require ready adaptation to novel tasks while at the same time (iv) effectively and efficiently curating and extending their models of the world through targeted and  ...  Leslie Kaelbling assisted with several ideas in this paper, and her considerable time and help is also very gratefully acknowledged.  ... 
arXiv:2110.15245v1 fatcat:juxc4tai2jbklpul55loccnp7e

Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming

2008 Theory and Practice of Logic Programming  
It is intended to follow the tradition of hybrid knowledge representation and reasoning systems, such as$\mathcal{AL}$-log that integrates the description logic$\mathcal{ALC}$and the function-free Horn  ...  We propose a general framework for rule induction that adopts the methodological apparatus of Inductive Logic Programming and relies on the expressive and deductive power of$\mathcal{AL}$-log.  ...  We would like to emphasize that the safeness and the decidability of these formalisms are two desirable properties which are particularly appreciated both in ILP and in the Semantic Web application area  ... 
doi:10.1017/s1471068407003195 fatcat:2ncsy2pl35holhip7j5xdtgcam

Intelligent data analysis: issues and challenges

Xiaohui Liu
1996 Knowledge engineering review (Print)  
Today with the advances of technology, mountainous amounts of data are now available in science, business, industry and many other areas.  ...  Evaluation of these collected data may lead to the discovery of trends and patterns hidden within the data that increase the working efficiency and improve the quality of decision making.  ...  Both neural networks and rule induction techniques have a proven track record in many data analysis and decisionsupport applications [8, 11, 12, 15] .  ... 
doi:10.1017/s0269888900008055 fatcat:bgxjn4qiz5afbi4fyjv4onu4hu

Safe Inductions: An Algebraic Study

Bart Bogaerts, Joost Vennekens, Marc Denecker
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
In many knowledge representation formalisms, a constructive semantics is defined based on sequential applications of rules or of a semantic operator.  ...  We study properties of so-called safe inductions and apply our theory to logic programming and autoepistemic logic.  ...  We show convergence of safe inductions in general and study the relationship between safe inductions and various fixpoints defined in approximation fixpoint theory.  ... 
doi:10.24963/ijcai.2017/119 dblp:conf/ijcai/0001VD17 fatcat:w2hka6nc4jdxpd7oy3qhlro4fi

Program Development Schemata as Derived Rules

Penny Anderson, David Basin
2000 Journal of symbolic computation  
We show how the formalization and application of schemata for program development can be reduced to the formalization and application of derived rules of inference.  ...  We formalize and derive schemata as rules in theories that axiomatize program data and programs themselves.  ...  g(x; y; z) : Discussion The representation of logic programs as inductively de ned sets has the virtues of semantic accuracy and wide applicability.  ... 
doi:10.1006/jsco.1999.0346 fatcat:5ib6yzqnenf7dc6a2iijqmdwje

Page 524 of The Electrical Review Vol. 42, Issue 1064 [page]

1898 The Electrical Review  
Who can look at the writings of Bedell and Crehore, Blondell and others, without being struck with the idea that the graphical representations of the currents and E.M.Fs., their magnitudes and phase relation  ...  , and that it is to the application of these methods we must chiefly look for further advances in the theory of the subject.  ... 

Conceptions of patient safety through the prism of social representations of intensive care nurses

Rejane Santos Barreto, Maria Lúcia Silva Servo, Alba Benemérita Alves Vilela, Elaine Guedes Fontoura, Sinara de Lima Souza, Neuranides Santana
2021 Investigación y Educación en Enfermería  
assertive and safe care.  ...  In the composition of the central nucleus, the elements of surveillance, knowledge, identification, communication, and quality stood out, and in the constitution of the peripheral system of the social  ...  (5) However, knowing the social imaginary, that is, the senses, meanings, knowledge, values , and knowledge socially elaborated by intensive care nurses, access their social representations, their ideas  ... 
doi:10.17533/udea.iee.v39n2e06 pmid:34214283 pmcid:PMC8253525 fatcat:srcofzudxfgrfoaxaoobxlgbym

Integrated knowledge acquisition architectures

Brian R. Gaines, Mildred L. G. Shaw
1992 Journal of Intelligent Information Systems  
Existing tools are analyzed within a common framework to show that their integration can be achieved in a natural and principled fashion.  ...  learning, expert systems, hypermedia and knowledge representation research communities.  ...  Linster, Alain Rappaport, Doug Skuce, Brian Woodward and other colleagues at the Knowledge Acquisition Workshops worldwide.  ... 
doi:10.1007/bf01006412 fatcat:52pozab6ovbopj6z75pi6qmsf4

Formal Analysis of Language-based Android Security Using Theorem Proving Approach

Wilayat Khan, Muhammad Kamran, Aakash Ahmad, Farrukh Aslam Khan, Abdelouahid Derhab
2019 IEEE Access  
The formal model of the Android type system and their proof of soundness are machine-readable, and their correctness can be checked in the computer using Coq proof and type checkers.  ...  Android applications within a mobile device share data to support application operations and better user experience, which also increases security risks to device's data integrity and confidentiality.  ...  However, to the best of our knowledge, no one has used this approach in mobile applications' security domain. B.  ... 
doi:10.1109/access.2019.2895261 fatcat:hsklfjh2zbfdrngmlcjng2tghe

Diversity of Rule-based Approaches: Classic Systems and Recent Applications

Grzegorz Nalepa
2016 Avant: Journal of Philosophical-Interdisciplinary Vanguard  
Moreover, in this setting we discuss our results in the design of rule-based systems and their applications in context-aware and business intelligence systems.  ...  In the former, they are mostly used in cognitive architectures; in the latter, they are developed in several domains including knowledge engineering and machine learning.  ...  These include the ALSV(FD) logic, the XTT2 rule representation and design method, as well as their applications in business decision support systems, context-aware systems and the Semantic Web.  ... 
doi:10.26913/70202016.0112.0006 fatcat:5fved2kcyzcn3c54bmnhuhb5q4

Revisiting the Foundations of Artificial Immune Systems for Data Mining

Alex A. Freitas, Jon Timmis
2007 IEEE Transactions on Evolutionary Computation  
domain: the components of the AIS -such as its representation, affinity function and immune process -should be tailored for the data and the application.  ...  By problem-oriented approach we mean that, in real-world data mining applications, the design of an AIS should take into account the characteristics of the data to be mined together with the application  ...  In particular this paper discusses the inductive bias of knowledge representations and the application of clonal selection algorithms to data mining, topics which were not covered in ].  ... 
doi:10.1109/tevc.2006.884042 fatcat:p3cfjposlbglpenmxxqjrbho7y
« Previous Showing results 1 — 15 out of 56,490 results