[stextbox id=”info”]<\/p>\n
Logiczna reprezentacja wiedzy jest jednym z kluczowych problem\u00f3w sztucznej inteligencji. Ostatnie dziesi\u0119ciolecia pokaza\u0142y, \u017ce metody logiczne znajduj\u0105 nieoczekiwane zastosowania w\u00a0rozmaitych dziedzinach wiedzy, w szczeg\u00f3lno\u015bci w kognitywistyce, lingwistyce, czy technologiach informacyjnych.<\/p>\n
Relacyjne systemy dedukcyjne w stylu dual tableaux (dualne systemy tablicowe) stanowi\u0105 wa\u017cny nurt bada\u0144 w\u00a0teorii automatycznej dedukcji i logicznej reprezentacji wiedzy. Systemy te s\u0105 dobrym narz\u0119dziem realizacji trzech g\u0142\u00f3wnych zada\u0144 logicznych, le\u017c\u0105cych u podstaw wszystkich zwi\u0105zanych z IT metod formalnych: weryfikacji prawdziwo\u015bci (validity checking<\/em>), weryfikacji spe\u0142niania (model checking<\/em>), weryfikacji wynikania (entailment<\/em>).<\/p>\n Dualne systemy tablicowe oparte s\u0105 na diagramach Rasiowej-Sikorskiego dla klasycznej logiki pierwszego rz\u0119du [RAS60]. Zakres ich stosowalno\u015bci jest bardzo szeroki, w\u00a0szczeg\u00f3lno\u015bci systemy takie skonstruowano dla wielu teorii badanych tradycyjnie przez matematyk\u00f3w i filozof\u00f3w (logiki klasyczne, modalne, intuicjonistyczne, wielowarto\u015bciowe), teorii maj\u0105cych swoje \u017ar\u00f3d\u0142o w\u00a0systemach informacyjnych (logiki dla wnioskowa\u0144 przy niepe\u0142nej, przybli\u017conej i rozmytej informacji), jak i innych teorii znajduj\u0105cych zastosowania w AI.<\/p>\n Logika relacyjna umo\u017cliwia konstrukcj\u0119 dualnych system\u00f3w tablicowych w spos\u00f3b systematyczny i modularny. Logika ta, wprowadzona w pracach Profesor Ewy Or\u0142owskiej ([OR\u014188], [OR\u014197]), jest \u015bwietnym narz\u0119dziem umo\u017cliwiaj\u0105cym reprezentacj\u0119 w ramach jednego formalizmu trzech najwa\u017cniejszych sk\u0142adowych systemu logicznego: syntaktyki, semantyki i dedukcji. Okaza\u0142o si\u0119, \u017ce system dla klasycznej logiki relacyjnej jest wsp\u00f3lnym j\u0105drem wi\u0119kszo\u015bci dualnych system\u00f3w tablicowych. To za\u015b oznacza, \u017ce w przypadku nowej teorii maj\u0105cej relacyjn\u0105 reprezentacj\u0119 nie musimy budowa\u0107 jej systemu dedukcyjnego od pocz\u0105tku; wystarczy rozszerzy\u0107 bazowy system o regu\u0142y odpowiadaj\u0105ce tym w\u0142asno\u015bciom, kt\u00f3re dla danej teorii s\u0105 specyficzne.<\/p>\n Dualne systemy tablicowe stanowi\u0105 alternatyw\u0119 dla innych metod dedukcyjnych takich, jak systemy tablicowe, rachunek sekwent\u00f3w Genztena, rezolucja czy systemy Hilbertowskie. Pe\u0142ny opis mo\u017cliwo\u015bci zastosowa\u0144 relacyjnych system\u00f3w dedukcyjnych zawiera monografia [ORG11].<\/p>\n W trakcie referatu om\u00f3wi\u0119 og\u00f3ln\u0105 metodologi\u0119 tworzenia system\u00f3w typu dual tableaux, przedstawi\u0119 kilka przyk\u0142ad\u00f3w takich system\u00f3w i przedyskutuj\u0119 zagadnienia zwi\u0105zane z ich implementacj\u0105 i efektywno\u015bci\u0105 obliczeniow\u0105.<\/p>\n Prezentacja<\/strong><\/a> (przedstawiona na Konferencji)<\/p>\n LITERATURA<\/strong><\/p>\n [OR\u014188] E. Or\u0142owska. Relational interpretation of modal logics, w: H. Andreka, D. Monk, I.\u00a0Nemeti (eds.), Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai 54<\/em>, North Holland, Amsterdam, 443\u2013471 (1988).<\/p>\n [OR\u014197] E. Or\u0142owska. Relational semantics for non-classical logics: Formulas are relations, w:\u00a0J.\u00a0Wolenski (ed.), Philosophical Logic in Poland<\/em>, Kluwer, 167\u2013186 (1994).<\/p>\n [ORG11] E. Or\u0142owska, J. Goli\u0144ska-Pilarek. Dual Tableaux: Foundations, Methodology, Case Studies<\/em>, Trends in Logic 36, Springer Science, 2011.<\/p>\n [RAS60] H. Rasiowa, R. Sikorski. On Gentzen theorem, Fundamenta Mathematicae <\/em>48, 57\u201369 (1960).<\/p>\n [\/stextbox]<\/p>\n","protected":false},"excerpt":{"rendered":" [stextbox id=”info”] Logiczna reprezentacja wiedzy jest jednym z kluczowych problem\u00f3w sztucznej inteligencji. Ostatnie dziesi\u0119ciolecia pokaza\u0142y, \u017ce metody logiczne znajduj\u0105 nieoczekiwane zastosowania w\u00a0rozmaitych dziedzinach wiedzy, w szczeg\u00f3lno\u015bci w kognitywistyce, lingwistyce, czy technologiach informacyjnych. Relacyjne systemy dedukcyjne w stylu dual tableaux (dualne … Czytaj dalej