Knowledge representation and reasoning: The view ...
Recommend Documents
The information objects may be media items used in learning. The metadata .... precise querying and better fitting the context of the JAVA tutorial pages. Similarly ...
Sep 19, 2014 - pharmacogenomic treatment guidelines from different sources. ... The Genomic Clinical Decision Support (Genomic CDS) ontology represents ...
A good book to learn programming in Prolog in the context of AI is I. Bratko, PRO-
. LOG Programming for Artificial Intelligence, 3rd ed, Addison-Wesley, Harlow, ...
are used to define the domain model of the receiver and data source ..... skolem(companyFinancials, Sales, c_ws, 5, 'WorldcAF'( Name, FYEnd, Shares,. Income ...
Dec 11, 2008 - Mary likes to read books written by Isaac Asimov. ..... This can be seen by examining the last two rows of Table 6.6: In fact, in some versions.Missing:
Trick # 1. This is Not English. Every honest and industrious person is healthy. No
grocer is healthy. Every industrious grocer is honest. Every cyclist is industrious ...
2003; Koch et al. 2001) is likely to ..... number(Bill,'123-4567') verifies the knowledge claim via ... such as âwhat Bill looks likeâ, and simply assume that what.
and finite; (2) ckA = ckB when ckB is infinite or empty. By the definition of local clocks of formulas, it is easy to show that, for the derived connectives â¨, â and â ...
Finally, a proof layer, including proof extraction, representation and exchange, was ... knowledge-producing and sensing actions will prove to be an important leverage. ...... Mathematics and its Applications, Athens, Greece, September 2003. ... [78]
William Gates Building, 15 JJ Thompson Avenue, Cambridge CB3 0FD, UK [email protected][email protected]. Abstract. We present a dynamic ...
Nov 6, 2012 - Applications of (probabilistic) logic in AI (Chapter 8): logic was used much in the early ...... One of th
Submitting Carroll's Grocer Puzzle to the Automatic Reasoner. RACE we get ..... Specifications: automated teller machine, Kemmerer's library data base ...
The Description Logic Handbook: Theory, Implementation, and. Applications. ... In: 9th National Conference on Artificial Intelligence (AAAI-. 91). Anaheim ...
in Reasoning about Action, along with Antonis Kakas, Nikos Papadakis, Pavlos ..... [13] N. Bassiliades, I. Vlahavas, D. Sampson, âUsing Logic for Querying XML.
Applications of (probabilistic) logic in AI (Chapter 8): logic was used much in the early days in ...... One of the main
tems classified as logic educational software: Jape [4], âLogic Tutorâ [2], Logicâ. ITA [6], âPâLogic Tutorâ
Apr 15, 2009 - herein, sophisticated KR&R must rely heavily upon philosophy. ... and-such holds (possibly to a degree), rather than knowing how. ...... Shin, S.-J. (2002), The Iconic Logic of Peirce's Graphs, MIT Press, Cambridge, MA. Smith ...
In contrast to the usual way logic and probability theory are used in ... the
problem—how to represent particular types of knowledge and to reason with it—
they ...
Aug 15, 2003 - William Woods [1975].1 (Woods' paper was actually predated by a contribu- ...... [Horrocks and Sattler, 2002] Ian Horrocks and Ulrike Sattler.
Book Synopsis. New, ship fast, delivered in 5 days in UK. No PO Box. Related. Artificial Intelligence: A Modern Approach
BSc Programme on AI, Nijmegen. Peter Lucas, Martijn van Otterlo and Arjen ... Email: {peterl,arjenh}@cs.ru.nl, m.vanotte
ity at AI research and development laboratories, and many of its ... with precision, and to design software sys- .... tutorial software that accompanies this textbook.
Reasoning, and the Design of Intelligent Agents: The Answer-Set ... in EPUB or PDF format for iPhone iPad Android Knowle
Disjunctive Logic Programming (DLP) is an advanced formalism for ...... the following GCO program Php solves the problem HAMPATH (no optimization part is.
Knowledge representation and reasoning: The view ...
Knowledge representation and reasoning. The view from cognitive psychology. JOHN FOX and PAUL KRAUSE. The knowledge engineering community has ...
The Knowledge Engineering Review, Vol. 10:1,1995, 1
Knowledge representation and reasoning The view from cognitive psychology JOHN FOX and PAUL KRAUSE
The knowledge engineering community has been working on the design of schemes for knowledge representation and reasoning for more than two decades. Much of this work, particularly work on the development of expert systems, explicitly or implicitly assumes that artificial knowledge-based systems emulate to some degree the natural knowledge representation and reasoning methods of human problem solvers and decision makers. Experimental psychologists and other cognitive scientists have been studying the properties of natural cognition for even longer, indeed for much of this century. Theirfindingsindicate not only that some of our engineering assumptions about the nature of human expertise may be a little simplistic, and also that one needs to be very careful about those aspects of human knowledge and expertise one should attempt to emulate. This special issue of the Review presents papers by experimental psychologists who have worked extensively on expertise, decision making and reasoning under uncertainty, all topics that overlap strongly with the interests of expert systems and AI researchers and developers. Their reviews of work on these topics are instructive for those of us who are interested in the natural counterparts of the artificial mechanisms and techniques we use. The first paper, "Cognitive expertise research and knowledge engineering" by Fergus Bolger, provides an overview of psychological studies of expertise, drawing attention to weaknesses in our criteria for defining an "expert". He summarises our current understanding of the cognitive processes that underpin expertise and identifies some implications for knowledge engineers. In "Bias in human judgement under uncertainty?", Peter Ayton and Eva Pascoe focus on an aspect of expertise which is a major issue for expert systems designers; uncertain inference methods. They discuss important doubts about the competence of human judgement when compared with the behaviour prescribed by normative mathematical theory, and many subtleties of human understanding which are not well reflected in current knowledge technologies. Finally, in a related paper reviewing "Human linguistic probability processing", Tom Wallsten and David Budescu look at issues concerning the intuitive representation of uncertainty, and, in particular, how we use natural language concepts to reason with and communicate uncertainty about our beliefs and inferences. They close with some principles that summarize the cognitive processes that underly human uncertain reasoning and decision making. It is interesting to consider these principles in the context of the probabilities, certainty factors and non-monotonic logics which are the focii of AI research. Although one frequently comes across remarks in the AI and expert systems literature to the effect that "expert systems emulate human expertise", such claims are rarely examined in depth. The findings of psychologists described in these papers indicate both that their validity can be seriously questioned, and the desirability of a design strategy based on emulation is open to considerable debate.