Більш швидкий доступ, ніж браузер!
28 відносини: Apache License, DBpedia, Freebase, Java, Linux, Lisp, Microsoft Windows, Modus ponens, Modus tollens, WolframAlpha, Китайська кімната, Комп'ютери п'ятого покоління, Підмножина, Природна мова, Остін (Техас), Онтологічні мови, Англійська мова, Сус (значення), Субстанція, Семантична павутина, Хордові, Штучний інтелект, Машина висновування, База знань, Вікідані, Вікіпедія, Дуглас Ленат, Логіка першого порядку.
Apache License
Apache License (Apache Software License до версії 2.0) — ліцензія на вільне програмне забезпечення Apache Software Foundation.
Новинка!!: Cyc і Apache License · Побачити більше »
DBpedia
DBpedia — співтовариство, зусилля якого спрямовані на те, щоб витягати структуровану інформацю з Wikipedia і робити цю інформацію доступною в Web.
Новинка!!: Cyc і DBpedia · Побачити більше »
Freebase
Freebase — велика колаборативна база знань, що містить метадані складені в основному спільнотою.
Новинка!!: Cyc і Freebase · Побачити більше »
Java
Java (вимовляється Джава) — об'єктно-орієнтована мова програмування, випущена 1995 року компанією «Sun Microsystems» як основний компонент платформи Java.
Новинка!!: Cyc і Java · Побачити більше »
Linux
Лі́нукс (Linux, повна назва — GNU/Linux) — загальна назва UNIX-подібних операційних систем на основі однойменного ядра.
Новинка!!: Cyc і Linux · Побачити більше »
Lisp
Лісп (Lisp) — мова програмування загального призначення з підтримкою парадигм функціонального та процедурного програмування.
Новинка!!: Cyc і Lisp · Побачити більше »
Microsoft Windows
Windows — узагальнююча назва операційних систем для ЕОМ, розроблених корпорацією Microsoft.
Новинка!!: Cyc і Microsoft Windows · Побачити більше »
Modus ponens
Modus ponens (Латиною: метод що підтверджує) - коректна, проста форма аргументації (інколи використовується скорочення MP): або у логіко-операторному записі: де \vdash означає логічний висновок.Аргумент має два вихідних твердження.
Новинка!!: Cyc і Modus ponens · Побачити більше »
Modus tollens
Modus tollens (Латиною: спосіб, що заперечує) це формальна назва для доведення від супротивного.
Новинка!!: Cyc і Modus tollens · Побачити більше »
WolframAlpha
Wolfram|Alpha розробити аналог укранською --> Wolfram|Alpha — база знань і набір обчислювальних алгоритмів (computational knowledge engine).
Новинка!!: Cyc і WolframAlpha · Побачити більше »
Китайська кімната
Китайська кімната — уявний експеримент, описаний Джоном Серлем, в якому критикується можливість моделювання людського розуміння природної мови, створення так званого «сильного штучного інтелекту».
Новинка!!: Cyc і Китайська кімната · Побачити більше »
Комп'ютери п'ятого покоління
Комп'ютери п'ятого покоління (яп. 第五 世代 コ ン ピ ュ ー タ) — відповідно до ідеології розвитку комп'ютерних технологій, після четвертого покоління, побудованого на надвеликих інтегральних схемах, очікувалося створення наступного покоління, орієнтованого на розподілені обчислення, одночасно вважалося, що п'яте покоління стане базою для створення пристроїв, здатних до імітації мислення.
Новинка!!: Cyc і Комп'ютери п'ятого покоління · Побачити більше »
Підмножина
''A'' — підмножина ''B'' Якщо X та Y — множини та будь-який елемент із X є також елементом із Y, то говорять, що.
Новинка!!: Cyc і Підмножина · Побачити більше »
Природна мова
Приро́дна мо́ва.
Новинка!!: Cyc і Природна мова · Побачити більше »
Остін (Техас)
О́стін (Austin) — місто в США, розташоване в південно-центральній частині штату Техас.
Новинка!!: Cyc і Остін (Техас) · Побачити більше »
Онтологічні мови
Онтологічні мови — формальні мови для побудови онтологій.
Новинка!!: Cyc і Онтологічні мови · Побачити більше »
Англійська мова
Англі́йська мо́ва (English, the English language) — мова, що належить до германської групи індоєвропейської сім'ї мов.
Новинка!!: Cyc і Англійська мова · Побачити більше »
Сус (значення)
Сус або СУС:;кирилицею.
Новинка!!: Cyc і Сус (значення) · Побачити більше »
Субстанція
Субста́нція, Перви́нна субста́нція (substantia — істотність; те, що лежить в основі, синоніми: істотність, речовинність, істота, річ, матерія, суть, основа, голова) — в арістотелівській логіці перша з десяти категорій (класів, розрядів, які спрощують процес розумового визначення будь-якої речі), річ яка існує сама по собі, а не лише як видозміна чогось іншого.
Новинка!!: Cyc і Субстанція · Побачити більше »
Семантична павутина
Логотип W3C Семантичної павутини Семантична павутина (Semantic web) — нова концепція розвитку Всесвітньої павутини і мережі Інтернет, яка створена і впроваджується Консорціумом Всесвітньої павутини (World Wide Web Consortium). Інші назви — семантичний веб, семантична мережа.
Новинка!!: Cyc і Семантична павутина · Побачити більше »
Хордові
Хо́рдові (Chordata) — тип вторинноротих тварин, що включає хребетних тварин, разом з деякою кількістю еволюційно близьких до них безхребетних.
Новинка!!: Cyc і Хордові · Побачити більше »
Штучний інтелект
Шту́чний інтеле́кт (Artificial intelligence, AI) — розділ комп'ютерної лінгвістики та інформатики, що опікується формалізацією проблем та завдань, які нагадують справи, виконувані людиною.
Новинка!!: Cyc і Штучний інтелект · Побачити більше »
Машина висновування
Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки.
Новинка!!: Cyc і Машина висновування · Побачити більше »
База знань
Ба́за зна́нь, БЗ (Knowledge base, KB) — це особливого роду база даних, розроблена для управління знаннями (метаданими), тобто збором, зберіганням, пошуком і видачею знань.
Новинка!!: Cyc і База знань · Побачити більше »
Вікідані
Wikidata (Вікідані) — загальне централізоване сховище для різних типів даних, таких, як, інтервікі-посилання, метричні параметри, кількісні параметри (наприклад, чисельність населення), та будь-яка статистична верифікована інформація, що може бути використана на сторінках проектів фонду Wikimedia.
Новинка!!: Cyc і Вікідані · Побачити більше »
Вікіпедія
Вікіпе́дія (Wikipedia) — загальнодоступна вільна багатомовна онлайн-енциклопедія, якою опікується неприбуткова організація «Фонд Вікімедіа».
Новинка!!: Cyc і Вікіпедія · Побачити більше »
Дуглас Ленат
Дуглас Ленат (Douglas B. Lenat) (народився в 1950) - CEO Cycorp, Inc., Остін, Техас, і видатний дослідник штучного інтелекту, особливо машинного навчання (розробляв програми Automated Mathematician та Eurisko), системи представлення знань, "системи чорної дошки", та "конструювання онтологій" (програма Cyc).
Новинка!!: Cyc і Дуглас Ленат · Побачити більше »
Логіка першого порядку
Логіка першого порядку (числення предикатів) — це формальна система в математичній логіці, в якій допускаються висловлення відносно змінних, фіксованих функцій, і предикатів.
Новинка!!: Cyc і Логіка першого порядку · Побачити більше »
