Kennisvoorstelling en redenering

Deel van 'n reeks oor
Kunsmatige intelligensie
Belangrikste doelwitte Kunsmatige algemene intelligensie Superintelligensie Beplanning Rekenaarvisie Algemene speletjie speel (KI) Kennisvoorstelling Masjienleer Natuurliketaalverwerking Robotika KI-veiligheid
Benaderings Simbolies Diepleer Bayesiese netwerk Evolusionêre algoritmes Gesitueerde benadering Hibriede intelligente stelsels Stelselintegrasie
Filosofie Chinese kamerargument Vriendelike KI Beheer probleem/Oorname Etiek Eksistensiële risiko Turingtoets
Geskiedenis Tydlyn Dartmouth-werkswinkel Vordering KI-winter KI-oplewing KI-tydvak
Tegnologie Toepassings Projekte Programmeertale
Woordelys Woordelys

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.

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 ISBN 978-1-55860-932-7
• Ronald J. Brachman, Hector J. Levesque (eds) Readings in Knowledge Representation, Morgan Kaufmann, 1985, ISBN 0-934613-01-X
• Chein, M., Mugnier, M.-L. (2009),Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, Springer, 2009,ISBN 978-1-84800-285-2.
• 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, ISBN 0-262-06162-7
• 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