Hybridní logika - Hybrid logic
Hybridní logika odkazuje na řadu rozšíření propoziční modální logika s výraznější silou, i když stále menší než logika prvního řádu. v formální logika, existuje kompromis mezi expresivitou a výpočetní přitažlivostí (jak snadné to je vypočítat /důvod s logickými jazyky). Historie hybridní logiky začala Arthur Prior pracuje v napjatá logika.[1]
Na rozdíl od běžné modální logiky umožňuje hybridní logika odkazovat na stavy (možné světy) ve vzorcích. Toho je dosaženo třídou vzorců zvanou nominální hodnoty, které jsou pravdivé přesně v jednom stavu, a pomocí operátoru @, který je definován takto:
- @i p je pravda kdyby a jen kdyby p platí v jedinečném stavu pojmenovaném nominálem i (tj. stát, kde i je pravda).
Hybridní logika s dalšími nebo jinými operátory existuje, ale @ je víceméně „standardní“.
Hybridní logika má mnoho společných funkcí časová logika (které používají nominální konstrukty k označení konkrétních časových bodů) a jsou bohatým zdrojem nápadů pro výzkumníky v moderní modální logice. Mají také aplikace v oblastech logika funkcí, teorie modelů, teorie důkazů a logická analýza přirozený jazyk. Je také hluboce spojena s logika popisu protože použití nominálů umožňuje provádět tvrzení Krabice uvažování, stejně jako standardnější terminologické TBox uvažování.
Reference
- ^ Torben Braüner (2008). „Hybridní logika“. Stanfordská encyklopedie filozofie. Citováno 1. února 2011.
Další čtení
- P. Blackburn. 2000. Reprezentace, uvažování a relační struktury: hybridní logický manifest. Logický deník IGPL, 8(3):339-365.
externí odkazy
- Domovská stránka společnosti Hybrid Logics
- Stanfordská encyklopedie filozofie vstup do hybridní logiky
![]() | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |