-
Hodgson, J.P.E.: Knowledge representation and language in AI (1991)
0.02
0.018852985 = product of:
0.05655895 = sum of:
0.02637006 = product of:
0.05274012 = sum of:
0.05274012 = weight(_text_:theory in 1529) [ClassicSimilarity], result of:
0.05274012 = score(doc=1529,freq=4.0), product of:
0.16234003 = queryWeight, product of:
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03903913 = queryNorm
0.3248744 = fieldWeight in 1529, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.0390625 = fieldNorm(doc=1529)
0.5 = coord(1/2)
0.030188894 = product of:
0.060377788 = sum of:
0.060377788 = weight(_text_:methods in 1529) [ClassicSimilarity], result of:
0.060377788 = score(doc=1529,freq=6.0), product of:
0.15695344 = queryWeight, product of:
4.0204134 = idf(docFreq=2156, maxDocs=44218)
0.03903913 = queryNorm
0.384686 = fieldWeight in 1529, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
4.0204134 = idf(docFreq=2156, maxDocs=44218)
0.0390625 = fieldNorm(doc=1529)
0.5 = coord(1/2)
0.33333334 = coord(2/6)
- Abstract
- The aim of this book is to highlight the relationship between knowledge representation and language in artificial intelligence, and in particular on the way in which the choice of representation influences the language used to discuss a problem - and vice versa. Opening with a discussion of knowledge representation methods, and following this with a look at reasoning methods, the author begins to make his case for the intimate relationship between language and representation. He shows how each representation method fits particularly well with some reasoning methods and less so with others, using specific languages as examples. The question of representation change, an important and complex issue about which very little is known, is addressed. Dr Hodgson gathers together recent work on problem solving, showing how, in some cases, it has been possible to use representation changes to recast problems into a language that makes them easier to solve. The author maintains throughout that the relationships that this book explores lie at the heart of the construction of large systems, examining a number of the current large AI systems from the viewpoint of representation and language to prove his point.
- LCSH
- Knowledge / representation (Information theory)
- Subject
- Knowledge / representation (Information theory)
-
Krause, P.J.; Clark, D.: Representing uncertain knowledge (1993)
0.01
0.014917159 = product of:
0.08950295 = sum of:
0.08950295 = product of:
0.1790059 = sum of:
0.1790059 = weight(_text_:theory in 798) [ClassicSimilarity], result of:
0.1790059 = score(doc=798,freq=8.0), product of:
0.16234003 = queryWeight, product of:
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03903913 = queryNorm
1.1026603 = fieldWeight in 798, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.09375 = fieldNorm(doc=798)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- LCSH
- Uncertainty (Information theory)
Knowledge representation (Information theory)
- Subject
- Uncertainty (Information theory)
Knowledge representation (Information theory)
-
Nagao, M.: Knowledge and inference (1990)
0.01
0.014599875 = product of:
0.043799624 = sum of:
0.02637006 = product of:
0.05274012 = sum of:
0.05274012 = weight(_text_:theory in 3304) [ClassicSimilarity], result of:
0.05274012 = score(doc=3304,freq=4.0), product of:
0.16234003 = queryWeight, product of:
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03903913 = queryNorm
0.3248744 = fieldWeight in 3304, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.0390625 = fieldNorm(doc=3304)
0.5 = coord(1/2)
0.017429566 = product of:
0.034859132 = sum of:
0.034859132 = weight(_text_:methods in 3304) [ClassicSimilarity], result of:
0.034859132 = score(doc=3304,freq=2.0), product of:
0.15695344 = queryWeight, product of:
4.0204134 = idf(docFreq=2156, maxDocs=44218)
0.03903913 = queryNorm
0.22209854 = fieldWeight in 3304, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
4.0204134 = idf(docFreq=2156, maxDocs=44218)
0.0390625 = fieldNorm(doc=3304)
0.5 = coord(1/2)
0.33333334 = coord(2/6)
- Abstract
- Knowledge and Inference discusses an important problem for software systems: How do we treat knowledge and ideas on a computer and how do we use inference to solve problems on a computer? The book talks about the problems of knowledge and inference for the purpose of merging artificial intelligence and library science. The book begins by clarifying the concept of ""knowledge"" from many points of view, followed by a chapter on the current state of library science and the place of artificial intelligence in library science. Subsequent chapters cover central topics in the artificial intelligence: search and problem solving, methods of making proofs, and the use of knowledge in looking for a proof. There is also a discussion of how to use the knowledge system. The final chapter describes a popular expert system. It describes tools for building expert systems using an example based on Expert Systems-A Practical Introduction by P. Sell (Macmillian, 1985). This type of software is called an ""expert system shell."" This book was written as a textbook for undergraduate students covering only the basics but explaining as much detail as possible.
- LCSH
- Knowledge, Theory of
- Subject
- Knowledge, Theory of
-
Vidyasagar, M.: ¬A theory of learning and generalization : with applications to neural networks and control systems (1997)
0.01
0.008612426 = product of:
0.051674556 = sum of:
0.051674556 = product of:
0.10334911 = sum of:
0.10334911 = weight(_text_:theory in 1973) [ClassicSimilarity], result of:
0.10334911 = score(doc=1973,freq=6.0), product of:
0.16234003 = queryWeight, product of:
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03903913 = queryNorm
0.63662124 = fieldWeight in 1973, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.0625 = fieldNorm(doc=1973)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- LCSH
- Distribution (Probability theory)
- Subject
- Distribution (Probability theory)
-
Fuchs, W.R.: Denkmaschinen : mit einem Geleitwort von Professor Dr. Yehoshua Bar-Hillel (1968)
0.01
0.005274012 = product of:
0.031644072 = sum of:
0.031644072 = product of:
0.063288145 = sum of:
0.063288145 = weight(_text_:theory in 3714) [ClassicSimilarity], result of:
0.063288145 = score(doc=3714,freq=4.0), product of:
0.16234003 = queryWeight, product of:
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03903913 = queryNorm
0.3898493 = fieldWeight in 3714, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.046875 = fieldNorm(doc=3714)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- LCSH
- Information theory
- Subject
- Information theory
-
Penrose, R.: Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins (1995)
0.00
0.00439501 = product of:
0.02637006 = sum of:
0.02637006 = product of:
0.05274012 = sum of:
0.05274012 = weight(_text_:theory in 4450) [ClassicSimilarity], result of:
0.05274012 = score(doc=4450,freq=4.0), product of:
0.16234003 = queryWeight, product of:
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03903913 = queryNorm
0.3248744 = fieldWeight in 4450, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.0390625 = fieldNorm(doc=4450)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- LCSH
- Quantum theory
- Subject
- Quantum theory
-
Handbook of metadata, semantics and ontologies (2014)
0.00
0.0035160081 = product of:
0.021096049 = sum of:
0.021096049 = product of:
0.042192098 = sum of:
0.042192098 = weight(_text_:theory in 5134) [ClassicSimilarity], result of:
0.042192098 = score(doc=5134,freq=4.0), product of:
0.16234003 = queryWeight, product of:
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03903913 = queryNorm
0.25989953 = fieldWeight in 5134, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
4.1583924 = idf(docFreq=1878, maxDocs=44218)
0.03125 = fieldNorm(doc=5134)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- LCSH
- Semantic networks (Information theory)
- Subject
- Semantic networks (Information theory)
-
Hofstadter, D.: Fluid concepts and creative analogies : models of the fundamental mechanisms of thought (1995)
0.00
0.003113411 = product of:
0.018680464 = sum of:
0.018680464 = product of:
0.03736093 = sum of:
0.03736093 = weight(_text_:29 in 1516) [ClassicSimilarity], result of:
0.03736093 = score(doc=1516,freq=2.0), product of:
0.13732746 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03903913 = queryNorm
0.27205724 = fieldWeight in 1516, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.0546875 = fieldNorm(doc=1516)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- Date
- 29. 2.2008 19:26:52
-
¬The Semantic Web : research and applications ; second European Semantic WebConference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005 ; proceedings (2005)
0.00
0.0026686378 = product of:
0.016011827 = sum of:
0.016011827 = product of:
0.032023653 = sum of:
0.032023653 = weight(_text_:29 in 439) [ClassicSimilarity], result of:
0.032023653 = score(doc=439,freq=2.0), product of:
0.13732746 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03903913 = queryNorm
0.23319192 = fieldWeight in 439, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.046875 = fieldNorm(doc=439)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
-
Penrose, R.: Computerdenken : Des Kaisers neue Kleider oder Die Debatte um Künstliche Intelligenz, Bewußtsein und die Gesetze der Physik (1991)
0.00
0.0025160161 = product of:
0.015096096 = sum of:
0.015096096 = product of:
0.030192193 = sum of:
0.030192193 = weight(_text_:29 in 4451) [ClassicSimilarity], result of:
0.030192193 = score(doc=4451,freq=4.0), product of:
0.13732746 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03903913 = queryNorm
0.21985546 = fieldWeight in 4451, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=4451)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- Classification
- NAT 29
- SFB
- NAT 29
-
Sakr, S.; Wylot, M.; Mutharaju, R.; Le-Phuoc, D.; Fundulaki, I.: Linked data : storing, querying, and reasoning (2018)
0.00
0.0023239423 = product of:
0.013943653 = sum of:
0.013943653 = product of:
0.027887305 = sum of:
0.027887305 = weight(_text_:methods in 5329) [ClassicSimilarity], result of:
0.027887305 = score(doc=5329,freq=2.0), product of:
0.15695344 = queryWeight, product of:
4.0204134 = idf(docFreq=2156, maxDocs=44218)
0.03903913 = queryNorm
0.17767884 = fieldWeight in 5329, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
4.0204134 = idf(docFreq=2156, maxDocs=44218)
0.03125 = fieldNorm(doc=5329)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- Abstract
- This book describes efficient and effective techniques for harnessing the power of Linked Data by tackling the various aspects of managing its growing volume: storing, querying, reasoning, provenance management and benchmarking. To this end, Chapter 1 introduces the main concepts of the Semantic Web and Linked Data and provides a roadmap for the book. Next, Chapter 2 briefly presents the basic concepts underpinning Linked Data technologies that are discussed in the book. Chapter 3 then offers an overview of various techniques and systems for centrally querying RDF datasets, and Chapter 4 outlines various techniques and systems for efficiently querying large RDF datasets in distributed environments. Subsequently, Chapter 5 explores how streaming requirements are addressed in current, state-of-the-art RDF stream data processing. Chapter 6 covers performance and scaling issues of distributed RDF reasoning systems, while Chapter 7 details benchmarks for RDF query engines and instance matching systems. Chapter 8 addresses the provenance management for Linked Data and presents the different provenance models developed. Lastly, Chapter 9 offers a brief summary, highlighting and providing insights into some of the open challenges and research directions. Providing an updated overview of methods, technologies and systems related to Linked Data this book is mainly intended for students and researchers who are interested in the Linked Data domain. It enables students to gain an understanding of the foundations and underpinning technologies and standards for Linked Data, while researchers benefit from the in-depth coverage of the emerging and ongoing advances in Linked Data storing, querying, reasoning, and provenance management systems. Further, it serves as a starting point to tackle the next research challenges in the domain of Linked Data management.
-
Metadata and semantics research : 8th Research Conference, MTSR 2014, Karlsruhe, Germany, November 27-29, 2014, Proceedings (2014)
0.00
0.0022238651 = product of:
0.01334319 = sum of:
0.01334319 = product of:
0.02668638 = sum of:
0.02668638 = weight(_text_:29 in 2192) [ClassicSimilarity], result of:
0.02668638 = score(doc=2192,freq=2.0), product of:
0.13732746 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03903913 = queryNorm
0.19432661 = fieldWeight in 2192, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.0390625 = fieldNorm(doc=2192)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
-
Aberer, K. et al.: ¬The Semantic Web : 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007 : proceedings (2007)
0.00
0.001779092 = product of:
0.010674552 = sum of:
0.010674552 = product of:
0.021349104 = sum of:
0.021349104 = weight(_text_:29 in 2477) [ClassicSimilarity], result of:
0.021349104 = score(doc=2477,freq=2.0), product of:
0.13732746 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03903913 = queryNorm
0.15546128 = fieldWeight in 2477, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=2477)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- Abstract
- This book constitutes the refereed proceedings of the joint 6th International Semantic Web Conference, ISWC 2007, and the 2nd Asian Semantic Web Conference, ASWC 2007, held in Busan, Korea, in November 2007. The 50 revised full academic papers and 12 revised application papers presented together with 5 Semantic Web Challenge papers and 12 selected doctoral consortium articles were carefully reviewed and selected from a total of 257 submitted papers to the academic track and 29 to the applications track. The papers address all current issues in the field of the semantic Web, ranging from theoretical and foundational aspects to various applied topics such as management of semantic Web data, ontologies, semantic Web architecture, social semantic Web, as well as applications of the semantic Web. Short descriptions of the top five winning applications submitted to the Semantic Web Challenge competition conclude the volume.
-
Corporate Semantic Web : wie semantische Anwendungen in Unternehmen Nutzen stiften (2015)
0.00
0.001779092 = product of:
0.010674552 = sum of:
0.010674552 = product of:
0.021349104 = sum of:
0.021349104 = weight(_text_:29 in 2246) [ClassicSimilarity], result of:
0.021349104 = score(doc=2246,freq=2.0), product of:
0.13732746 = queryWeight, product of:
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03903913 = queryNorm
0.15546128 = fieldWeight in 2246, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5176873 = idf(docFreq=3565, maxDocs=44218)
0.03125 = fieldNorm(doc=2246)
0.5 = coord(1/2)
0.16666667 = coord(1/6)
- Date
- 29. 9.2015 19:11:44
