Logika hybrydowa
Logika hybrydowa odnosi się do szeregu rozszerzeń logiki modalnej zdaniowej o większej sile ekspresji, choć wciąż mniejszej niż logika pierwszego rzędu . W logice formalnej istnieje; jest kompromisem między wyrazistością a wykonalnością obliczeniową . Historia logiki hybrydowej rozpoczęła się wraz z pracą Arthura Priora nad logiką czasową .
W przeciwieństwie do zwykłej logiki modalnej, logika hybrydowa umożliwia odwoływanie się do stanów (światów możliwych) we wzorach .
Osiąga się to za pomocą klasy formuł zwanych nominals , które są prawdziwe w dokładnie jednym stanie, oraz za pomocą operatora @, który jest zdefiniowany w następujący sposób:
- @ i p jest prawdziwe wtedy i tylko wtedy, gdy p jest prawdziwe w unikalnym stanie nazwanym przez nominalne i (tj. stan, w którym i jest prawdziwe).
Istnieje logika hybrydowa z dodatkowymi lub innymi operatorami, ale @ jest mniej więcej standardem.
Logiki hybrydowe mają wiele cech wspólnych z logikami czasowymi (które czasami używają konstrukcji nominalnych do oznaczenia określonych punktów w czasie) i są bogatym źródłem pomysłów dla badaczy współczesnej logiki modalnej. Mają również zastosowania w obszarach logiki cech, teorii modeli , teorii dowodów i logicznej analizy języka naturalnego . Logika hybrydowa jest również ściśle powiązana z logiką opisu , ponieważ użycie nominalników pozwala na przeprowadzanie asercyjnego rozumowania ABox , a także bardziej standardowej terminologii Rozumowanie TBoxa .
Dalsza lektura
- P. Blackburna. 2000. Reprezentacja, rozumowanie i struktury relacyjne: manifest logiki hybrydowej. Logic Journal of the IGPL , 8(3):339-365.
Linki zewnętrzne