також засновані на описовій логіці. Описові логіки оперують поняттями концепт і роль, відповідними в інших розділах математичної логіки поняттям «одномісний...

логічному фундаменті, як-от описова логіка, і зазвичай реалізовані мовою Web Ontology Language. Значення понять і ролей описової логіки визначається її теоретико-модельною...

вважають термін «індуктивна логіка» непорозумінням, оскільки істинність індуктивного висновку не залежить від законів формальної логіки, котрі є за означенням...

норму; деонтична логіка — це логіка норм та нормативних понять. «Деонтична логіка» є поняттям загальним. До деонтичних належать кілька логік, що відрізняються...

фреймових мов[en], і, як правило, засновані або на логіці першого порядку або на описовій_логіці. Common Logic — і її діалекти CycL DOGMA (англ. Developing...

Логічні висловлювання (чи́слення висло́влень, логіка висловлень, пропозиційна логіка, англ. propositional calculus) — поняття висловлювання, як і поняття...

Твердження (у логіці) — це: змістовне розповідне речення, яке може бути істинним або хибним. описове речення, яке стверджує що саме є істинними, а що є...

порядку Логіка вищого порядку Некласична логіка Описова логіка Цифрова логіка Нечітка логіка Інтуїціоністська логіка Багатозначна логіка Модальна логіка Алетична...

році було прийнято новий стандарт OWL 2. Теоретичною основою OWL є Описова логіка. SPARQL (англ. Protocol And RDF Query Language, вимовляється [сп'аркл]) —...

основні тези логічного позитивізму в 1936 у своїй праці «Мова, істина і логіка» (англ. Language, Truth, and Logic). Коротко їх можна звести до наступного:...

Концепція, концепт і денотат Абстрактне і конкретне Описова логіка Жеребкін, В.Є. (1995). Логіка (українська) . Харків: Основа. с. С. 24-46. {{cite book}}:...