Kennisvoorstelling en redenering

Kennisvoorstelling en redenering is die veld van kunsmatige intelligensie (KI) wat toegewy is aan die verteenwoordiging van inligting oor die wêreld in 'n vorm wat 'n rekenaarstelsel kan gebruik om komplekse take op te los soos om 'n mediese toestand te diagnoseer of om dialoog in 'n natuurlike taal te hê. Kennisvoorstelling sluit in bevindinge uit sielkunde oor hoe mense probleme oplos en kennis voorstel om formalismes te ontwerp wat komplekse stelsels makliker sal maak om te ontwerp en te bou.  Kennisvoorstelling en redenering inkorporeer ook bevindinge van logika om verskeie soorte redenering te outomatiseer, soos die toepassing van reëls of die verwantskappe van versamelings en deelversamelings.

Voorbeelde van Kennisvoorstelling en redenering sluit in: Semantiese netwerke, stelselargitektuur, rame, reëls en ontologieë. Voorbeelde van geoutomatiseerde redenering enjins sluit in afleidingsenjins, stellingbewysers, en klassifiseerders.

Verwysings

Bronnelys 
 Ronald J. Brachman; What IS-A is and isn't. An Analysis of Taxonomic Links in Semantic Networks; IEEE Computer, 16 (10); October 1983
 Ronald J. Brachman, Hector J. Levesque Knowledge Representation and Reasoning, Morgan Kaufmann, 2004 
 Ronald J. Brachman, Hector J. Levesque (eds) Readings in Knowledge Representation, Morgan Kaufmann, 1985, 
 Chein, M., Mugnier, M.-L. (2009),Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, Springer, 2009,.
 Randall Davis, Howard Shrobe, and Peter Szolovits; What Is a Knowledge Representation? AI Magazine, 14(1):17-33,1993
 Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Reasoning About Knowledge, MIT Press, 1995, 
 Jean-Luc Hainaut, Jean-Marc Hick, Vincent Englebert, Jean Henrard, Didier Roland: Understanding Implementations of IS-A Relations. ER 1996: 42-57
 Hermann Helbig: Knowledge Representation and the Semantics of Natural Language, Springer, Berlin, Heidelberg, New York 2006
 Frank van Harmelen, Vladimir Lifschitz and Bruce Porter: Handbook of Knowledge Representation 2007.
 Arthur B. Markman: Knowledge Representation  Lawrence Erlbaum Associates, 1998
 John F. Sowa: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole: New York, 2000
 Adrian Walker, Michael McCord, John F. Sowa, and Walter G. Wilson: Knowledge Systems and Prolog, Second Edition, Addison-Wesley, 1990
 Mary-Anne Williams and Hans Rott: "Frontiers in Belief Revision, Kluwer", 2001.

Eksterne skakels 

 What is a Knowledge Representation? by Randall Davis and others
 Introduction to Knowledge Modeling by Pejman Makhfi
 Introduction to Description Logics course by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy
 DATR Lexical knowledge representation language
 Loom Project Home Page
 Principles of Knowledge Representation and Reasoning Incorporated 
 Description Logic in Practice: A CLASSIC Application
 The Rule Markup Initiative
 Nelements KOS - a non-free 3d knowledge representation system

Kunsmatige intelligensie