A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Proceedings of the International Conference on Agents and Artificial Intelligence
The knowledge acquired through past experiences is of the most importance when humans or machines try to find solutions for new problems based on past ones, which makes the core of any Case-based Reasoning ... approach to problem solving. ... try to find solutions for new proble e e ems m m m based on past ones, , w w w which mak k kes s s s t t t t the he he he c ore of any Case-based Reasoning approach to problem solving. g. g. g. ...doi:10.5220/0005184602940304 fatcat:h4gqwddcqzdabfsx4n247dta7q
Exploiting such an encoding, one can use current DL-based reasoning systems as core reasoning engines for a next generation of CASE tools, that are equipped with reasoning capabilities on UML class diagrams ... DL-based reasoning systems. ... The resulting probabilistic generalizations of default reasoning from conditional knowledge bases allow for handling in a uniform framework strict logical knowledge, default logical knowledge, as well ...doi:10.1016/j.artint.2005.06.001 fatcat:nujelewbkzfpfgfttrzycidfnu
It is shown that such a problem can be reduced to a combinatorial problem, suitable to exact algorithmic solutions. ... The computation on a general Bayesian network with convex sets of conditional distributions is formalized as a global optimization problem. ... This method for default theorem proving is complemented by a model-based approach to incremental consistency checking. ...doi:10.1016/s0004-3702(98)90010-8 fatcat:ktp2ll3hmjfghjildvwix2t2ey
Lecture Notes in Computer Science
We present a new approach to extend the Web Ontology Language (OWL) with the capabilities to reason with defaults. ... named individuals in the knowledge base. ... This work was supported by the National Science Foundation under award 1017225 "III: Small: TROn-Tractable Reasoning with Ontologies" and award 1440202 "EarthCube Building Blocks: Collaborative Proposal ...doi:10.1007/978-3-319-15615-6_1 fatcat:lxtlcx6rbbanlircy5folrhrom
Nonmonotonicity appears in many reasoning tasks: rule based reasoning with exceptions, reasoning about action, merging multiple source information, belief revision, handling preferences, handling causal ... A weighted base is a set of 0004-3702/$ -see front matter ... Laura Giordano and Camilla Schwind introduce a new approach to reasoning about action and causation, based on conditional logic. ...doi:10.1016/j.artint.2004.04.011 fatcat:m57dtbztabhrbobssga65r5m5u
Lecture Notes in Computer Science
This paper discusses different approaches for testing with UML and discusses the ongoing work of the Testing Profile. ... However, with the approach towards system engineering with automated code generation, the need for solid conformance testing has increased. ... The consequent application of UML for the specification of a component-based SUT leads to an interesting approach for the derivation of a component-based test system. ...doi:10.1007/3-540-44830-6_7 fatcat:srjq44jxhvdwvm2hrxmrtynv5a
“This method for default theorem proving is complemented by a model-based approach to incremental consistency checking. ... , lemmas) can be adapted and extended to default reasoning. ...
reasoning can handle linguistically expressed uncertainty; each of the above- mentioned four types of reasoning is a special case of the hybrid model; sharing of information between the four types of ... here as an extension of default reasoning, un- certain default reasoning proposed here to extend fuzzy default reasoning in presence of uncertainty). ...
The AI Magazine
reasoning, and various forms of default reasoning. ... Gunning spoke about knowledge base projects at the Defense Advanced Research Projects Agency, where general reasoning systems are needed both to handle the general question-answering problem and to reason ...doi:10.1609/aimag.v20i4.1484 dblp:journals/aim/Minker99 fatcat:jwvashh36rclfa3y25ao7pseum
A promising approach for solving the complex problems emerging in this context is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems ... We then focus on declarative knowledge-representation methods, and review and evaluate approaches and methods from logic programming and nonmonotonic reasoning for information agents. ... This work was partially supported by the Austrian Science Fund (FWF) under grants P13871-INF, P14781-INF, and Z29-INF. ...doi:10.1017/s1471068402001576 fatcat:zy4b2jbtnje6righqsq4l2s324
A promising approach is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems. ... We then focus on declarative knowledge-representation methods, and review and evaluate approaches from logic programming and nonmonotonic reasoning for information agents. ... This work was partially supported by the Austrian Science Fund (FWF) under grants P13871-INF, P14781-INF, and Z29-INF. ...arXiv:cs/0108008v1 fatcat:tg6xs5g2qfhypinc7rvjv2v2t4
A successful CBR-based system relies on a high-quality case base, and a case creation technique for generating such a case base is highly required. ... With the rapid development of case-based reasoning (CBR) techniques, CBR has been widely applied to real-world applications such as collision avoidance systems. ... Therefore, we need a sophisticated approach to manage the case base when we add a potential case to the existing case base. ...doi:10.1007/s10489-010-0262-z fatcat:lbrsf5vce5d5rcarh4zgnz5fuq
In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to nonmonotonic reasoning. ... A set of criteria for classifying approaches is given, followed by a set of desiderata that an approach might be expected to satisfy. ... In logic-based AI, a standard approach to handling preferences is to take an existing system of nonmonotonic reasoning and, in one fashion or another, equip it with preferences. ...doi:10.1111/j.0824-7935.2004.00240.x fatcat:2athvzwyazgobgqki57falevsi
In this section we describe how logic programming incorporates the ability to handle data in a nonmonotonic fashion. ... We discuss only the logic-based approach. ...doi:10.1016/0743-1066(93)90028-f fatcat:zs5h4ximffdfvapevyr6rvs4fm
The feasibility of our idea is demonstrated via a case study where a context-reasoning engine has been connected to simulated heartbeat sensors using prerecorded experimental data. ... We use sensor outputs to identify the proper context of operation of a system and trigger decision-making based on context information. ... There are basically two ways to deploy a hybrid model  : (1) partitioning the rules and using multiple reasoners in parallel and (2) using a single reasoner, and adding meta-rules to handle the different ...doi:10.3390/s120100632 pmid:22368489 pmcid:PMC3279233 fatcat:6hjyp53335au7ndzdxf7fq3s6e
« Previous Showing results 1 — 15 out of 187,553 results